The final publication is available via <a href="https://doi.org/10.1007/s13218-018-0535-y" target="_blank">https://doi.org/10.1007/s13218-018-0535-y</a>.
-
dc.description.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.
en
dc.description.sponsorship
Austrian Science Funds (FWF)
-
dc.language
English
-
dc.language.iso
en
-
dc.publisher
Springer
-
dc.relation.ispartof
Kuenstliche Intelligenz
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Answer set programming
en
dc.subject
External source access
en
dc.subject
Nonmonotonic reasoning
en
dc.title
The DLVHEX System
en
dc.type
Article
en
dc.type
Artikel
de
dc.rights.license
Urheberrechtsschutz
de
dc.rights.license
In Copyright
en
dc.contributor.affiliation
University of Calabria, Italy
-
dc.relation.grantno
W1255-N23
-
dc.relation.grantno
P27730
-
dc.rights.holder
Springer Nature Switzerland AG 2018
-
dc.type.category
Other Contribution
-
tuw.journal.peerreviewed
true
-
tuw.peerreviewed
false
-
tuw.version
am
-
wb.publication.intCoWork
International Co-publication
-
dcterms.isPartOf.title
Kuenstliche Intelligenz
-
tuw.publication.orgunit
E192-03 - Forschungsbereich Knowledge Based Systems
-
tuw.publisher.doi
10.1007/s13218-018-0535-y
-
dc.identifier.eissn
1610-1987
-
dc.identifier.libraryid
AC15328411
-
dc.identifier.urn
urn:nbn:at:at-ubtuw:3-5321
-
tuw.author.orcid
0000-0001-6003-6345
-
dc.rights.identifier
Urheberrechtsschutz
de
dc.rights.identifier
In Copyright
en
item.languageiso639-1
en
-
item.openairecristype
http://purl.org/coar/resource_type/c_6501
-
item.grantfulltext
open
-
item.cerifentitytype
Publications
-
item.fulltext
with Fulltext
-
item.openaccessfulltext
Open Access
-
crisitem.author.dept
E192 - Institut für Logic and Computation
-
crisitem.author.dept
University of Calabria
-
crisitem.author.dept
E192-03 - Forschungsbereich Knowledge Based Systems
-
crisitem.author.dept
E192-03 - Forschungsbereich Knowledge Based Systems
-
crisitem.author.dept
E192-03 - Forschungsbereich Knowledge Based Systems
-
crisitem.author.dept
E192-03 - Forschungsbereich Knowledge Based Systems
