The DLVHEX System

HEX programs extend ASP with external atoms implemented in C++ or Python. DLVHEX is a solver for HEX that permits cyclic reasoning over external atoms and external value invention.

[1]  Peter Schüller,et al.  Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis* , 2017, Theory and Practice of Logic Programming.

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

[3]  Michael Fink,et al.  Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases , 2016, IEEE Transactions on Computational Intelligence and AI in Games.

[4]  Thomas Eiter,et al.  A model building framework for answer set programming with external computations* , 2015, Theory and Practice of Logic Programming.

[5]  Antonius Weinzierl,et al.  Answer Set Programming with External Source Access , 2017, Reasoning Web.

[6]  Stefan Woltran,et al.  Answer set programming unleashed! , 2018, KI - Künstliche Intelligenz.

[7]  Martin Gebser,et al.  Answer Set Programming for Stream Reasoning , 2013, ArXiv.

[8]  Thomas Eiter,et al.  Domain expansion for ASP-programs with external sources , 2016, Artif. Intell..

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