'Compositional Verification of Knowledged-Based Systems: a Case Study for Diagnostic Reasoning'

F. Cornelissen, C.M. Jonker, J. Treur

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

Original language	Undefined/Unknown
Title of host publication	Dynamics and Management of Reasoning Processes
Editors	D. Gabbay, Ph. Smets
Place of Publication	Deventer
Publisher	Kluwer Academic Publishers
Pages	65-82
Number of pages	18
Publication status	Published - 2001

Cite this

@inproceedings{699f9e38aec64885acc75dd02e481a64,

title = "'Compositional Verification of Knowledged-Based Systems: a Case Study for Diagnostic Reasoning'",

author = "F. Cornelissen and C.M. Jonker and J. Treur",

year = "2001",

language = "Undefined/Unknown",

pages = "65--82",

editor = "D. Gabbay and Ph. Smets",

booktitle = "Dynamics and Management of Reasoning Processes",

publisher = "Kluwer Academic Publishers",

address = "Netherlands",

}

'Compositional Verification of Knowledged-Based Systems: a Case Study for Diagnostic Reasoning'. / Cornelissen, F.; Jonker, C.M.; Treur, J.
Dynamics and Management of Reasoning Processes. ed. / D. Gabbay; Ph. Smets. Deventer: Kluwer Academic Publishers, 2001. p. 65-82.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic