Enumerating Justifications using Resolution
暂无分享,去创建一个
[1] Pavel Klinov,et al. Goal-Directed Tracing of Inferences in EL Ontologies , 2014, Description Logics.
[2] Rafael Peñaloza,et al. Efficient Axiom Pinpointing in EL using SAT Technology , 2016, Description Logics.
[3] Raymond Reiter,et al. A Theory of Diagnosis from First Principles , 1986, Artif. Intell..
[4] Bijan Parsia,et al. Debugging OWL ontologies , 2005, WWW '05.
[5] Franz Baader,et al. Pushing the EL Envelope , 2005, IJCAI.
[6] Yevgeny Kazakov,et al. From Polynomial Procedures to Efficient Reasoning with EL Ontologies , 2013 .
[7] Joao Marques-Silva,et al. MaxSAT-Based MCS Enumeration , 2012, Haifa Verification Conference.
[8] Ian Horrocks,et al. Consequence-Based Reasoning beyond Horn Ontologies , 2011, IJCAI.
[9] Franz Baader,et al. Efficient Reasoning in EL+ , 2006, Description Logics.
[10] Maria Luisa Bonet,et al. SAT-based MaxSAT algorithms , 2013, Artif. Intell..
[11] Joao Marques-Silva,et al. Efficient Axiom Pinpointing with EL2MCS , 2015, KI.
[12] Markus Krötzsch,et al. The Incredible ELK , 2013, Journal of Automated Reasoning.
[13] Roberto Sebastiani,et al. Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis , 2009, CADE.
[14] Harald Ganzinger,et al. Resolution Theorem Proving , 2001, Handbook of Automated Reasoning.
[15] Michele Vescovi,et al. Exploiting SAT and SMT Techniques for Automated Reasoning and Ontology Manipulation in Description Logics , 2011 .
[16] Rafael Peñaloza,et al. Pinpointing in the Description Logic EL , 2007, Description Logics.
[17] Rafael Peñaloza,et al. BEACON: An Efficient SAT-Based Tool for Debugging EL^+ Ontologies , 2016, SAT.
[18] Joao Marques-Silva,et al. Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing , 2015, SAT.
[19] Yevgeny Kazakov,et al. Consequence-Driven Reasoning for Horn SHIQ Ontologies , 2009, IJCAI.
[20] Stephan Schulz,et al. Simple and Efficient Clause Subsumption with Feature Vector Indexing , 2013, Automated Reasoning and Mathematics.
[21] Bijan Parsia,et al. Finding All Justifications of OWL DL Entailments , 2007, ISWC/ASWC.
[22] Aditya Kalyanpur,et al. Debugging and Repair of OWL Ontologies , 2006 .
[23] Russell Greiner,et al. A Correction to the Algorithm in Reiter's Theory of Diagnosis , 1989, Artif. Intell..
[24] Matthew Horridge,et al. Justification based explanation in ontologies , 2012 .
[25] Cordell Green. Theorem-Proving by Resolution as a Basis for Question-Answering Systems , 2010 .
[26] Ulrich Junker,et al. QUICKXPLAIN: Preferred Explanations and Relaxations for Over-Constrained Problems , 2004, AAAI.