This book brings together results from different branches of computer science (in particular, artificial intelligence), medical informatics and medicine to examine cutting edge approaches to computer-based guideline modeling, verification and interpretation. Different methods have been developed to support the development, deployment, maintenance and use of evidence-based guidelines, using techniques from artificial intelligence, software engineering, medical informatics and formal methods. Such methods employ different representation formalisms and computational techniques.As the guideline-related research spans a wide range of research communities, a comprehensive integration of the results of these communities was lacking. It is the intention of this book to fill this gap. It is the first book of its kind that partially has the nature of a textbook. The book consists of two parts. The first part consists of nine chapters which together offer a comprehensive overview of the most important medical and computer-science aspects of clinical guidelines and protocols. The second part of the book consists of chapters that are extended versions of selected papers that were originally submitted to the ECAI-2006 workshop 'AI Techniques in Health Care: Evidence-based Guidelines and Protocols'. These chapters will provide the reader detailed information about actual research in the area by leading researchers.IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields. Some of the areas we publish in: -Biomedicine -Oncology -Artificial intelligence -Databases and information systems -Maritime engineering -Nanotechnology -Geoengineering -All aspects of physics -E-governance -E-commerce -The knowledge economy -Urban studies -Arms control -Understanding and responding to terrorism -Medical informatics -Computer Sciences