Rationality and Context in Defeasible Subsumption
暂无分享,去创建一个
[1] Sarit Kraus,et al. Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..
[2] Y. Shoham. Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence , 1987 .
[3] Katarina Britz,et al. Preferential Accessibility and Preferred Worlds , 2018, J. Log. Lang. Inf..
[4] Carsten Lutz,et al. The Complexity of Circumscription in DLs , 2009, J. Artif. Intell. Res..
[5] Richard Booth,et al. A propositional typicality logic for extending rational consequence , 2013 .
[6] Daniel Lehmann,et al. What does a Conditional Knowledge Base Entail? , 1989, Artif. Intell..
[7] 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..
[8] Umberto Straccia,et al. Defeasible Inheritance-Based Description Logics , 2013, J. Artif. Intell. Res..
[9] Laura Giordano,et al. ALC + T: a Preferential Extension of Description Logics , 2009, Fundam. Informaticae.
[10] Grigoris Antoniou,et al. Defeasible Contextual Reasoning with Arguments in Ambient Intelligence , 2010, IEEE Transactions on Knowledge and Data Engineering.
[11] Piero A. Bonatti,et al. A new semantics for overriding in description logics , 2015, Artif. Intell..
[12] Laura Giordano,et al. Semantic characterization of rational closure: From propositional logic to description logics , 2015, Artif. Intell..
[13] Katarina Britz,et al. Defeasible Modalities , 2013, TARK.
[14] Laura Giordano,et al. A non-monotonic Description Logic for reasoning about typicality , 2013, Artif. Intell..
[15] Craig Boutilier,et al. Conditional Logics of Normality: A Modal Approach , 1994, Artif. Intell..
[16] Katarina Britz,et al. Context-based defeasible subsumption for dSROIQ , 2017, COMMONSENSE.
[17] Joachim Quantz,et al. A Preference Semantics for Defaults in Terminological Logics , 1992, International Conference on Principles of Knowledge Representation and Reasoning.
[18] Thomas Andreas Meyer,et al. Semantic Preferential Subsumption , 2008, KR.
[19] Richard Booth,et al. On the Entailment Problem for a Logic of Typicality , 2015, IJCAI.
[20] Richard Booth,et al. PTL: A Propositional Typicality Logic , 2012, JELIA.
[21] Thomas Andreas Meyer,et al. Preferential Role Restrictions , 2013, Description Logics.
[22] Laura Giordano,et al. Preferential Description Logics , 2007, LPAR.
[23] Daniel Lehmann,et al. Another perspective on default reasoning , 1995, Annals of Mathematics and Artificial Intelligence.
[24] Thomas Andreas Meyer,et al. Semantic Foundation for Preferential Description Logics , 2011, Australasian Conference on Artificial Intelligence.
[25] Katarina Britz,et al. Introducing Role Defeasibility in Description Logics , 2016, JELIA.
[26] Katarina Britz,et al. From KLM-style conditionals to defeasible modalities, and back , 2018, J. Appl. Non Class. Logics.
[27] Pascal Hitzler,et al. Local Closed World Semantics: Grounded Circumscription for OWL , 2011, SEMWEB.
[28] Laura Giordano,et al. Reasoning about Typicality in Preferential Description Logics , 2008, JELIA.
[29] Piero A. Bonatti,et al. Defeasible Inclusions in Low-Complexity DLs , 2011, J. Artif. Intell. Res..
[30] K. Srinivas,et al. Introducing Defeasibility into OWL Ontologies , 2015 .
[31] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.
[32] Anni-Yasmin Turhan,et al. Including Quantification in Defeasible Reasoning for the Description Logic EL⊥ , 2017, LPNMR.
[33] Katarina Britz,et al. Towards Defeasible SROIQ , 2017, Description Logics.
[34] Umberto Straccia,et al. Rational Closure for Defeasible Description Logics , 2010, JELIA.
[35] Kodylan Moodley,et al. Ordered Interpretations and Entailment for Defeasible Description Logics , 2014 .