Conflict-Driven Answer Set Solving
暂无分享,去创建一个
Martin Gebser | Torsten Schaub | Benjamin Kaufmann | André Neumann | B. Kaufmann | Torsten Schaub | M. Gebser | A. Neumann
[1] Niklas Sörensson,et al. An Extensible SAT-solver , 2003, SAT.
[2] David G. Mitchell,et al. A SAT Solver Primer , 2005, Bull. EATCS.
[3] Kenneth A. Ross,et al. The well-founded semantics for general logic programs , 1991, JACM.
[4] Yuliya Lierler,et al. Answer Set Programming Based on Propositional Satisfiability , 2006, Journal of Automated Reasoning.
[5] Wolfgang Faber,et al. A backjumping technique for Disjunctive Logic Programming , 2006, AI Commun..
[6] Eugene Goldberg,et al. BerkMin: A Fast and Robust Sat-Solver , 2002, Discret. Appl. Math..
[7] Joohyung Lee,et al. A Model-Theoretic Counterpart of Loop Formulas , 2005, IJCAI.
[8] Wolfgang Faber,et al. The DLV system for knowledge representation and reasoning , 2002, TOCL.
[9] Arthur B. Markman,et al. Knowledge Representation , 1998 .
[10] Lawrence Ryan. Efficient algorithms for clause-learning SAT solvers , 2004 .
[11] Peter Szolovits,et al. What Is a Knowledge Representation? , 1993, AI Mag..
[12] Sharad Malik,et al. Chaff: engineering an efficient SAT solver , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
[13] Timo Soininen,et al. Extending and implementing the stable model semantics , 2000, Artif. Intell..
[14] Dan Suciu,et al. Journal of the ACM , 2006 .
[15] François Fages,et al. Consistency of Clark's completion and existence of stable models , 1992, Methods Log. Comput. Sci..
[16] Roman Barták,et al. Constraint Processing , 2009, Encyclopedia of Artificial Intelligence.
[17] Chitta Baral,et al. Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .
[18] Martin Gebser,et al. Tableau Calculi for Answer Set Programming , 2006, ICLP.
[19] Fangzhen Lin,et al. ASSAT: computing answer sets of a logic program by SAT solvers , 2002, Artif. Intell..
[20] Martin Gebser,et al. Approaching the core of unfounded sets , 2006 .
[21] John S. Schlipf,et al. Answer Set Programming with Clause Learning , 2004, LPNMR.
[22] Adrian Walker,et al. Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..
[23] Yuanlin Zhang,et al. Fast SAT-based Answer Set Solver , 2006, AAAI.
[24] Alexander A. Razborov,et al. Why are there so many loop formulas? , 2006, TOCL.