Limited reasoning in first-order knowledge bases with full introspection

DOI10.1016/0004-3702(95)00063-1zbMath1506.68150OpenAlexW2037576563MaRDI QIDQ2171268

Gerhard Lakemeyer

Publication date: 23 September 2022

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(95)00063-1

zbMATH Keywords

introspectionknowledge representationbelief logicslimited reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (3)

Quantified epistemic logics for reasoning about knowledge in multi-agent systems ⋮ Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems ⋮ On the decidability and complexity of reasoning about only knowing

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Foundations of a functional approach to knowledge representation
• Semantical considerations on nonmonotonic logic
• A decidable fragment of predicate calculus
• On the relation between default and autoepistemic logic
• The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
• A guide to completeness and complexity for modal logics of knowledge and belief
• Limited reasoning in first-order knowledge bases
• Intuitive semantics for first-degree entailments and `coupled trees'
• Levesque's axiomatization of only knowing is incomplete
• All I know: A study in autoepistemic logic

This page was built for publication: Limited reasoning in first-order knowledge bases with full introspection