Nonmonotonic default modal logics
Journal of the ACM (JACM)
Proof-complexity results for nonmonotonic reasoning
ACM Transactions on Computational Logic (TOCL)
Some contributions to nonmonotonic consequence
Journal of Computer Science and Technology
Sequent calculi for propositional nonmonotonic logics
ACM Transactions on Computational Logic (TOCL)
Quatum logic, Hilbert space, revision theory
Artificial Intelligence
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Nonmonotonic consequences in default domain theory
Annals of Mathematics and Artificial Intelligence
Nonmonotonic reasoning with multiple belief sets
Annals of Mathematics and Artificial Intelligence
The Possibilistic Handling of Irrelevance in Exception-Tolerant Reasoning
Annals of Mathematics and Artificial Intelligence
An Empirical Test of Patterns for Nonmonotonic Inference
Annals of Mathematics and Artificial Intelligence
Model-Based Diagnosis and Conditional Logic
Applied Intelligence
A Note on the Rational Closure of Knowledge Bases with Both Positive and Negative Knowledge
Journal of Logic, Language and Information
A Maximum Entropy Approach to Nonmonotonic Reasoning
IEEE Transactions on Pattern Analysis and Machine Intelligence
Computing Facts in Non-Horn Deductive Systems
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Epistemic Context, Defeasible Inference and Conversational Implicature
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Pragmatic Reasoning. Pragmatic Semantics and Semantic Pragmatics
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Context and Relevance: A Pragmatic Approach
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Three-Valued Logics for Inconsistency Handling
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Possible Worlds Semantics for Credulous and Contraction Inference
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Brave Nonmonotonic Inference and Its Kinds
Annals of Mathematics and Artificial Intelligence
Artificial Intelligence
Explaining default intuitions using maximum entropy
Journal of Applied Logic - Special issue on combining probability and logic
Normal conditions for inference relations and injective models
Theoretical Computer Science
On properties of update sequences based on causal rejection
Theory and Practice of Logic Programming
Order-consistent programs are cautiously monotonic
Theory and Practice of Logic Programming
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
Rationality postulates for induction
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
Matrix representation of belief states: an algebraic semantics for belief logics
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Similarity between preferential models
Theoretical Computer Science
A characterization theorem for injective model classes axiomatized by general rules
Theoretical Computer Science
Cumulativity, Identity and Time in Deontic Logic
Fundamenta Informaticae - Deontic Logic in Computer Science
Some Puzzles About Probability and Probabilistic Conditionals
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Recovering Consistency by Forgetting Inconsistency
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
ACM Transactions on Computational Logic (TOCL)
Nonmonotonic modes of inference
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Measure-free conditioning, probability and non-monotonic reasoning
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A semantical approach to stable inheritance reasoning
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
On the semantics of supernormal defaults
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
Possibilistic logic, preferential models, non-monotonicity and related issues
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
A Theory of Hierarchical Consequence and Conditionals
Journal of Logic, Language and Information
A representation theorem and applications to measure selection and noninformative priors
International Journal of Approximate Reasoning
Conditional and Preferential Logics: Proof Methods and Theorem Proving
Proceedings of the 2010 conference on Conditional and Preferential Logics: Proof Methods and Theorem Proving
Conditionals in nonmonotonic reasoning and belief revision: considering conditionals as agents
Conditionals in nonmonotonic reasoning and belief revision: considering conditionals as agents
The 'majority' and 'by default' modalities
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Logic-based knowledge representation
Artificial intelligence today
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Conditional logics of normality as modal systems
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A probabilistic interpretation for lazy nonmonotonic reasoning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Algebraic sematics for cumulative inference operations
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Probabilistic approach to nonmonotonic consequence relations
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Proof complexity of propositional default logic
Archive for Mathematical Logic
Belief functions and default reasoning
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Analytic tableaux for KLM preferential and cumulative logics
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Nonmonotonic logics and their algebraic foundations
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Proof complexity of propositional default logic
SAT'10 Proceedings of the 13th international conference on Theory and Applications of Satisfiability Testing
On real-valued evaluation of propositional formulas
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Proof complexity of non-classical logics
ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
Nonmonotonic Proof Systems: Algebraic Foundations
Fundamenta Informaticae
Cumulativity, Identity and Time in Deontic Logic
Fundamenta Informaticae - Deontic Logic in Computer Science
A Two-Stage Approach to First Order Default Reasoning
Fundamenta Informaticae
A Default Logic Based On Epistemic States
Fundamenta Informaticae
What Is A Nonmonotonic Consequence Relation?
Fundamenta Informaticae
Fundamenta Informaticae
A defeasible reasoning model of inductive concept learning from examples and communication
Artificial Intelligence
Knowledge acquisition: Past, present and future
International Journal of Human-Computer Studies
A defeasible logic of intention
MICAI'12 Proceedings of the 11th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
Hi-index | 0.00 |