77 citations · 139 across the 21 of their papers we have counts for
Showing 2002 · cs.AIShow all
2 papers · 2 filters
cs.AI2002
The DLV System for Knowledge Representation and Reasoning
Nicola Leone, Gerald Pfeifer, Wolfgang Faber +4
This paper presents the DLV system, which is widely considered the state-of-the-art implementation of disjunctive logic programming, and addresses several aspects. As for problem s…
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…