Compositional verification of knowledge-based systems: A case study for diagnostic reasoning
- 1 January 1997
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and ReactivenessPublished by Springer Nature ,1998
- Compositional verification of knowledge-based systems: A case study for diagnostic reasoningPublished by Springer Nature ,1997
- Formal methods in knowledge engineeringThe Knowledge Engineering Review, 1995
- The Kiv-approach to software verificationPublished by Springer Nature ,1995
- Heuristic reasoning and relative incompletenessInternational Journal of Approximate Reasoning, 1993
- Composing specificationsACM Transactions on Programming Languages and Systems, 1993