Semantical considerations on nonmonotonic logic
Artificial Intelligence
Artificial Intelligence
The mathematics of inheritance systems
The mathematics of inheritance systems
A first-order conditional logic for prototypical properties
Artificial Intelligence
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Theoretical foundations for non-monotonic reasoning in expert systems
Logics and models of concurrent systems
What does a conditional knowledge base entail?
Artificial Intelligence
Conditional logics of normality: a modal approach
Artificial Intelligence
Logic programming in a fragment of intuitionistic linear logic
Papers presented at the IEEE symposium on Logic in computer science
Structure, consequence relation and logic
What is a logical system?
The method of hypersequents in the proof theory of propositional non-classical logics
Logic: from foundations to applications
Nonmonotonic reasoning, conditional objects and possibility theory
Artificial Intelligence
Causality: models, reasoning, and inference
Causality: models, reasoning, and inference
Goal-directed proof theory
Belief functions and default reasoning
Artificial Intelligence
Proving termination with multiset orderings
Communications of the ACM
First-order conditional logic for default reasoning revisited
ACM Transactions on Computational Logic (TOCL)
Plausibility measures and default reasoning
Journal of the ACM (JACM)
Qualitative decision theory: from savage's axioms to nonmonotonic reasoning
Journal of the ACM (JACM)
Model-Based Diagnosis and Conditional Logic
Applied Intelligence
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge
Reasoning with Cause and Effect
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Efficient Loop-Check for Backward Proof Search in Some Non-classical Propositional Logics
TABLEAUX '96 Proceedings of the 5th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods
Free Variable Tableaux for Propositional Modal Logics
TABLEAUX '97 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
System JLZ: rational default reasoning by minimal ranking constructions
Journal of Applied Logic - Special issue on combining probability and logic
Conditional logic of actions and causation
Artificial Intelligence - Special issue on nonmonotonic reasoning
System Z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
The Description Logic Handbook
The Description Logic Handbook
A sequent calculus and a theorem prover for standard conditional logics
ACM Transactions on Computational Logic (TOCL)
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
ACM Transactions on Computational Logic (TOCL)
Automated Deduction for Logics of Default Reasoning
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
A unified view of consequence relation, belief revision and conditional logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Weak AGM postulates and strong Ramsey Test: A logical formalization
Artificial Intelligence
ALC + T: a Preferential Extension of Description Logics
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Preferential description logics
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Analytic tableau calculi for KLM rational logic R
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
CondLean 3.0: improving CondLean for stronger conditional logics
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Analytic tableaux for KLM preferential and cumulative logics
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Hi-index | 0.00 |