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

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

Active Bibliography

BEGINNING TO END. AMONG THINGS THAT REMAIN TO BE DONE ARE: HAVING A PROPER NAMING CONVENTION FOR THE PROGRAMS IN THE EXAMPLES, – Chitta Baral - 2001
28 A logic of non-monotone inductive definitions – Marc Denecker, Eugenia Ternovska - 2007
224 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
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
Christ Jesus, our Lord and Savior. PREDICATE ANSWER SET PROGRAMMING WITH COINDUCTION – Richard Kyunglib Min, Haim Schweitzer, Richard Kyunglib Min, Mi Min, Samuel Underwood - 2009
87 Logic Programming and Knowledge Representation - the A-Prolog perspective – Michael Gelfond, Nicola Leone - 2002
267 Splitting a Logic Program – Vladimir Lifschitz, Hudson Turner - 1994
Chapter 7 Answer Sets – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Michael Gelfond
63 Representing Knowledge in A-Prolog – Michael Gelfond
8 Minimum Model Semantics for Logic Programs with Negation-as-Failure – Panos Rondogiannis, William W. Wadge
31 Knowledge Representation with Logic Programs – Gerhard Brewka, Jürgen Dix - 1996
16 Some (in)translatability results for normal logic programs and propositional theories – Tomi Janhunen - 2006
55 Logic and Databases: a 20 Year Retrospective – Jack Minker - 1996
208 The Alternating Fixpoint of Logic Programs with Negation – Allen Van Gelder - 1995
1 What is in a model? Epistemological ambiguity of Logic Programming – Marc Denecker
Origins of Answer-Set Programming – Some Background And Two Personal Accounts – Victor W. Marek, Ilkka Niemelä, Mirosław Truszczyński
A Fuzzy Logic Approach – Jie Lu, Javier Montero, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock
15 Foundations of rule-based query answering – François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei - 2007