Semantical considerations on nonmonotonic logic
Artificial Intelligence
Introduction to mathematical logic; (3rd ed.)
Introduction to mathematical logic; (3rd ed.)
Possible-world semantics for autoepistemic logic
Readings in nonmonotonic reasoning
On the relation between default and autoepistemic logic
Artificial Intelligence
All I know: a study in autoepistemic logic
Artificial Intelligence
Relating autoepistemic and default logics
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Quantification in autoepistemic logic
Fundamenta Informaticae - Special issue: logics for artificial intelligence
On perfect introspection with quantifying-in
Fundamenta Informaticae - Special issue on modal logics in knowledge representation
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Translating default logic into standard autoepistemic logic
Journal of the ACM (JACM)
A comparative study of open default theories
Artificial Intelligence
A note on the stable model semantics for logic programs
Artificial Intelligence
First-order non-monotonic modal logics
Fundamenta Informaticae
Foundations of Logic Programming
Foundations of Logic Programming
On the intertranslatability of non-monotonic logics
Annals of Mathematics and Artificial Intelligence
Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge
First-Order Ground Non-Monotonic Modal Logic
Fundamenta Informaticae
Towards an axiom system for default logic
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Embedding non-ground logic programs into autoepistemic logic for knowledge-base combination
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
ACM Transactions on Computational Logic (TOCL)
First-Order Ground Non-Monotonic Modal Logic
Fundamenta Informaticae
| Hi-index | 0.00 |
In this article, we introduce first-order autoepistemic logic. Our definition is semantical and is based on the intuition similar to that lying behind the definition of first-order default logic. Thus, our definition of first-order autoepistemic logic well complies with that of first-order default logic and circumscription, providing a substantial evidence for its acceptance.