<div class="csl-bib-body">
<div class="csl-entry">Faber, W., & Woltran, S. (2009). Manifold Answer-Set Programs for Meta-reasoning. In E. Erdem, F. Lin, & T. Schaub (Eds.), <i>Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings</i> (pp. 115–128). Springer. https://doi.org/10.1007/978-3-642-04238-6_12</div>
</div>
-
dc.identifier.isbn
9783642042379
-
dc.identifier.isbn
9783642042386
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/52760
-
dc.description.abstract
In answer-set programming (ASP), the main focus usually is on computing answer sets which correspond to solutions to the problem represented by a logic program. Simple reasoning over answer sets is sometimes supported by ASP systems (usually in the form of computing brave or cautious consequences), but slightly more involved reasoning problems require external postprocessing.
Generally speaking, it is often desirable to use (a subset of) brave or cautious consequences of a program P1 as input to another program P2 in order to provide the desired solutions to the problem to be solved. In practice, the evaluation of the program P1 currently has to be decoupled from the evaluation of P2 using an intermediate step which collects the desired consequences of P1 and provides them as input to P2. In this work, we present a novel method for representing
such a procedure within a single program, and thus within the realm of ASP itself. Our technique relies on rewriting P1 into a so-called manifold program, which allows for accessing all desired consequences of P1 within a single answer set. Then, this manifold program can be evaluated jointly with P2 avoiding any intermediate computation step. For determining the consequences within the manifold program we use weak constraints, which is strongly motivated by complexity considerations. As an application, we present an encoding for omputing
the ideal extension of an abstract argumentation framework.
en
dc.description.sponsorship
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
-
dc.description.sponsorship
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
-
dc.language.iso
en
-
dc.publisher
Springer
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.title
Manifold Answer-Set Programs for Meta-reasoning
en
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.isbn
978-3-642-04237-9
-
dc.relation.doi
10.1007/978-3-642-04238-6
-
dc.relation.issn
0302-9743
-
dc.description.startpage
115
-
dc.description.endpage
128
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
dc.publisher.place
5753
-
tuw.booktitle
Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings
-
tuw.peerreviewed
true
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Berlin, Heidelberg
-
tuw.project.title
Theoretical Tractability vs. Practical Computation
-
tuw.project.title
New Methods for Analyzing, Comparing, and Solving Argumentation Problems
-
tuw.researchTopic.id
C5
-
tuw.researchTopic.name
Computer Science Foundations
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
tuw.publisher.doi
10.1007/978-3-642-04238-6_12
-
dc.description.numberOfPages
14
-
tuw.event.name
10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)
-
tuw.event.startdate
14-09-2009
-
tuw.event.enddate
18-09-2009
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Potsdam, Germany
-
tuw.event.place
Potsdam, Germany
-
tuw.event.country
EU
-
tuw.event.presenter
Faber, Wolfgang
-
wb.sciencebranch
Mathematik, Informatik
-
wb.sciencebranch.oefos
11
-
wb.presentation.type
science to science/art to art
-
item.languageiso639-1
en
-
item.openairetype
conference paper
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
crisitem.author.dept
E192-03 - Forschungsbereich Knowledge Based Systems
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
crisitem.author.orcid
0000-0003-1594-8972
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
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
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds