Publications (4)
Reasoning about Evolving Nonmonotonic Knowledge Bases
T. Eiter, M. Fink, G. Sabbatini +1
Recently, several approaches to updating knowledge bases modeled as extended logic programs have been introduced, ranging from basic methods to incorporate (sequences of) sets of r…
On Properties of Update Sequences Based on Causal Rejection
T. Eiter, M. Fink, G. Sabbatini +1
We consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under answer set semantics. New information is incorporated into the current k…
A Framework for Compiling Preferences in Logic Programs
J. P. Delgrande, T. Schaub, H. Tompits
We introduce a methodology and framework for expressing general preference information in logic programming under the answer set semantics. An ordered logic program is an extended…
Using Methods of Declarative Logic Programming for Intelligent Information Agents
T. Eiter, M. Fink, G. Sabbatini +1
The search for information on the web is faced with several problems, which arise on the one hand from the vast number of available sources, and on the other hand from their hetero…