@inproceedings{ekr2011-inap,
abstract = {Answer-Set Programming ({ASP}) is an established declarative programming paradigm. However, classical {ASP} lacks subprogram calls as in procedural programming, and access to external computations (like remote procedure calls) in general. The feature is desired for increasing modularity and---assuming proper access in place---(meta-)reasoning over subprogram results. While {HEX}-programs extend classical {ASP} with external source access, they do not support calls of (sub-)programs upfront. We present nested {HEX}-programs, which extend {HEX}-programs to serve the desired feature, in a user-friendly manner. Notably, the answer sets of called sub-programs can be individually accessed. This is particularly useful for applications that need to reason over answer sets like belief set merging, user-defined aggregate functions, or preferences over answer sets.},
author = {Thomas Eiter and Thomas Krennwallner and Christoph Redl},
booktitle = {Proceedings of the Nineteenth International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011), Vienna, Austria, September 28--30, 2011},
conference = {http://www.kr.tuwien.ac.at/events/inap11/},
date = {September 28-30, 2011},
date-added = {2011-08-13 07:20:16 +0200},
date-modified = {2011-09-20 18:16:44 +0200},
editor = {Hans Tompits},
keywords = {Answer Set Programming, {HEX}-Programs, Modular Logic Programming},
location = {Vienna, Austria},
month = {September},
number = {arXiv:1108.5626v1},
projectref = {FWF-P20840, FWF-P20841, Ontorule},
publisher = {Computing Research Repository (CoRR)},
series = {arXiv},
title = {Nested {HEX}-Programs},
url = {http://arxiv.org/abs/1108.5626},
year = {2011},
bdsk-url-1 = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2011/inap2011-nestedhex.pdf},
bdsk-url-2 = {http://www.kr.tuwien.ac.at/events/inap11/},
bdsk-url-3 = {http://arxiv.org/abs/1108.5626}
}
@inproceedings{ekr2011-wcb,
abstract = {Decision diagrams (DDs) are a popular means for decision making, e.g., in clinical guidelines. Some applications require to integrate multiple related yet different diagrams into a single one, for which algorithms have been developed. However, existing merging tools are monolithic, application-tailored programs with no clear interface to the actual merging procedures, which makes their reuse hard if not impossible. We present a general, declarative framework for merging and manipulating decision diagram tasks based on a belief set merging framework. Its modular architecture hides details of the merging algorithm and supports pre- and user-defined merging operators, which can be flexibly arranged in merging plans to express complex merging tasks. Changing and restructuring merging tasks becomes easy, and relieves the user from (repetitive) manual integration to focus on experimenting with different merging strategies, which is vital for applications, as discussed for an example from DNA classification. Our framework supports also reasoning over DDs using answer set programming ({ASP}), which allows to drive the merging process and select results based on the application needs.},
author = {Thomas Eiter and Thomas Krennwallner and Christoph Redl},
booktitle = {Workshop on Constraint Based Methods for Bioinformatics (WCB 2011), Perugia, Italy, September 12, 2011},
conference = {http://www.dmi.unipg.it/WCB11/},
date = {September 12, 2011},
date-added = {2011-07-31 10:56:01 +0200},
date-modified = {2011-08-25 15:16:59 +0200},
editor = {Alessandro Dal Pal{\`u} and Agostino Dovier and Andrea Formisano},
keywords = {Answer Set Programming, Nonmonotonic Reasoning, Decision Diagram Merging},
location = {Perugia, Italy},
month = {September},
pages = {3--15},
projectref = {FWF-P20840, FWF-P20841, WWTF-ICT08-020},
publisher = {Dipartimento di Matematica e Informatica, Universita degli Studi di Perugia},
title = {Declarative Merging of and Reasoning about Decision Diagrams},
url = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2011/wcb11-ddmerge.pdf},
year = {2011},
bdsk-url-1 = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2011/wcb11-ddmerge.pdf},
bdsk-url-2 = {http://www.dmi.unipg.it/WCB11/}
}
@inproceedings{rek2011-padl,
abstract = {We present a declarative framework for belief set merging tasks over (possibly heterogeneous) knowledge bases, where belief sets are sets of literals. The framework is designed generically for flexible deployment to a range of applications, and allows to specify complex merging tasks in tree-structured merging plans, whose leaves are the possible belief sets of the knowledge bases that are processed using merging operators. A prototype is implemented in MELD (MErging Library for Dlvhex) on top of the DLVHEX system for {HEX}-programs, which are nonmonotonic logic programs with access to external sources. Plans in the task description language allow to formulate different conflict resolution strategies, and by shared object libraries, the user may also develop and integrate her own merging operators. MELD supports rapid prototyping of merging tasks, providing a computational backbone such that users can focus on operator optimization and evaluation, and on experimenting with merging strategies; this is particularly useful if a best merging operator or strategy is not known. Example applications are combining multiple decision diagrams (e.g., in biomedicine), judgment aggregation in social choice theory, and ontology merging.},
author = {Christoph Redl and Thomas Eiter and Thomas Krennwallner},
booktitle = {Proceedings of the Thirteenth International Symposium on Practical Aspects of Declarative Languages (PADL 2011), Austin, Texas, USA, January 24-25, 2011},
date-added = {2011-03-16 16:59:46 +0100},
date-modified = {2011-03-16 16:59:46 +0100},
doi = {10.1007/978-3-642-18378-2_10},
editor = {Ricardo Rocha and John Launchbury},
isbn = {978-3-642-18377-5},
keywords = {Answer Set Programming, Belief Merging, Hybrid Knowledge Base, {HEX}-Programs},
month = {January},
pages = {99--114},
project = {FWF-P20841, WWTF-ICT08-020},
publisher = {Springer},
series = {LNCS},
title = {Declarative Belief Set Merging using Merging Plans},
url = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2011/padl2011-beliefmerging.pdf},
volume = {6539},
year = {2011},
bdsk-url-1 = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2011/padl2011-beliefmerging.pdf},
bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-18378-2_10}
}
This file was generated by bibtex2html 1.98.