Answer set programming at a glance

The motivation and key concepts behind answer set programming---a promising approach to declarative problem solving.

[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.