A logic of non-monotone inductive definitions (2007)

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

Active Bibliography

Knowledge representations, reasoning and . . . – Chitta Baral - 2001
849 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
227 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
34 Logic programming revisited: logic programs as inductive definitions – Marc Denecker, Maurice Bruynooghe, Victor Marek - 2001
860 Classical Negation in Logic Programs and Disjunctive Databases – Michael Gelfond, Vladimir Lifschitz - 1991
538 Abduction in Logic Programming – Marc Denecker, Antonis Kakas
260 Splitting a Logic Program – Vladimir Lifschitz, Hudson Turner - 1994
209 The Alternating Fixpoint of Logic Programs with Negation – Allen Van Gelder - 1995
210 Disjunctive Datalog – Thomas Eiter, Georg Gottlob, Heikki Mannila - 1997