publications2015.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -c year=2015 publications.bib}}

@techreport{efikrs2015-arxiv,
  author = {Thomas Eiter and Michael Fink and Giovambattista Ianni and Thomas Krennwallner and Christoph Redl and Peter Sch{\"u}ller},
  date-added = {2015-07-07 05:57:30 +0000},
  date-modified = {2015-07-07 06:01:02 +0000},
  institution = {arXiv},
  month = {July},
  note = {arXiv:1507.01451v1},
  number = {1507.01451v1},
  title = {{A model building framework for Answer Set Programming with external computations}},
  url = {http://arxiv.org/abs/1507.01451v1},
  year = {2015},
  bdsk-url-1 = {http://arxiv.org/abs/1507.01451v1}
}

@article{efikrs2015-tplp,
  abstract = {As software systems are getting increasingly connected, there is a need for equipping nonmonotonic logic programs with access to external sources that are possibly remote and may contain information in heterogeneous formats. To cater for this need, HEX programs were designed as a generalization of answer set programs with an API style interface that allows to access arbitrary external sources, providing great flexibility. Efficient evaluation of such programs however is challenging, and it requires to interleave external computation and model building; to decide when to switch between these tasks is difficult, and existing approaches have limited scalability in many real-world application scenarios. We present a new approach for the evaluation of logic programs with external source access, which is based on a configurable framework for dividing the non-ground program into possibly overlapping smaller parts called evaluation units. The latter will be processed by interleaving external evaluation and model building using an evaluation graph and a model graph, respectively, and by combining intermediate results. Experiments with our prototype implementation show a significant improvement compared to previous approaches. While designed for HEX-programs, the new evaluation approach may be deployed to related rule-based formalisms as well.},
  author = {Thomas Eiter and Michael Fink and Giovambattista Ianni and Thomas Krennwallner and Christoph Redl and Peter Sch{\"u}ller},
  date-added = {2015-05-12 04:09:00 +0000},
  date-modified = {2015-07-07 05:57:23 +0000},
  doi = {10.1017/S1471068415000113},
  issn = {1471-0684},
  journal = {Theory and Practice of Logic Programming},
  keywords = {answer set programming; model building; external computation, {HEX} programs},
  note = {Published online: 13 August 2015},
  title = {{A model building framework for Answer Set Programming with external computations}},
  year = {2015}
}

@article{defk2015-jair,
  abstract = {Multi-Context Systems (MCSs) are a formalism for systems consisting of knowledge bases (possibly heterogeneous and non-monotonic) that are interlinked via bridge rules, where the global system semantics emerges from the local semantics of the knowledge bases (also called "contexts") in an equilibrium. While MCSs and related formalisms are inherently targeted for distributed settings, no truly distributed algorithms for their evaluation were available. We address this shortcoming and present a suite of such algorithms which includes a basic algorithm DMCS, an advanced version DMCSOPT that exploits topology-based optimizations, and a streaming algorithm DMCSSTREAMING that computes equilibria in packages of bounded size. The algorithms behave quite differently in several respects, as experienced in thorough experimental evaluation of a system prototype. From the experimental results, we derive a guideline for choosing the appropriate algorithm and running mode in particular situations, determined by the parameter settings.},
  author = {Minh Dao-Tran and Thomas Eiter and Michael Fink and Thomas Krennwallner},
  date-added = {2014-12-04 14:41:00 +0000},
  date-modified = {2015-04-29 06:47:04 +0000},
  doi = {10.1613/jair.4574},
  issn = {1076-9757},
  journal = {Journal of Artificial Intelligence Research},
  keywords = {Decentralized Model Computation, Hybrid Knowledge Base, Nonmonotonic Reasoning, Answer Set Programming, Multi-Context Systems},
  month = {April},
  pages = {543-600},
  title = {{Distributed Evaluation of Nonmonotonic Multi-context Systems}},
  url = {http://www.jair.org/papers/paper4574.html},
  volume = {52},
  year = {2015},
  bdsk-url-1 = {http://www.jair.org/papers/paper4574.html},
  bdsk-url-2 = {http://dx.doi.org/10.1613/jair.4574}
}