Knowledge Compilation for Description Knowledge Compilation for Description
暂无分享，去创建一个
[1] Bart Selman,et al. Knowledge compilation and theory approximation , 1996, JACM.
[2] Adnan Darwiche,et al. DPLL with a Trace: From SAT to Knowledge Compilation , 2005, IJCAI.
[3] Neil V. Murray,et al. Dissolution: making paths vanish , 1993, JACM.
[4] Peter Balsiger,et al. Comparison of Theorem Provers for Modal Logics - Introduction and Summary , 1998, TABLEAUX.
[5] Ian Horrocks,et al. Implementation and Optimization Techniques , 2003, Description Logic Handbook.
[6] Ian Horrocks,et al. The GRAIL concept modelling language for medical terminology , 1997, Artif. Intell. Medicine.
[7] Robert M. MacGregor,et al. Inside the LOOM description classifier , 1991, SGAR.
[8] Ian Horrocks,et al. Using an Expressive Description Logic: FaCT or Fiction? , 1998, KR.
[9] Adnan Darwiche,et al. Decomposable negation normal form , 2001, JACM.
[10] Werner Nutt,et al. Basic Description Logics , 2003, Description Logic Handbook.
[11] Adnan Darwiche,et al. A Logical Approach to Factoring Belief Networks , 2002, KR.
[12] Peter F. Patel-Schneider,et al. The CLASSIC knowledge representation system: guiding principles and implementation rationale , 1991, SGAR.