Achievements in answer set programming*

This paper describes an approach to the methodology of answer set programming (ASP) that can facilitate the design of encodings that are easy to understand and provably correct. Under this approach, after appending a rule or a small group of rules to the emerging program we include a comment that states what has been "achieved" so far. This strategy allows us to set out our understanding of the design of the program by describing the roles of small parts of the program in a mathematically precise way.

[1]  Martin Gebser,et al.  Abstract gringo , 2015, Theory Pract. Log. Program..

[2]  Ilkka Niemelä,et al.  Logic programs with stable model semantics as a constraint programming paradigm , 1999, Annals of Mathematics and Artificial Intelligence.

[3]  Martin Gebser,et al.  Answer Set Solving in Practice , 2012, Answer Set Solving in Practice.

[4]  Esra Erdem,et al.  Inferring Phylogenetic Trees Using Answer Set Programming , 2007, Journal of Automated Reasoning.

[5]  Andreas Pfandler,et al.  Democratix: A Declarative Approach to Winner Determination , 2015, ADT.

[6]  Daniel Gooch,et al.  Communications of the ACM , 2011, XRDS.

[7]  Vladimir Lifschitz,et al.  Representing Transition Systems by Logic Programs , 1999, LPNMR.

[8]  M. Golumbic.  Annals of Mathematics and Artificial Intelligence , 2004, Annals of Mathematics and Artificial Intelligence.

[9]  Stephan Merz,et al.  Journal of Automated Reasoning Special Issue: Formal Modeling and Verification of Critical Systems , 2008 .

[10]  Michael Gelfond,et al.  Towards a Theory of Elaboration Tolerance: Logic Programming Approach , 1996, Int. J. Softw. Eng. Knowl. Eng..

[11]  F. Pfenning.  Theory and Practice of Logic Programming , 2014 .

[12]  Michael Gelfond,et al.  Representing Action and Change by Logic Programs , 1993, J. Log. Program..

[13]  Victor W. Marek,et al.  The Logic Programming Paradigm: A 25-Year Perspective , 2011 .

[14]  Katsumi Inoue,et al.  Event-sequence testing using answer-set programming , 2012 .

[15]  Edsger W. Dijkstra,et al.  The humble programmer , 1972, CACM.

[16]  Michael Gelfond,et al.  Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach , 2014 .

[17]  Victor W. Marek,et al.  Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.

[18]  Michael Gelfond,et al.  Logic Programs with Classical Negation , 1990, ICLP.

[19]  Gerald Pfeifer,et al.  The KR System dlv: Progress Report, Comparisons and Benchmarks , 1998, KR.