Proceedings 37th International Conference on Logic Programming (Technical Communications)

[1]  Enrico Pontelli,et al.  Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP , 2004, ICLP.

[2]  Gerhard Friedrich,et al.  Industrial Applications of Answer Set Programming , 2018, KI - Künstliche Intelligenz.

[3]  David Pearce,et al.  A New Logical Characterisation of Stable Models and Answer Sets , 1996, NMELP.

[4]  Antonius Weinzierl,et al.  The DLVHEX System , 2018, KI - Künstliche Intelligenz.

[5]  Vladimir Lifschitz,et al.  Thirteen Definitions of a Stable Model , 2010, Fields of Logic and Computation.

[6]  Torsten Schaub,et al.  Towards a Semantics for Hybrid ASP systems , 2021, ArXiv.

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

[8]  Cesare Tinelli,et al.  Satisfiability Modulo Theories , 2021, Handbook of Satisfiability.

[9]  V. Lifschitz,et al.  The Stable Model Semantics for Logic Programming , 1988, ICLP/SLP.

[10]  Torsten Schaub,et al.  Clingo goes linear constraints over reals and integers* , 2017, Theory and Practice of Logic Programming.

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

[12]  Yuliya Lierler,et al.  Relating constraint answer set programming languages and algorithms , 2014, Artif. Intell..

[13]  A. Heyting.  Die formalen Regeln der intuitionistischen Logik , 1930 .

[14]  Torsten Schaub,et al.  An ASP Semantics for Default Reasoning with Constraints , 2016, IJCAI.

[15]  Torsten Schaub,et al.  A Tutorial on Hybrid Answer Set Solving with clingo , 2017, RW.

[16]  Martin Gebser,et al.  Constraint Answer Set Solving , 2009, ICLP.

[17]  Toby Walsh,et al.  A translational approach to constraint answer set solving , 2010, Theory Pract. Log. Program..

[18]  Torsten Schaub,et al.  Clingcon: The next generation* , 2017, Theory and Practice of Logic Programming.

[19]  Thomas Eiter,et al.  Constraint Answer Set Programming Based on HEX-Programs ? , 2015 .