<div class="csl-bib-body">
<div class="csl-entry">Eiter, T., & Kaminski, T. D. (2019). Pruning External Minimality Checking for ASP Using Semantic Dependencies. In M. Balduccini, Y. Lierler, & S. Woltran (Eds.), <i>Logic Programming and Nonmonotonic Reasoning</i> (pp. 326–339). Springer. https://doi.org/10.34726/721</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/16727
-
dc.identifier.uri
https://doi.org/10.34726/721
-
dc.description.abstract
HEX-programs integrate external computations in ASP. For HEX-evaluation, an external (e)-minimality check is required to prevent cyclic justifications via external sources. As the check is a bottleneck in practice, syntactic information about atom dependencies has been used previously to detect when the check can be avoided. However, the approach largely overapproximates the real dependencies due to the black-box nature of external sources. We show how the dependencies can be approximated more closely by exploiting semantic information, which significantly increases pruning of e-minimality checking. Moreover, we analyze checking and optimization of semantic dependency information. An empirical evaluation exhibits a clear benefit of this approach.
en
dc.description.sponsorship
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
-
dc.description.sponsorship
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
-
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Knowledge Representation and Reasoning
en
dc.subject
Logic Programming
en
dc.subject
Answer Set Programming
en
dc.title
Pruning External Minimality Checking for ASP Using Semantic Dependencies
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.rights.license
Urheberrechtsschutz
de
dc.rights.license
In Copyright
en
dc.identifier.doi
10.34726/721
-
dc.relation.isbn
978-3-030-20528-7
-
dc.relation.doi
10.1007/978-3-030-20528-7
-
dc.description.startpage
326
-
dc.description.endpage
339
-
dc.relation.grantno
P 27730-N23
-
dc.relation.grantno
W 1255-N23
-
dcterms.dateSubmitted
2019
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
Logic Programming and Nonmonotonic Reasoning
-
tuw.container.volume
11481
-
tuw.peerreviewed
true
-
tuw.book.ispartofseries
Lecture Notes in Computer Science
-
tuw.relation.publisher
Springer
-
tuw.version
am
-
tuw.project.title
Integrated Evaluation of Answer Set Programs and Extensions
-
tuw.project.title
LogiCS doctoral program
-
tuw.publication.orgunit
E192 - Institut für Logic and Computation
-
tuw.publisher.doi
10.1007/978-3-030-20528-7_24
-
dc.description.numberOfPages
14
-
tuw.author.orcid
0000-0001-6003-6345
-
dc.rights.identifier
Urheberrechtsschutz
de
dc.rights.identifier
In Copyright
en
tuw.editor.orcid
0000-0001-5445-3054
-
tuw.editor.orcid
0000-0002-6146-623X
-
tuw.relation.issn
0302-9743
-
tuw.relation.eissn
1611-3349
-
item.languageiso639-1
en
-
item.fulltext
with Fulltext
-
item.openaccessfulltext
Open Access
-
item.mimetype
application/pdf
-
item.openairetype
conference paper
-
item.grantfulltext
open
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.cerifentitytype
Publications
-
crisitem.author.dept
E192 - Institut für Logic and Computation
-
crisitem.author.dept
E192-03 - Forschungsbereich Knowledge Based Systems
-
crisitem.author.orcid
0000-0001-6003-6345
-
crisitem.author.parentorg
E180 - Fakultät für Informatik
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.project.funder
FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
-
crisitem.project.funder
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)