Using Defeasible Information to Obtain Coherence
暂无分享,去创建一个
[1] Peter Gärdenfors,et al. On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.
[2] Gabriele Kern-Isberner,et al. Linking Iterated Belief Change Operations to Nonmonotonic Reasoning , 2008, KR.
[3] Sven Ove Hansson,et al. A textbook of belief dynamics - theory change and database updating , 1999, Applied logic series.
[4] Laura Giordano,et al. A non-monotonic Description Logic for reasoning about typicality , 2013, Artif. Intell..
[5] Matthew Horridge,et al. Justification based explanation in ontologies , 2012 .
[6] Daniel Lehmann,et al. What does a Conditional Knowledge Base Entail? , 1989, Artif. Intell..
[7] Daniel Lehmann,et al. Another perspective on default reasoning , 1995, Annals of Mathematics and Artificial Intelligence.
[8] Sarit Kraus,et al. Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..
[9] Diego Calvanese,et al. The Description Logic Handbook , 2007 .
[10] Umberto Straccia,et al. Lexicographic Closure for Defeasible Description Logics , 2012 .
[11] Thomas Lukasiewicz,et al. Expressive probabilistic description logics , 2008, Artif. Intell..
[12] Thomas Andreas Meyer,et al. Relevant Closure: A New Form of Defeasible Reasoning for Description Logics , 2014, JELIA.
[13] Umberto Straccia,et al. Defeasible Inheritance-Based Description Logics , 2013, J. Artif. Intell. Res..
[14] Laura Giordano,et al. Semantic characterization of rational closure: From propositional logic to description logics , 2015, Artif. Intell..
[15] Guilin Qi,et al. Measuring Incoherence in Description Logic-Based Ontologies , 2007, ISWC/ASWC.