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