The DLVHEX System

Tutkimustuotos: Lehtiartikkelivertaisarvioitu

Tutkijat

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

Organisaatiot

  • Vienna University of Technology
  • University of Calabria

Kuvaus

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.

Yksityiskohdat

AlkuperäiskieliEnglanti
Sivut187–189
Sivumäärä2
JulkaisuKUENSTLICHE INTELLIGENZ
Vuosikerta32
Numero2-3
TilaJulkaistu - elokuuta 2018
OKM-julkaisutyyppiA1 Julkaistu artikkeli, soviteltu

ID: 21593757