The DLVHEX System

Research output: Contribution to journalArticleScientificpeer-review

Researchers

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

Research units

  • Vienna University of Technology
  • University of Calabria

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.

Details

Original languageEnglish
Pages (from-to)187–189
Number of pages2
JournalKUENSTLICHE INTELLIGENZ
Volume32
Issue number2-3
Publication statusPublished - Aug 2018
MoE publication typeA1 Journal article-refereed

    Research areas

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

ID: 21593757