The DLVHEX System

Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl

Research output: Contribution to journalArticleScientificpeer-review

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.
Original languageEnglish
Pages (from-to)187–189
Number of pages2
JournalKUENSTLICHE INTELLIGENZ
Volume32
Issue number2-3
DOIs
Publication statusPublished - Aug 2018
MoE publication typeA1 Journal article-refereed

Keywords

  • Answer set programmingAnswer set programming
  • External source access
  • Nonmonotonic reasoning

Fingerprint Dive into the research topics of 'The DLVHEX System'. Together they form a unique fingerprint.

Cite this