A semantical perspective on verification of knowledge

DOI10.1016/S0169-023X(01)00045-3MaRDI QIDQ2778425zbMATH OpenOpenAlexWikidataFDO

Authors Paul Leemans, Jan Treur, Mark Willems

Publication date 3 March 2002

Published in Data \& Knowledge Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0169-023x(01)00045-3

zbMATH Keywords

knowledge representation language

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• Verification of knowledge bases based on containment checking
• A formal model for verification of dynamic consistency of KBSs
• Verification of description logic knowledge and action bases
• Verification in argument-incomplete argumentation frameworks
• Semantics and Consistency of Rule based Expert Systems

Cited in

(4)

• Verification of knowledge bases based on containment checking
• Confirmation holism and semantic holism
• A formal model for verification of dynamic consistency of KBSs
• Discovering knowability: a semantic analysis

This page was built for publication: A semantical perspective on verification of knowledge

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