Limited reasoning in first-order knowledge bases with full introspection
From MaRDI portal
Publication:2171268
DOI10.1016/0004-3702(95)00063-1zbMath1506.68150OpenAlexW2037576563MaRDI 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
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