Title: The DLVHEX System
Language: English
Authors: Eiter, Thomas 
Germano, Stefano 
Ianni, Giovambattista 
Kaminski, Tobias
Redl, Christoph
Schüller, Peter 
Weinzierl, Antonius
Category: Other Contribution
Sonstiger Beitrag
Keywords: Answer set programming; External source access; Nonmonotonic reasoning
Issue Date: 2018
Journal: KI - Künstliche Intelligenz
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.
DOI: 10.1007/s13218-018-0535-y
Library ID: AC15328411
URN: urn:nbn:at:at-ubtuw:3-5321
ISSN: 1610-1987
Organisation: E192 - Institut für Logic and Computation 
Publication Type: Article
Artikel
Appears in Collections:Article

Files in this item:

File Description SizeFormat
The DLVHEX System.pdf211.66 kBAdobe PDFThumbnail
 View/Open
Show full item record

Page view(s)

95
checked on Feb 26, 2021

Download(s)

75
checked on Feb 26, 2021

Google ScholarTM

Check


Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.