A logic of non-monotone inductive definitions (2007)

by Marc Denecker , Eugenia Ternovska
Venue:ACM transactions on computational logic
Citations:47 - 28 self

Active Bibliography

879 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
233 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
37 Logic programming revisited: logic programs as inductive definitions – Marc Denecker, Maurice Bruynooghe, Victor Marek - 2001
884 Classical negation in logic programs and disjunctive databases – Michael Gelfond, Vladimir Lifschitz - 1991
548 Abduction in Logic Programming – Marc Denecker, Antonis Kakas
270 Splitting a Logic Program – Vladimir Lifschitz, Hudson Turner - 1994
216 The Alternating Fixpoint of Logic Programs with Negation – Allen Van Gelder - 1995
299 Complexity and Expressive Power of Logic Programming – Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov - 1997
16 Disjunctive Logic Programming: A Survey And Assessment – Jack Minker, Dietmar Seipel - 2002