scientific article; zbMATH DE number 1754684

MaRDI QIDQ4535112zbMATH OpenFDO

Authors Frank Cornelissen, Catholijn M. Jonker, Jan Treur

Publication date 12 June 2002

zbMATH Keywords

compositional verificationcomplex knowledge-based systems

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Compositionality in state space verification methods
• scientific article; zbMATH DE number 1956591
• Parallel process diagnosis based on qualitative models
• Design and implementation of diagnostic strategies using modal logic
• Abstract patterns of compositional reasoning.

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4535112)