A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
The extended closed world assumption and its relationship to parallel circumscription
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Nonclausal deduction in first-order temporal logic
Journal of the ACM (JACM)
Nonmonotonic default modal logics
Journal of the ACM (JACM)
On the complexity of propositional knowledge base revision, updates, and counterfactuals
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Modal nonmonotonic logics: ranges, characterization, computation
Journal of the ACM (JACM)
The complexity of logic-based abduction
Journal of the ACM (JACM)
Translating default logic into standard autoepistemic logic
Journal of the ACM (JACM)
The systematization of legal meta-inference
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Reducing query answering to satisfiability in nonmonotonic logics
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Operational Concepts of Nonmonotonic Logics Part 2: Autoepistemic Logic
Artificial Intelligence Review
Some contributions to the metatheory of the situation calculus
Journal of the ACM (JACM)
Commonsense reasoning based on fuzzy logic
WSC '86 Proceedings of the 18th conference on Winter simulation
Skepticism and floating conclusions
Artificial Intelligence
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics
Journal of Logic, Language and Information
Logic and Artificial Intelligence: Divorced, Still Married, Separated...?
Minds and Machines
On the computational complexity of assumption-based argumentation for default reasoning
Artificial Intelligence
Knowledge Representation in Fuzzy Logic
IEEE Transactions on Knowledge and Data Engineering
A Computationally Tractable Nonmonotonic Logic
IEEE Transactions on Knowledge and Data Engineering
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
Context and Relevance: A Pragmatic Approach
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
A logic to reason about likelihood
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
A computational theory of dispositions
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
A practical nonmonotonic theory for reasoning about speech acts
ACL '88 Proceedings of the 26th annual meeting on Association for Computational Linguistics
Nonmonotonic proof systems: algebraic foundations
Fundamenta Informaticae
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
Modal logic S4F and the minimal knowledge paradigm
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
Any-world assumptions in logic programming
Theoretical Computer Science
A hybrid model for diagnosing multiple disorders
International Journal of Hybrid Intelligent Systems
First-Order Ground Non-Monotonic Modal Logic
Fundamenta Informaticae
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Twelve Definitions of a Stable Model
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Partial information basis for agent-based collaborative dialogue
Applied Intelligence
A non-preferential semantics of non-monotonic modal logic
Annals of Mathematics and Artificial Intelligence
Default logic generalized and simplified
Annals of Mathematics and Artificial Intelligence
The modal logic S4F, the default logic, and the logic here-and-there
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Semantical considerations on nonmonotonic logic
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
General approach to nonmonotonic logics
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Relating the TMS to autoepistemic logic
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
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
Preference-based semantics for nonmonotonic logics
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Nonmonotonic logics: meaning and utility
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Relating default logic and circumscription
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Modal propositional semantics for reason maintenance systems
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Non-monotonic temporal logics for goal specification
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Modal interpretations of default logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
On the relation between default and modal nonmonotonic reasoning
Artificial Intelligence
On a Modal Epistemic Axiom Emerging from McDermott-Doyle Logics
Fundamenta Informaticae
The role of fuzzy logic in the management of uncertainty in expert systems
Fuzzy Sets and Systems
Logic-based knowledge representation
Artificial intelligence today
On stratified autoepistemic theories
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
On stratified autoepistemic theories
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
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
Algebraic sematics for cumulative inference operations
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
Semantics and complexity of recursive aggregates in answer set programming
Artificial Intelligence
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
ACM Transactions on Computational Logic (TOCL)
Thirteen definitions of a stable model
Fields of logic and computation
Argumentation and answer set programming
Logic programming, knowledge representation, and nonmonotonic reasoning
Nonmonotonic logics and their algebraic foundations
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Assertions, conditionals, and defaults
WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
Unfounded sets and well-founded semantics of answer set programs with aggregates
Journal of Artificial Intelligence Research
First-Order Ground Non-Monotonic Modal Logic
Fundamenta Informaticae
Nonmonotonic Proof Systems: Algebraic Foundations
Fundamenta Informaticae
First-order Non-monotonic Modal Logics
Fundamenta Informaticae
Complexity of Recursive Normal Default Logic
Fundamenta Informaticae
Fundamenta Informaticae
A Modal Logic For Hypothesis Theory
Fundamenta Informaticae
Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
Fuzzy Sets and Systems
Hi-index | 0.01 |