KI - Künstliche Intelligenz

, Volume 32, Issue 2–3, pp 187–189 | Cite as

The DLVHEX System

  • Thomas Eiter
  • Stefano Germano
  • Giovambattista Ianni
  • Tobias KaminskiEmail author
  • Christoph Redl
  • Peter Schüller
  • Antonius Weinzierl
Systems Description


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.


Answer set programming External source access Nonmonotonic reasoning 


  1. 1.
    Schaub T, Woltran S (2018) Answer set programming unleashed! KI (forthcoming) Google Scholar
  2. 2.
    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–139CrossRefGoogle Scholar
  3. 3.
    Do TM, Loke SW, Liu F (2011) Answer set programming for stream reasoning. In: Proceedings of Canadian conference on artificial intelligence, pp 104–109Google Scholar
  4. 4.
    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–799MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    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–464MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Eiter T, Fink M, Krennwallner T, Redl C (2016) Domain expansion for ASP-programs with external sources. Artif Intell 233:84–121MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Eiter T, Kaminski T, Redl C, Schüller P, Weinzierl A (2017) Answer set programming with external source access. Reason Web LNCS 10370:204–275Google Scholar
  8. 8.
    Erdem E, Gelfond M, Leone N (2016) Applications of answer set programming. AI Mag 37(3):53–68CrossRefGoogle Scholar
  9. 9.
    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:15Google Scholar

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Institut für Logic and ComputationTU WienViennaAustria
  2. 2.Department of Mathematics and Computer ScienceUniversity of Calabria (UNICAL)RendeItaly

Personalised recommendations