Nonmonotonic default modal logics
Journal of the ACM (JACM)
Journal of the ACM (JACM)
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
Sequent calculi for propositional nonmonotonic logics
ACM Transactions on Computational Logic (TOCL)
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)
Annals of Mathematics and Artificial Intelligence
On the intertranslatability of non-monotonic logics
Annals of Mathematics and Artificial Intelligence
Persistence and minimality in epistemic logic
Annals of Mathematics and Artificial Intelligence
Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics
Journal of Logic, Language and Information
Current Approaches to Handling Imperfect Information in Data and Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Uniform semantic treatment of default and autoepistemic logics
Artificial Intelligence
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Classifying Semi-Normal Default Logic on the Basis of its Expressive Power
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Generalized Default Logic: Minimal Knowledge, Autoepistemic and Default Reasoning Reconciled
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Evaluating the effect of semi-normality on the expressiveness of defaults
Artificial Intelligence
Fixed-parameter tractability of disjunction-free default reasoning
Journal of Computer Science and Technology
A semantic framework for preference handling in answer set programming
Theory and Practice of Logic Programming
Introduction: progress in formal commonsense reasoning
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Ultimate approximation and its application in nonmonotonic knowledge representation systems
Information and Computation
Nonmonotonic default modal logics
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Epistemic semantics for fixed-points non-monotonic logics
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Modal logic S4F and the minimal knowledge paradigm
TARK '92 Proceedings of the 4th 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
Where fail-safe default logics fail
ACM Transactions on Computational Logic (TOCL)
Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic
Fundamenta Informaticae
First-Order Ground Non-Monotonic Modal Logic
Fundamenta Informaticae
Diversity of Agents and Their Interaction
Journal of Logic, Language and Information
Hyperequivalence of logic programs with respect to supported models
Annals of Mathematics and Artificial Intelligence
A non-preferential semantics of non-monotonic modal logic
Annals of Mathematics and Artificial Intelligence
The Complexity of Reasoning for Fragments of Default Logic
SAT '09 Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing
Towards an axiom system for default logic
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Only-knowing: taking it beyond autoepistemic reasoning
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Hyperequivalence of logic programs with respect to supported models
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Minimal change and maximal coherence: a basis for belief revision and reasoning about actions
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Relating the TMS to autoepistemic logic
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
On the relation between truth maintenance and autoepistemic logic
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
On the relation between autoepistemic logic and circumscription
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
An abductive framework for general logic programs and other nonmonotonic systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Towards efficient default reasoning
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Semantics and complexity of abduction from default theories
IJCAI'95 Proceedings of the 14th 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
Cancelling and overshadowing two types of defeasibility in defeasible deontic logic
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
On the relation between default and modal nonmonotonic reasoning
Artificial Intelligence
The computational complexity of ideal semantics
Artificial Intelligence
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Logic-based knowledge representation
Artificial intelligence today
Annals of Mathematics and Artificial Intelligence
Computing the extensions of autoepistemic and default logics with a truth maintenance system
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Nonmonotonicity and the scope of reasoning: preliminary report
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Logical task modelling for man-machine dialogue
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Default logic, propositional logic and constraints
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
The complexity of propositional default logics
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Subnormal modal logics for knowledge representation
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
On the intertranslatability of argumentation semantics
Journal of Artificial Intelligence Research
Possible world partition sequences: a unifying framework for uncertain reasoning
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Default reasoning with preference within only knowing logic
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
Correct Reasoning
First-Order Ground Non-Monotonic Modal Logic
Fundamenta Informaticae
Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic
Fundamenta Informaticae
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
Approximating operators and semantics for abstract dialectical frameworks
Artificial Intelligence
t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |