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

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

Documents Related by Co-Citation

845 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
58 Extending Classical Logic with Inductive Definitions – Marc Denecker - 2000
43 The Well-founded Semantics Is the Principle of Inductive Definition – Marc Denecker - 1998
27 Inductive Situation Calculus – Marc Denecker, Eugenia Ternovska - 2004
105 Fixpoint semantics for logic programming -- a survey – Melvin Fitting - 2000
852 Classical Negation in Logic Programs and Disjunctive Databases – Michael Gelfond, Vladimir Lifschitz - 1991
1424 A logic for default reasoning – R Reiter - 1980
1498 The Stable Model Semantics For Logic Programming – Michael Gelfond, Vladimir Lifschitz - 1988
209 The Alternating Fixpoint of Logic Programs with Negation – Allen Van Gelder - 1995
959 Negation as failure – K L Clark - 1978
41 Uniform Semantic Treatment of Default and Autoepistemic Logics – Marc Denecker, Victor W. Marek, Miroslaw Truszczynski - 2000
381 Bilattices and the Semantics of Logic Programming – Melvin Fitting - 1989
248 Stable models and an alternative logic programming paradigm – Victor W. Marek - 1999
29 A Logic of Non-Monotone Inductive Definitions and its Modularity Properties – Marc Denecker, Eugenia Ternovska - 2004
23 Approximating operators, stable operators, well-founded fixpoints and applications in non-monotonic reasoning – M Denecker, V Marek, M TruszczyƄski - 2000
29 A framework for representing and solving np search problems – David G Mitchell, Eugenia Ternovska - 2005
712 The Semantics of Predicate Logic as a Programming Language – M. H. Van Emden, R. A. Kowalski - 1976
610 Towards a theory of declarative knowledge – K R Apt, H Blair, A Walker - 1988
1858 Foundations of Logic Programming – J Lloyd - 1987