Abstract
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.
Similar content being viewed by others
References
Schaub T, Woltran S (2018) Answer set programming unleashed! KI (forthcoming)
Calimeri F, Fink M, Germano S, Humenberger A, Ianni G, Redl C, Stepanova D, Tucci A, Wimmer A (2016) Angry-HEX: an artificial player for angry birds based on declarative knowledge bases. IEEE Trans Comput Intell AI Games 8(2):128–139
Do TM, Loke SW, Liu F (2011) Answer set programming for stream reasoning. In: Proceedings of Canadian conference on artificial intelligence, pp 104–109
Cuteri B, Dodaro C, Ricca F, Schüller P (2017) Constraints, lazy constraints, or propagators in ASP solving: an empirical analysis. Theory Pract Logic Program 17(5–6):780–799
Eiter T, Fink M, Ianni G, Krennwallner T, Redl C, Schüller P (2016) A model building framework for answer set programming with external computations. Theory Pract Logic Program 16(04):418–464
Eiter T, Fink M, Krennwallner T, Redl C (2016) Domain expansion for ASP-programs with external sources. Artif Intell 233:84–121
Eiter T, Kaminski T, Redl C, Schüller P, Weinzierl A (2017) Answer set programming with external source access. Reason Web LNCS 10370:204–275
Erdem E, Gelfond M, Leone N (2016) Applications of answer set programming. AI Mag 37(3):53–68
Gebser M, Kaminski R, Kaufmann B, Ostrowski M, Schaub T, Wanko P (2016) Theory solving made easy with clingo 5. In: ICLP (Tech. Comm.), OASIcs, vol 52, pp 2:1–2:15
Author information
Authors and Affiliations
Corresponding author
Additional information
This research has been supported by the Austrian Science Fund (FWF) projects P27730 and W1255-N23.
Rights and permissions
About this article
Cite this article
Eiter, T., Germano, S., Ianni, G. et al. The DLVHEX System. Künstl Intell 32, 187–189 (2018). https://doi.org/10.1007/s13218-018-0535-y
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13218-018-0535-y