@inbook{1a01e4f68fff4b8a8a1afc0e914a345b,
title = "Compositional Verification of Knowledge-Based Systems: a Case Study for Diagnostic Reasoning",
abstract = "When designing complex knowledge-based systems, it is often hard to guarantee that the specification of a system that has been designed actually fulfills the needs, i.e., whether it satisfies the design requirements. Especially for critical applications, for example in aerospace domains, there is a need to prove that the designed system will have certain properties under certain conditions (assumptions). While developing a proof of such properties, the assumptions that define the bounds within which the system will function properly are generated.",
author = "F. Cornelissen and J. Treur and C.M. Jonker",
year = "2001",
doi = "10.1007/978-94-017-1743-4\_5",
language = "English",
isbn = "978-90-481-5903-1",
series = "Series in Defeasible Reasoning and Uncertainty Management Systems",
publisher = "Springer",
pages = "65--82",
booktitle = "Dynamics and Management of Reasoning Processes",
}