The DLVHEX System

Research output: Contribution to journalArticle

Standard

The DLVHEX System. / Eiter, Thomas; Germano, Stefano; Ianni, Giovambattista; Kaminski, Tobias; Redl, Christoph; Schüller, Peter; Weinzierl, Antonius.

In: KUENSTLICHE INTELLIGENZ, Vol. 32, No. 2-3, 08.2018, p. 187–189.

Research output: Contribution to journalArticle

Harvard

Eiter, T, Germano, S, Ianni, G, Kaminski, T, Redl, C, Schüller, P & Weinzierl, A 2018, 'The DLVHEX System', KUENSTLICHE INTELLIGENZ, vol. 32, no. 2-3, pp. 187–189. https://doi.org/10.1007/s13218-018-0535-y

APA

Eiter, T., Germano, S., Ianni, G., Kaminski, T., Redl, C., Schüller, P., & Weinzierl, A. (2018). The DLVHEX System. KUENSTLICHE INTELLIGENZ, 32(2-3), 187–189. https://doi.org/10.1007/s13218-018-0535-y

Vancouver

Eiter T, Germano S, Ianni G, Kaminski T, Redl C, Schüller P et al. The DLVHEX System. KUENSTLICHE INTELLIGENZ. 2018 Aug;32(2-3):187–189. https://doi.org/10.1007/s13218-018-0535-y

Author

Eiter, Thomas ; Germano, Stefano ; Ianni, Giovambattista ; Kaminski, Tobias ; Redl, Christoph ; Schüller, Peter ; Weinzierl, Antonius. / The DLVHEX System. In: KUENSTLICHE INTELLIGENZ. 2018 ; Vol. 32, No. 2-3. pp. 187–189.

Bibtex - Download

@article{64e40c4569b54cc89040851d3e316612,
title = "The DLVHEX System",
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.",
keywords = "Answer set programmingAnswer set programming, External source access, Nonmonotonic reasoning",
author = "Thomas Eiter and Stefano Germano and Giovambattista Ianni and Tobias Kaminski and Christoph Redl and Peter Sch{\"u}ller and Antonius Weinzierl",
year = "2018",
month = "8",
doi = "10.1007/s13218-018-0535-y",
language = "English",
volume = "32",
pages = "187–189",
journal = "KUENSTLICHE INTELLIGENZ",
issn = "0933-1875",
number = "2-3",

}

RIS - Download

TY - JOUR

T1 - The DLVHEX System

AU - Eiter, Thomas

AU - Germano, Stefano

AU - Ianni, Giovambattista

AU - Kaminski, Tobias

AU - Redl, Christoph

AU - Schüller, Peter

AU - Weinzierl, Antonius

PY - 2018/8

Y1 - 2018/8

N2 - 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.

AB - 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.

KW - Answer set programmingAnswer set programming

KW - External source access

KW - Nonmonotonic reasoning

U2 - 10.1007/s13218-018-0535-y

DO - 10.1007/s13218-018-0535-y

M3 - Article

VL - 32

SP - 187

EP - 189

JO - KUENSTLICHE INTELLIGENZ

JF - KUENSTLICHE INTELLIGENZ

SN - 0933-1875

IS - 2-3

ER -

ID: 21593757