ASP-Core-2 Input Language Format

Abstract Standardization of solver input languages has been a main driver for the growth of several areas within knowledge representation and reasoning, fostering the exploitation in actual applications. In this document, we present the ASP-CORE-2 standard input language for Answer Set Programming, which has been adopted in ASP Competition events since 2013.

[1]  Peter J. Stuckey,et al.  Semantics of Logic Programs with Aggregates , 1991, ISLP.

[2]  Allen Van Gelder,et al.  The well-founded semantics of aggregation , 1992, PODS.

[3]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[4]  Kenneth A. Ross,et al.  Monotonic Aggregation in Deductive Database , 1997, J. Comput. Syst. Sci..

[5]  Georg Gottlob,et al.  Complexity and expressive power of logic programming , 2001, CSUR.

[6]  Maurice Bruynooghe,et al.  Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates , 2001, ICLP.

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

[8]  Michael Gelfond,et al.  Representing Knowledge in A-Prolog , 2002, Computational Logic: Logic Programming and Beyond.

[9]  Wolfgang Faber,et al.  Aggregate Functions in DLV , 2003, Answer Set Programming.

[10]  Nikolay Pelov,et al.  Semantics of logic programs with aggregates , 2004 .

[11]  Maurice Bruynooghe,et al.  Partial Stable Models for Logic Programs with Aggregates , 2004, LPNMR.

[12]  Miroslaw Truszczynski,et al.  Semantics of disjunctive programs with monotone aggregates - an operator-based approach , 2004, NMR.

[13]  Wolfgang Faber,et al.  Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity , 2004, JELIA.

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

[15]  Rina Dechter,et al.  Propositional semantics for disjunctive logic programs , 1994, Annals of Mathematics and Artificial Intelligence.

[16]  Wolfgang Faber,et al.  What should an ASP solver output? : a multiple position paper , 2007 .

[17]  Maurice Bruynooghe,et al.  Well-founded and stable semantics of logic programs with aggregates , 2007, Theory Pract. Log. Program..

[18]  Mauricio Osorio,et al.  Aggregation and negation-as-failure , 2009, New Generation Computing.

[19]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

[20]  Mario Alviano,et al.  Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates , 2011, J. Artif. Intell. Res..

[21]  Wolfgang Faber,et al.  Semantics and complexity of recursive aggregates in answer set programming , 2011, Artif. Intell..

[22]  Miroslaw Truszczynski,et al.  Answer set programming at a glance , 2011, Commun. ACM.

[23]  Giovambattista Ianni,et al.  Third ASP Competition File and language formats , 2011 .

[24]  Giovambattista Ianni,et al.  Finitely recursive programs: Decidability and bottom-up computation , 2011, AI Commun..

[25]  Giovambattista Ianni,et al.  The third open answer set programming competition , 2012, Theory and Practice of Logic Programming.

[26]  Michael Gelfond,et al.  Vicious Circle Principle and Logic Programs with Aggregates , 2014, Theory and Practice of Logic Programming.

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

[28]  Mario Alviano,et al.  Rewriting recursive aggregates in answer set programming: back to monotonicity , 2015, Theory and Practice of Logic Programming.

[29]  Martin Gebser,et al.  The Design of the Sixth Answer Set Programming Competition - - Report - , 2014, LPNMR.

[30]  Nicola Leone,et al.  Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications , 2015, Reasoning Web.

[31]  Michael Gelfond,et al.  Applications of Answer Set Programming , 2016, AI Mag..

[32]  Yuliya Lierler,et al.  Systems, Engineering Environments, and Competitions , 2016, AI Mag..

[33]  Martin Gebser,et al.  Design and results of the Fifth Answer Set Programming Competition , 2016, Artif. Intell..

[34]  Martin Gebser,et al.  Theory Solving Made Easy with Clingo 5 , 2016, ICLP.

[35]  Martin Gebser,et al.  The Sixth Answer Set Programming Competition , 2017, J. Artif. Intell. Res..

[36]  Martin Gebser,et al.  The Design of the Seventh Answer Set Programming Competition , 2017, LPNMR.

[37]  Martin Gebser,et al.  Evaluation Techniques and Systems for Answer Set Programming: a Survey , 2018, IJCAI.

[38]  Martin Gebser,et al.  Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming , 2018, Theory Pract. Log. Program..

[39]  Vladimir Lifschitz,et al.  Relating Two Dialects of Answer Set Programming , 2019, Theory Pract. Log. Program..