The Semantics Of Constraint Logic Programs (1996)

Cached

Download Links

by Joxan Jaffar , Michael Maher , Kim Marriott , Peter Stuckey
Venue:JOURNAL OF LOGIC PROGRAMMING
Citations:808 - 13 self

Active Bibliography

The semantics of constraint logic programs 1 – Joxan Ja€ar A, Michael Maher B, Kim Marriott C, Peter Stuckey D
774 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
849 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
538 Abduction in Logic Programming – Marc Denecker, Antonis Kakas
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
1504 The Stable Model Semantics For Logic Programming – Michael Gelfond, Vladimir Lifschitz - 1988
544 Nonmonotonic Reasoning, Preferential Models and Cumulative Logics – Sarit Kraus, Daniel Lehmann, Menachem Magidor - 1990
1068 Learning Stochastic Logic Programs – Stephen Muggleton - 2000
575 Markov Logic Networks – Matthew Richardson, Pedro Domingos - 2006