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

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

Documents Related by Co-Citation

849 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
1504 The Stable Model Semantics For Logic Programming – Michael Gelfond, Vladimir Lifschitz - 1988
1435 A Logic for Default Reasoning – Raymond Reiter - 1980
43 The Well-founded Semantics Is the Principle of Inductive Definition – Marc Denecker - 1998
58 Extending Classical Logic with Inductive Definitions – Marc Denecker - 2000
860 Classical Negation in Logic Programs and Disjunctive Databases – Michael Gelfond, Vladimir Lifschitz - 1991
965 Negation as failure – K L Clark - 1978
718 The Semantics of Predicate Logic as a Programming Language – M. H. Van Emden, R. A. Kowalski - 1976
615 Towards a theory of declarative knowledge – K Apt, H A Blair, A Walker - 1987