Answer set programming at a glance
暂无分享,去创建一个
[1] Vladimir Lifschitz,et al. Answer set programming and plan generation , 2002, Artif. Intell..
[2] J. Nelson Rushton,et al. Probabilistic reasoning with answer sets , 2004, Theory and Practice of Logic Programming.
[3] Stefan Woltran,et al. Modularity Aspects of Disjunctive Stable Models , 2007, LPNMR.
[4] Bart Selman,et al. Planning as Satisfiability , 1992, ECAI.
[5] Marina De Vos,et al. Automatic music composition using answer set programming , 2010, Theory and Practice of Logic Programming.
[6] Martin Gebser,et al. Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming , 2010, KR.
[7] V. S. Costa,et al. Theory and Practice of Logic Programming , 2010 .
[8] Michael Gelfond,et al. An A Prolog decision support system for the Space Shuttle , 2001, Answer Set Programming.
[9] Piero A. Bonatti,et al. On finitely recursive programs1 , 2009, Theory and Practice of Logic Programming.
[10] David Pearce,et al. Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning , 2004, JELIA.
[11] Georg Gottlob,et al. On the computational cost of disjunctive logic programming: Propositional case , 1995, Annals of Mathematics and Artificial Intelligence.
[12] Ilkka Niemelä,et al. Developing a Declarative Rule Language for Applications in Product Configuration , 1999, PADL.
[13] Ilkka Niemelä,et al. Logic programs with stable model semantics as a constraint programming paradigm , 1999, Annals of Mathematics and Artificial Intelligence.
[14] Stefan Woltran,et al. A common view on strong, uniform, and other notions of equivalence in answer-set programming* , 2007, Theory and Practice of Logic Programming.
[15] Chitta Baral,et al. Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .
[16] Fangzhen Lin,et al. ASSAT: computing answer sets of a logic program by SAT solvers , 2002, Artif. Intell..
[17] David Pearce,et al. Equilibrium logic , 2006, Annals of Mathematics and Artificial Intelligence.
[18] Michael Gelfond,et al. Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.
[19] Francesco Scarcello,et al. Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation , 1997, Inf. Comput..
[20] Victor W. Marek,et al. The Logic Programming Paradigm: A 25-Year Perspective , 2011 .
[21] Gerald Pfeifer,et al. Design and implementation of aggregate functions in the DLV system* , 2008, Theory and Practice of Logic Programming.
[22] Victor W. Marek,et al. Nonmonotonic logic - context-dependent reasoning , 1997, Artificial intelligence.
[23] Giovambattista Ianni,et al. Computable Functions in ASP: Theory and Implementation , 2008, ICLP.
[24] Miroslaw Truszczynski,et al. Answer Set Optimization , 2003, IJCAI.
[25] Thomas Eiter,et al. Answer Set Programming: A Primer , 2009, Reasoning Web.
[26] Victor W. Marek,et al. Autoepistemic logic , 1991, JACM.
[27] Joohyung Lee,et al. Stable models and circumscription , 2011, Artif. Intell..
[28] Maria Grazia Fugini,et al. Exception Handling for Repair in Service-Based Processes , 2010, IEEE Transactions on Software Engineering.
[29] Hans Tompits,et al. A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming , 2005, IJCAI.
[30] Thomas Eiter,et al. FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols , 2010, TOCL.
[31] Victor W. Marek,et al. Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.
[32] Sergio Greco,et al. atalog: A logic language for expressing search and optimization problems , 2009, Theory and Practice of Logic Programming.
[33] Georg Gottlob,et al. Complexity and expressive power of logic programming , 2001, CSUR.
[34] F. RICCA,et al. Team-building with answer set programming in the Gioia-Tauro seaport , 2011, Theory and Practice of Logic Programming.
[35] Thomas Eiter,et al. Modular Nonmonotonic Logic Programming Revisited , 2009, ICLP.
[36] Axel Polleres,et al. From SPARQL to rules (and back) , 2007, WWW '07.
[37] Ilkka Niemelä,et al. Stable models and difference logic , 2008, Annals of Mathematics and Artificial Intelligence.
[38] David Pearce,et al. Strongly equivalent logic programs , 2001, ACM Trans. Comput. Log..
[39] Marina De Vos,et al. Debugging Logic Programs under the Answer Set Semantics , 2005, Answer Set Programming.
[40] Matti Järvisalo,et al. Testing and debugging techniques for answer set solver development , 2010, Theory and Practice of Logic Programming.
[41] Esra Erdem,et al. Applications of Answer Set Programming in Phylogenetic Systematics , 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning.