Limited reasoning in first-order knowledge bases with full introspection
From MaRDI portal
Publication:2171268
DOI10.1016/0004-3702(95)00063-1zbMath1506.68150MaRDI QIDQ2171268
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
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
68T30: Knowledge representation
Related Items
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