Modeling Clinical Guidelines through Petri Nets
AIME '09 Proceedings of the 12th Conference on Artificial Intelligence in Medicine: Artificial Intelligence in Medicine
A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance
AIME '09 Proceedings of the 12th Conference on Artificial Intelligence in Medicine: Artificial Intelligence in Medicine
Adopting model checking techniques for clinical guidelines verification
Artificial Intelligence in Medicine
Human interaction based reasoning using ontology alignment
ACE'10 Proceedings of the 9th WSEAS international conference on Applications of computer engineering
Virtual doctor system (VDS): medical decision reasoning based on physical and mental ontologies
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part III
Modeling surgical processes: A four-level translational approach
Artificial Intelligence in Medicine
Analysis of the GLARE and GPROVE approaches to clinical guidelines
KR4HC'09 Proceedings of the 2009 AIME international conference on Knowledge Representation for Health-Care: data, Processes and Guidelines
Reactive event calculus for monitoring global computing applications
Logic Programs, Norms and Action
Efficient management of multi-version clinical guidelines
Journal of Biomedical Informatics
A rule-based calculus and processing of complex events
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Hi-index | 0.00 |
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.