Defeasible Entailment: from Rational Closure to Lexicographic Closure and Beyond
暂无分享,去创建一个
[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.