Nonmonotonic reasoning, preferential models and cumulative logics

1990/07/01 by Sarit Kraus, Daniel Lehmann, Menachem Magidor · 1,682 citations
Computer Science · Mathematics · #Advanced Algebra and Logic #Artificial intelligence #Belief revision #Classical logic #Computer science #Discrete mathematics #Epistemology #Extension (predicate logic) #Logic, Reasoning, and Knowledge #Mathematics #Monotonic function #Non-monotonic logic #Predicate (mathematical logic) #Probabilistic logic #Programming language #Property (philosophy) #Propositional calculus #Semantic Web and Ontologies #Theoretical computer science

paper · doi:10.1016/0004-3702(90)90101-5

published in Artificial Intelligence 44(1-2), 167-207 (Elsevier BV)

openalex publication_date 1990/07/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/25

Cited by

• Mathematical Reasoning Vs. Abductive Reasoning: A Structural Approach
• Robust Classification in ML: A Topological Semantics Approach
• The logical meaning of Expansion
• On the links between argumentation-based reasoning and nonmonotonic reasoning
• Reasoning with conditionals
• Connectives in Quantum and other Cumulative Logics
• Bayes Meets Entailment and Prediction: Commonsense Reasoning with Non-monotonicity, Paraconsistency and Predictive Accuracy
• Monotonicity and Noise-Tolerance in Case-Based Reasoning with Abstract Argumentation (with Appendix)
• Non-Monotonic S4F Standpoint Logic (Extended Version with Proofs)
• On a plausible concept-wise multipreference semantics and its relations with self-organising maps
• Nonmonotonic Probabilistic Logics between Model-Theoretic Probabilistic Logic and Probabilistic Logic under Coherence
• Probabilistic Logic Programming under Inheritance with Overriding
• Plausibility Measures: A User's Guide
• Numerical Representations of Acceptance
• Back to the Future: Unsupervised Backprop-based Decoding for Counterfactual and Abductive Commonsense Reasoning
• Domain closure conditions and definability preservation
• Axiomatic Aspects of Default Inference
• A conceptual framework for (iterated) revision, update, and nonmonotonic reasoning
• The Probability of a Possibility: Adding Uncertainty to Default Rules
• Learning Possibilistic Logic Theories from Default Rules
• A Symbolic Logic with Concrete Bounds for Cryptographic Protocols
• Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective
• Cumulativity without closure of the domain under finite unions
• Origins of Answer-Set Programming - Some Background And Two Personal Accounts
• A Qualitative Markov Assumption and its Implications for Belief Change
• Coping with the Limitations of Rational Inference in the Framework of Possibility Theory
• Revealed Preferences for Matching with Contracts
• Properties of ABA+ for Non-Monotonic Reasoning
• Filling in the semantics for intuitionistic conditional logic
• Relevance in Structured Argumentation
• Constraint Propagation with Imprecise Conditional Probabilities
• Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too
• Defeasible inheritance systems and reactive diagrams
• From Weighted Conditionals of Multilayer Perceptrons to Gradual Argumentation and Back
• On Open-Universe Causal Reasoning
• Extending Defeasibility for Propositional Standpoint Logics
• Principles and Examples of Plausible Reasoning and Propositional Plausible Logic
• Defeasible Modalities
• From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group)
• On Rational Closure in Description Logics of Typicality
• Bisimulation for Conditional Modalities
• Rational Closure in SHIQ
• A framework for Conditional Reasoning in Answer Set Programming
• Reasoning by Cases in Structured Argumentation
• A Plausibility Semantics for Abstract Argumentation Frameworks
• Conditional Inference and Activation of Knowledge Entities in ACT-R
• Languages, Algorithms, Procedures, Calculi, and Metalogic
• Axiomatics of Restricted Choices by Linear Orders of Sets with Minimum as Fallback
• A Unified framework for order-of-magnitude confidence relations
• Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics
• Reasoning in Non-Probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples
• A Non-Interventionist Approach to Causal Reasoning based on Lewisian Counterfactuals
• On the Complexity and Properties of Preferential Propositional Dependence Logic
• Linking Makinson and Kraus-Lehmann-Magidor preferential entailments
• A Short Remark on Analogical Reasoning
• Representation Dependence in Probabilistic Inference
• Bayesian Entailment Hypothesis: How Brains Implement Monotonic and Non-monotonic Reasoning
• Defaults and Normality in Causal Structures
• On weak filters and ultrafilters: Set theory from (and for) knowledge representation
• Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning
• Boolean algebras of conditionals, probability and logic
• Using arguments for making decisions: A possibilistic logic approach
• A Presentation of Quantum Logic Based on an and then Connective
• Theoretical Foundations of Defeasible Description Logics
• A framework for a modular multi-concept lexicographic closure semantics
• Decision-making Under Ordinal Preferences and Comparative Uncertainty
• On rational entailment for Propositional Typicality Logic
• A Topological Approach to Full Belief. [europepmc]
• Simple Hyperintensional Belief Revision. [europepmc]
• Default Inheritance in Modified Statements: Bias or Inference? [europepmc]
• The probability of conditionals: A review. [europepmc]