T. Eiter, M. Fink, G. Ianni, T. Krennwallner, P. Schüller:
"Pushing Efficient Evaluation of HEX Programs by Modular Decomposition";
Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 2011-05-16 - 2011-05-19; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", J. Delgrande, W. Faber (ed.); Springer, (2011), 93 - 106.

The evaluation of logic programs with access to external knowledge sources requires to interleave external computation and model building. Deciding where and how to stop with one task and proceed with the next is a difficult problem, and existing approaches have severe deficiencies for many real-world application scenarios. We introduce a new approach for organizing the evaluation of logic programs with external knowledge sources and describe a configurable framework for dividing the non-ground program into not necessarily disjoint smaller parts, the evaluation units. These units will then be processed by interlacing external evaluations and model building, and combining intermediate results. Experiments with our prototype implementation show that the technique significantly improves on existing approaches. Even for logic programs without any external computations, in some cases our approach speeds up existing solvers by decomposing the program, feeding it to the solver in pieces, and combining the result.

Answer Set Programming, Nonmonotic Reasoning

Project Head Thomas Eiter:
Evaluierung von ASP Programming mit Externen Zugriffen

Project Head Thomas Eiter:
Modulare HEX-Programme

Project Head Thomas Eiter:
Schließen in hybriden Wissensbasen

Project Head Michael Fink:
Inconsistency Management for Knowledge-Integration Systems