On the Input Language of ASP Grounder Gringo

We report on recent advancements in the development of grounder Gringo for logic programs under answer set semantics. Like its relatives, DLV and Lparse , Gringo has in the meantime reached maturity and offers a rich modeling language to program developers. The attractiveness of Gringo is fostered by the fact that it significantly extends the input language of Lparse while supporting a compatible output format, recognized by many state-of-the-art ASP solvers.

[1]  Martin Gebser,et al.  Detecting Inconsistencies in Large Biological Networks with Answer Set Programming , 2008, ICLP.

[2]  Martin Gebser,et al.  A Versatile Intermediate Language for Answer Set Programming , 2008 .

[3]  Alessandra Mileo,et al.  A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living , 2008, ICLP.

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

[5]  Gerald Pfeifer,et al.  Design and implementation of aggregate functions in the DLV system* , 2008, Theory and Practice of Logic Programming.

[6]  Timo Soininen,et al.  Extending and implementing the stable model semantics , 2000, Artif. Intell..

[7]  Chitta Baral,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .

[8]  Michael Thielscher.  Answer Set Programming for Single-Player Games in General Game Playing , 2009, ICLP.

[9]  Martin Gebser,et al.  Engineering an Incremental ASP Solver , 2008, ICLP.

[10]  Martin Gebser,et al.  GrinGo : A New Grounder for Answer Set Programming , 2007, LPNMR.

[11]  Vladimir Lifschitz,et al.  Weight constraints as nested expressions , 2003, Theory and Practice of Logic Programming.

[12]  John S. Schlipf,et al.  The Expressive Powers of the Logic Programming Semantics , 1995, J. Comput. Syst. Sci..

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

[14]  Michael Gelfond,et al.  Logic programming and knowledge representation—The A-Prolog perspective , 2002 .

[15]  Miroslaw Truszczynski,et al.  The First Answer Set Programming System Competition , 2007, LPNMR.

[16]  Vladimir Lifschitz,et al.  Answer set programming and plan generation , 2002, Artif. Intell..

[17]  Wolfgang Faber,et al.  The DLV system for knowledge representation and reasoning , 2002, TOCL.

[18]  Joohyung Lee,et al.  Circumscriptive Event Calculus as Answer Set Programming , 2009, IJCAI.

[19]  Paolo Ferraris,et al.  Answer Sets for Propositional Theories , 2005, LPNMR.

[20]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

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

[22]  Tommi Syrjänen.  Omega-Restricted Logic Programs , 2001, LPNMR.

[23]  Marina De Vos,et al.  Automatic Composition of Melodic and Harmonic Music by Answer Set Programming , 2008, ICLP.

[24]  Giorgio Terracina,et al.  Experiencing ASP with Real World Applications , 2008, RCRA.