Modal nonmonotonic logics: ranges, characterization, computation
Journal of the ACM (JACM)
Translating default logic into standard autoepistemic logic
Journal of the ACM (JACM)
Operational Concepts of Nonmonotonic Logics Part 2: Autoepistemic Logic
Artificial Intelligence Review
ACM Computing Surveys (CSUR)
Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning
Logic-based artificial intelligence
Revisiting quantification in autoepistemic logic
ACM Transactions on Computational Logic (TOCL)
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic
Journal of Logic, Language and Information
Nonmonotonic Reasoning as Prioritized Argumentation
IEEE Transactions on Knowledge and Data Engineering
Uniform semantic treatment of default and autoepistemic logics
Artificial Intelligence
Epistemic semantics for fixed-points non-monotonic logics
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
On perfect introspection with quantifying-in: extended abstract
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
My work with Victor Marek: a mathematician looks at answer set programming
Annals of Mathematics and Artificial Intelligence
Default logic generalized and simplified
Annals of Mathematics and Artificial Intelligence
The power of beliefs or translating default logic into standard autoepistemic logic
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Nonmonotonic databases and epistemic queries
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Modal interpretations of default logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Constructive tightly grounded autoepistemic reasoning
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Programming in autoepistemic logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
On the relation between default and modal nonmonotonic reasoning
Artificial Intelligence
Decidable reasoning in first-order knowledge bases with perfect introspection
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Nonmonotonic logics and their algebraic foundations
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
AEGIS Automated Science Targeting for the MER Opportunity Rover
ACM Transactions on Intelligent Systems and Technology (TIST)
First-order Non-monotonic Modal Logics
Fundamenta Informaticae
A Default Logic Based On Epistemic States
Fundamenta Informaticae
A Modal Logic For Hypothesis Theory
Fundamenta Informaticae
The Logic Of Only Knowing As A Unified Framework For Non-Monotonic Reasoning
Fundamenta Informaticae
Hi-index | 0.00 |