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.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
-
dcterms.isPartOf.title
Kuenstliche Intelligenz
-
tuw.publication.orgunit
E192 - Institut für Logic and Computation
-
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
-
tuw.author.orcid
0000-0001-9776-0417
-
tuw.author.orcid
0000-0002-1837-126X
-
tuw.author.orcid
0000-0003-2040-6123
-
dc.rights.identifier
Urheberrechtsschutz
de
dc.rights.identifier
In Copyright
en
item.languageiso639-1
en
-
item.grantfulltext
open
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_6501
-
item.fulltext
with Fulltext
-
item.openaccessfulltext
Open Access
-
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
-
crisitem.author.dept
E192-03 - Forschungsbereich Knowledge Based Systems
