Defeasible Entailment: from Rational Closure to Lexicographic Closure and Beyond

Conference paper presented at the 17th International Workshop on Non-Monotonic Reasoning (NMR) 2018, 27-29 October 2018, Arizona, USA

[1]  Umberto Straccia,et al.  A Polynomial Time Subsumption Algorithm for Nominal Safe ELO⊥ under Rational Closure , 2018, Inf. Sci..

[2]  Thomas Andreas Meyer,et al.  Normal Modal Preferential Consequence , 2012, Australasian Conference on Artificial Intelligence.

[3]  Ramón Pino Pérez,et al.  Beyond Rational Monotony: Some Strong Non-Horn Rules for Nonmonotonic Inference Relations , 1997, J. Log. Comput..

[4]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[5]  Sven Ove Hansson,et al.  A textbook of belief dynamics - theory change and database updating , 1999, Applied logic series.

[6]  Michael Freund,et al.  Preferential Reasoning in the Perspective of Poole Default Logic , 1998, Artif. Intell..

[7]  Thomas Andreas Meyer,et al.  Preferential Reasoning for Modal Logics , 2011, M4M/LAMAS.

[8]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[9]  Richard Booth,et al.  A propositional typicality logic for extending rational consequence , 2013 .

[10]  Jeff B. Paris,et al.  A Note on the Rational Closure of Knowledge Bases with Both Positive and Negative Knowledge , 1998, J. Log. Lang. Inf..

[11]  Piero A. Bonatti,et al.  A new semantics for overriding in description logics , 2015, Artif. Intell..

[12]  Richard Booth,et al.  PTL: A Propositional Typicality Logic , 2012, JELIA.

[13]  Gabriele Kern-Isberner.  Axiomatizing a Qualitative Principle of Conditional Preservation for Iterated Belief Change , 2018, KR.

[14]  Joachim Quantz,et al.  A Preference Semantics for Defaults in Terminological Logics , 1992, International Conference on Principles of Knowledge Representation and Reasoning.

[15]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[16]  Katarina Britz,et al.  Rationality and Context in Defeasible Subsumption , 2018, FoIKS.

[17]  Daniel Lehmann,et al.  What does a Conditional Knowledge Base Entail? , 1989, Artif. Intell..

[18]  Daniel Lehmann,et al.  Another perspective on default reasoning , 1995, Annals of Mathematics and Artificial Intelligence.

[19]  Richard Booth,et al.  On the Entailment Problem for a Logic of Typicality , 2015, IJCAI.

[20]  Laura Giordano,et al.  Semantic characterization of rational closure: From propositional logic to description logics , 2015, Artif. Intell..

[21]  Judea Pearl,et al.  Qualitative Probabilities for Default Reasoning, Belief Revision, and Causal Modeling , 1996, Artif. Intell..

[22]  Katarina Britz,et al.  Preferential Accessibility and Preferred Worlds , 2018, J. Log. Lang. Inf..

[23]  Y. Shoham.  Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence , 1987 .

[24]  Thomas Andreas Meyer,et al.  Relevant Closure: A New Form of Defeasible Reasoning for Description Logics , 2014, JELIA.

[25]  Umberto Straccia,et al.  Defeasible Inheritance-Based Description Logics , 2013, J. Artif. Intell. Res..

[26]  Anni-Yasmin Turhan,et al.  Reasoning in the Defeasible Description Logic εℒ - computing standard inferences under rational and relevant semantics , 2018, Int. J. Approx. Reason..

[27]  Piero A. Bonatti,et al.  On the logical properties of the nonmonotonic description logic DLN , 2017, Artif. Intell..

[28]  Katarina Britz,et al.  From KLM-style conditionals to defeasible modalities, and back , 2018, J. Appl. Non Class. Logics.

[29]  Christoph Beierle,et al.  Skeptical, Weakly Skeptical, and Credulous Inference Based on Preferred Ranking Functions , 2016, ECAI.

[30]  Laura Giordano,et al.  A non-monotonic Description Logic for reasoning about typicality , 2013, Artif. Intell..

[31]  Thomas Andreas Meyer,et al.  A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework , 2018, KR.

[32]  Craig Boutilier,et al.  Conditional Logics of Normality: A Modal Approach , 1994, Artif. Intell..

[33]  Thomas Andreas Meyer,et al.  Semantic Foundation for Preferential Description Logics , 2011, Australasian Conference on Artificial Intelligence.