Talks and Poster Presentations (with Proceedings-Entry):

T. Eiter, M. Fink, T. Krennwallner:
"Decomposition of Declarative Knowledge Bases with External Functions";
Talk: 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), Pasadena, California, U.S.A.; 2009-07-11 - 2009-07-17; in: "Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09)", C. Boutilier (ed.); AAAI Press, Menlo Park, California, U.S.A. (2009), 752 - 758.

English abstract:
We present a method to decompose a declarative knowledge base, given by a logic program under Answer Set Semantics with access to external sources. It overcomes the ineffectiveness of current methods due to a lack of structural information about these sources, viewed as
black boxes, by exploiting independency information in accesses to them. To this end, we develop a generic notion of domain independence that allows to restrict the evaluation domain and, as a consequence, to prune unnecessary dependency assumptions between atoms. This leads to increased decomposability; we demonstrate this by an evaluation method for HEX-programs based on program rewriting, which may yield large performance gains. While developed for a particular formalism, the notions and ideas of this paper might be adapted to related formalisms as well.

Knowledge Representation, Nonmonotonic Reasoning, Logic Programming

Electronic version of the publication:

Related Projects:
Project Head Thomas Eiter:
Modulare HEX-Programme

Project Head Thomas Eiter:
ONOTRULE - ONTOlogies meet business RULEs

Project Head Thomas Eiter:
Schließen in hybriden Wissensbasen

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

Created from the Publication Database of the Vienna University of Technology.