1 citations · 1 across the 3 of their papers we have counts for
Showing 2002Show all
3 papers · 1 filter
cs.DB2002
Monadic Datalog and the Expressive Power of Languages for Web Information Extraction
Georg Gottlob, Christoph Koch
Research on information extraction from Web pages (wrapping) has seen much activity recently (particularly systems implementations), but little work has been done on formally study…
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…