Compositional Verification of Knowledge-Based Systems: A Case Study for Diagnostic Reasoning.

Frank Cornelissen, Catholijn M. Jonker, Jan Treur

Browse the full EKAW paper archive.