Logic and databases: a deductive approach (1984)

View PDF

Download Links

by Hervi Gallaire , Jack Minker
Venue:ACM Computing Surveys
Citations:159 - 2 self

Active Bibliography

879 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
813 The Semantics Of Constraint Logic Programs – Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey - 1996
548 Abduction in Logic Programming – Marc Denecker, Antonis Kakas
560 Nonmonotonic Reasoning, Preferential Models and Cumulative Logics – Sarit Kraus, Daniel Lehmann, Menachem Magidor - 1990
485 Answering Queries Using Views: A Survey – Alon Y. Halevy - 2000
859 The Temporal Logic of Actions – Leslie Lamport - 1993
517 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
575 Model Theory – Wilfrid Hodges - 2000