From KLM-style conditionals to defeasible modalities, and back
暂无分享,去创建一个
[1] Sarit Kraus,et al. Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..
[2] Diego Calvanese,et al. The Description Logic Handbook , 2007 .
[3] Joseph Y. Halpern,et al. Plausibility measures and default reasoning , 1996, JACM.
[4] Daniel Lehmann,et al. What does a Conditional Knowledge Base Entail? , 1989, Artif. Intell..
[5] Richard Booth,et al. A propositional typicality logic for extending rational consequence , 2013 .
[6] Jennifer Nacht,et al. Modal Logic An Introduction , 2016 .
[7] Frank Wolter,et al. Handbook of Modal Logic , 2007, Studies in logic and practical reasoning.
[8] Alexandru Baltag,et al. A qualitative theory of dynamic interactive belief revision , 2008 .
[9] Kodylan Moodley,et al. Ordered Interpretations and Entailment for Defeasible Description Logics , 2014 .
[10] Thomas Andreas Meyer,et al. Normal Modal Preferential Consequence , 2012, Australasian Conference on Artificial Intelligence.
[11] Richard E. Ladner,et al. The Computational Complexity of Provability in Systems of Modal Propositional Logic , 1977, SIAM J. Comput..
[12] A. Baltag,et al. Dynamic Belief Revision over Multi-Agent Plausibility Models , 2006 .
[13] Erwin Engeler,et al. Languages with expressions of infinite length , 1966 .
[14] Katarina Britz,et al. Defeasible Modalities , 2013, TARK.
[15] Laura Giordano,et al. A non-monotonic Description Logic for reasoning about typicality , 2013, Artif. Intell..
[16] Philippe Lamarre,et al. On the Connection between Non-monotonic Inference Systems and Conditional Logics , 1992, KR.
[17] Richard Booth,et al. PTL: A Propositional Typicality Logic , 2012, JELIA.
[18] Thomas Andreas Meyer,et al. Preferential Role Restrictions , 2013, Description Logics.
[19] Craig Boutilier,et al. Conditional Logics of Normality: A Modal Approach , 1994, Artif. Intell..
[20] Thomas Andreas Meyer,et al. Modelling Object Typicality in Description Logics , 2009, Description Logics.
[21] Katarina Britz,et al. Context-based defeasible subsumption for dSROIQ , 2017, COMMONSENSE.
[22] Laura Giordano,et al. Preferential Description Logics , 2007, LPAR.
[23] Andreas Herzig,et al. Formalizing Action and Change in Modal Logic I: the frame problem , 1999, J. Log. Comput..
[24] Lars Lindahl,et al. Logical Theory and Semantic Analysis , 1974 .
[25] Thomas Andreas Meyer,et al. Semantic Preferential Subsumption , 2008, KR.
[26] Richard Booth,et al. On the Entailment Problem for a Logic of Typicality , 2015, IJCAI.
[27] James P. Delgrande,et al. An Approach to Default Reasoning Based on a First-Order Conditional Logic: Revised Report , 1987, Artif. Intell..
[28] Keith Lehrer,et al. Knowledge: Undefeated Justified True Belief , 1969 .
[29] Guido Governatori,et al. Possible World Semantics for Defeasible Deontic Logic , 2012, DEON.
[30] Ivan Varzinczak,et al. Causalidade e Dependência em Raciocínio sobre Ações , 2002 .
[31] Robert Stalnaker. A Theory of Conditionals , 2019, Knowledge and Conditionals.
[32] Y. Shoham. Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence , 1987 .
[33] Joseph Y. Halpern,et al. A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..
[34] Edmund L. Gettier. Is Justified True Belief Knowledge? , 1963, Arguing About Knowledge.
[35] Jérôme Lang,et al. From Knowledge-based Programs to Graded Belief-based Programs, Part I: On-line Reasoning* , 2004, Synthese.
[36] Laura Giordano,et al. Analytic tableaux calculi for KLM logics of nonmonotonic reasoning , 2006, TOCL.
[37] Laura Giordano,et al. ALC + T: a Preferential Extension of Description Logics , 2009, Fundam. Informaticae.
[38] Wiebe van der Hoek,et al. Dynamic Epistemic Logic and Knowledge Puzzles , 2007, ICCS.
[39] Donald Nute,et al. Counterfactuals , 1975, Notre Dame J. Formal Log..
[40] B. Hansson. An analysis of some deontic logics , 1969 .
[41] Laura Giordano,et al. Reasoning about Typicality in Preferential Description Logics , 2008, JELIA.
[42] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.
[43] Jelle Gerbrandy,et al. Dynamic epistemic logic , 1998 .
[44] Dimitris Askounis,et al. Knowledge means ‘all’, belief means ‘most’ , 2016, J. Appl. Non Class. Logics.
[45] C. Pollard,et al. Center for the Study of Language and Information , 2022 .
[46] Barteld Kooi,et al. Logic and the foundations of game and decision theory (LOFT 7) , 2008 .
[47] James P. Delgrande,et al. A First-Order Conditional Logic for Prototypical Properties , 1987, Artif. Intell..
[48] Thomas Andreas Meyer,et al. Preferential Reasoning for Modal Logics , 2011, M4M/LAMAS.
[49] Mario R. F. Benevides,et al. On vague notions and modalities: a modular approach , 2010, Log. J. IGPL.
[50] Thomas Andreas Meyer,et al. Semantic Foundation for Preferential Description Logics , 2011, Australasian Conference on Artificial Intelligence.
[51] Katarina Britz,et al. Introducing Role Defeasibility in Description Logics , 2016, JELIA.
[52] Dimitris Askounis,et al. Knowledge Means 'All', Belief Means 'Most' , 2012, JELIA.
[53] Thomas Andreas Meyer,et al. Introducing Defeasibility into OWL Ontologies , 2015, International Semantic Web Conference.
[54] Katarina Britz,et al. Preferential Accessibility and Preferred Worlds , 2018, J. Log. Lang. Inf..
[55] Laura Giordano,et al. Semantic characterization of rational closure: From propositional logic to description logics , 2015, Artif. Intell..
[56] David Makinson,et al. Five faces of minimality , 1993, Stud Logica.
[57] M. de Rijke,et al. Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.
[58] Katarina Britz,et al. Defeasible modes of inference: A preferential perspective , 2012 .
[59] Rajeev Goré,et al. Tableau Methods for Modal and Temporal Logics , 1999 .
[60] Laura Giordano,et al. A Minimal Model Semantics for Nonmonotonic Reasoning , 2012, JELIA.
[61] Andreas Herzig,et al. It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation , 2002, NMR.
[62] David Lewis,et al. Semantic Analyses for Dyadic Deontic Logic , 1974 .