papers
Publications (4)
cs.MA2001
Using Methods of Declarative Logic Programming for Intelligent Information Agents
T. Eiter, M. Fink, G. Sabbatini +1
cs.AI2011
Answer Set Planning Under Action Costs
T. Eiter, W. Faber, N. Leone +2
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