1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…