✦ LIBER ✦

Formal approaches to rule-based systems in medicine: The case of CADIAG-2

✍ Scribed by Agata Ciabattoni; David Picado Muiño; Thomas Vetterlein; Moataz El-Zekey

Book ID: 119261105
Publisher: Elsevier Science
Year: 2013
Tongue: English
Weight: 359 KB
Volume: 54
Category: Article
ISSN: 0888-613X
DOI: 10.1016/j.ijar.2012.09.002

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Approaches to Agent-Based Systems Volume 2699 || Formal Specification of Interaction in Agent Societies

✍ Hinchey, Michael G.; Rash, James L.; Truszkowski, Walter F.; Rouff, Christopher; 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 263 KB

The rule-based approach to reconfigurati

The rule-based approach to reconfiguration of 2-D processor arrays

✍ Kim, J.H.; Rhee, P.K. 📂 Article 📅 1993 🏛 IEEE 🌐 English ⚖ 604 KB

A formal approach to the design of featu

A formal approach to the design of feature-based multi-sensor recognition systems

✍ Mieczyslaw M. Kokar; Zbigniew Korona 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 270 KB

This paper shows an example of developing a fusion system in a formal framework, i.e., through the use of formal operators in the development process. Two main concepts of formal methods are theories and models. In our approach, the development of a fusion system consists of operations on theories a

A System-Based Approach to the Formal De

A System-Based Approach to the Formal Development of Embedded Controllers for a Railway

✍ Michael Butler 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 112 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Approaches to Agent-Based Systems Volume 3228 || Facilitating the Specification Capture and Transformation Process in the Development of Multi-agent Systems

✍ Hinchey, Michael G.; Rash, James L.; Truszkowski, Walter F.; Rouff, Christopher 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 389 KB

A formal approach to the specification a

A formal approach to the specification and the behavior validation of real-time systems based on rewriting logic

✍ Ammar Attoui; Michel Schneider 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 956 KB