scientific article; zbMATH DE number 847979

MaRDI QIDQ4867026zbMATH OpenFDO

Authors Armin Graber, Hans-Jürgen Bürckert, Armin Laux

Publication date 19 March 1996

zbMATH Keywords

beliefinteraction axiomsterminological knowledge representation languages

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Knowledge representation (68T30)

Recommendations

• Reasoning with knowledge and belief
• Reasoning about Knowledge and Belief: A Syntactical Treatment
• scientific article; zbMATH DE number 1149405
• scientific article; zbMATH DE number 795590
• Justified terminological reasoning
• Logic For Reasoning About Knowledge
• scientific article; zbMATH DE number 4039863
• scientific article; zbMATH DE number 1303329

Cited in

(11)

• A model of reasoning about knowledge
• Limited reasoning in first-order knowledge bases
• Terminological reasoning is inherently intractable
• scientific article; zbMATH DE number 1612553 (Why is no real title available?)
• scientific article; zbMATH DE number 3883646 (Why is no real title available?)
• scientific article; zbMATH DE number 67970 (Why is no real title available?)
• Reasoning about Knowledge and Belief: A Syntactical Treatment
• scientific article; zbMATH DE number 847980 (Why is no real title available?)
• A multi-dimensional terminological knowledge representation language
• scientific article; zbMATH DE number 4197473 (Why is no real title available?)
• Conceptual Structures at Work

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 Q4867026)