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:784 - 13 self

Active Bibliography

Christ Jesus, our Lord and Savior. PREDICATE ANSWER SET PROGRAMMING WITH COINDUCTION – Richard Kyunglib Min, Haim Schweitzer, Richard Kyunglib Min, Mi Min, Samuel Underwood - 2009
38 Generalized Semantics and Abstract Interpretation for Constraint Logic Programs – Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi - 1995
771 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
8 A CLP View of Logic Programming – Michael J. Maher - 1992
4 Learning and Deduction in Neural Networks and Logic – Ekaterina Komendantskaya - 2007
10 Observable Behaviors and Equivalences of Logic Programs – Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo - 1992
17 On Proving Left Termination of Constraint Logic Programs – Fred Mesnard, Salvatore Ruggieri - 2001
15 Compilative Constructive Negation in Constraint Logic Programs – Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo - 1994
2 Some issues and trend in the semantics of logic programming – J. Jaffar, J-l. Lassez, M. J. Maher - 1986
6 Optimization and Relaxation in Logic Languages – Kannan Govindarajan - 1997
10 Constraint Logic Programming with Hereditary Harrop Formulas – Javier Leach, Susana Nieva, Mario Rodríguez-artalejo, Dpto Sistemas Informáticos - 1997
67 Hierarchical Constraint Logic Programming – Molly Ann Wilson - 1993
23 Constraint Databases: A Survey – Peter Z. Revesz - 1998
Some contributions to the semantics of normal logic programs – Edelmira Pasarella Sánchez - 2008
120 Negation and Constraint Logic Programming – Peter J. Stuckey, Peter J. Stuckey - 1995
4 On the Correctness of the Replacement Operation for CLP Modules – Sandro Etalle, Editorial Board, H. Ait-kaci, L. Augustsson, Ch. Brzoska, J. Darlington, Y. Guo, M. Hagiya, M. Hanus, T. Ida, J. Jaffar, B. Jayaraman, M. Kohler, H. Kuchen, J. Lloyd, A. Middeldorp, D. Miller, J. J. Moreno-navarro, L. Naish M. J. O'donnell, P. Padawitz, C. Palamidessi, F. Pfenning, D. Plaisted, R. Plasmeijer, U. Reddy, F. Silbermann, P. Van, Hentenryck D. S. Warren - 1996
5 Generalized Horn Clause Programs – Saumya K. Debray, Raghu Ramakrishnan - 1994
28 Observable Semantics for Constraint Logic Programs – Maurizio Gabbrielli, Giovanna M. Dore, Giorgio Levi - 1995
1 Une caractérisation des arbres SLD en programmation logique avec contraintes – Alexandre Tessier - 1996