Magic Templates: A Spellbinding Approach to Logic Programs (1988)

View PDF

Download Links

by Raghu Ramakrishnan
Venue:Journal of Logic Programming
Citations:128 - 15 self

Documents Related by Co-Citation

11502 Computers and Intractability, A Guide to the Theory of NPCompleteness – M R Garey, D S Johnson - 1979
1921 Foundations of Logic Programming – J Lloyd - 1987
314 Magic sets and other strange ways to implement logic programs – F Bancilhon, D Maier, Y Sagiv, J Ullman - 1986
634 Towards a theory of declarative knowledge – K R Apt, H A Blair, A Walker - 1988
253 On the Power of Magic – Catriel Beeri, Raghu Ramakrishnan - 1987
2004 Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints – P Cousot, R Cousot - 1977
879 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
541 The complexity of relational query languages – M Y Vardi - 1982
1559 The Stable Model Semantics For Logic Programming – Michael Gelfond, Vladimir Lifschitz - 1988