Nonmonotonic reasoning, preferential models and cumulative logics

1990/07/01 by Sarit Kraus, Daniel Lehmann, Menachem Magidor · 34 citations
Computer Science · #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic #Semantic Web and Ontologies

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

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\n 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
• 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]