Logic programming revisited: logic programs as inductive definitions (2001)

by Marc Denecker , Maurice Bruynooghe , Victor Marek
Venue:ACM Transactions on Computational Logic
Citations:43 - 25 self

Active Bibliography

233 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
270 Splitting a Logic Program – Vladimir Lifschitz, Hudson Turner - 1994
36 A logic of non-monotone inductive definitions – Marc Denecker, Eugenia Ternovska - 2007
27 An Overview of Nonmonotonic Reasoning and Logic Programming – Jack Minker - 1993
16 Disjunctive Logic Programming: A Survey And Assessment – Jack Minker, Dietmar Seipel - 2002
85 Logic Programming and Knowledge Representation - the A-Prolog perspective – Michael Gelfond, Nicola Leone - 2002
PREDICATE ANSWER SET PROGRAMMING WITH COINDUCTION – Richard Kyunglib Min - 2009
879 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
548 Abduction in Logic Programming – Marc Denecker, Antonis Kakas