9 citations · 10 across the 5 of their papers we have counts for
Showing 2002Show all
3 papers · 1 filter
cs.AI2002
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…
cs.AI2002★ 1 cited
Complexity of Nested Circumscription and Nested Abnormality Theories
Marco Cadoli, Thomas Eiter, Georg Gottlob
The need for a circumscriptive formalism that allows for simple yet elegant modular problem representation has led Lifschitz (AIJ, 1995) to introduce nested abnormality theories (N…
cs.DS2002
New Results on Monotone Dualization and Generating Hypergraph Transversals
Thomas Eiter, Georg Gottlob, Kazuhisa Makino
We consider the problem of dualizing a monotone CNF (equivalently, computing all minimal transversals of a hypergraph), whose associated decision problem is a prominent open proble…