papers
Publications (4)
cs.AI2002
Reasoning about Evolving Nonmonotonic Knowledge Bases
T. Eiter, M. Fink, G. Sabbatini +1
cs.AI2001
On Properties of Update Sequences Based on Causal Rejection
T. Eiter, M. Fink, G. Sabbatini +1
cs.AI2002
A Framework for Compiling Preferences in Logic Programs
J. P. Delgrande, T. Schaub, H. Tompits
cs.MA2001
Using Methods of Declarative Logic Programming for Intelligent Information Agents
T. Eiter, M. Fink, G. Sabbatini +1