PTL: A Propositional Typicality Logic
暂无分享,去创建一个
[1] Daniel Lehmann,et al. What does a Conditional Knowledge Base Entail? , 1989, Artif. Intell..
[2] Dianhui Wang,et al. AI 2011: Advances in Artificial Intelligence - 24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011. Proceedings , 2011, Australasian Conference on Artificial Intelligence.
[3] Thomas Andreas Meyer,et al. Semantic Foundation for Preferential Description Logics , 2011, Australasian Conference on Artificial Intelligence.
[4] Craig Boutilier,et al. Conditional Logics of Normality: A Modal Approach , 1994, Artif. Intell..
[5] Katarina Britz,et al. Semantics for Dual Preferential Entailment , 2009, J. Philos. Log..
[6] Laura Giordano,et al. A Minimal Model Semantics for Nonmonotonic Reasoning , 2012, JELIA.
[7] Laura Giordano,et al. ALC + T: a Preferential Extension of Description Logics , 2009, Fundam. Informaticae.
[8] Katarina Britz,et al. Defeasible modes of inference: A preferential perspective , 2012 .
[9] Peter Gärdenfors,et al. On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.
[10] Thomas Andreas Meyer,et al. Preferential Reasoning for Modal Logics , 2011, M4M/LAMAS.
[11] Hirofumi Katsuno,et al. Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..
[12] Peter Gärdenfors,et al. Nonmonotonic Inference Based on Expectations , 1994, Artif. Intell..
[13] Sarit Kraus,et al. Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..
[14] Gian Luca Pozzato,et al. A minimal model semantics for rational closure , 2012, NMR 2012.
[15] Philippe Lamarre,et al. On the Connection between Non-monotonic Inference Systems and Conditional Logics , 1992, KR.
[16] James P. Delgrande,et al. A First-Order Conditional Logic for Prototypical Properties , 1987, Artif. Intell..