Journal of Logic Programming
, Volume 37
Volume 37, Numbers 1-3, October 1998
Theory
Joxan Jaffar
,
Michael J. Maher
,
Kim Marriott
,
Peter J. Stuckey
: The Semantics of Constraint Logic Programs. 1-46
BibTeX
Jürgen Dix
,
Frieder Stolzenburg
: A Framework to Incorporate Non-Monotonic Reasoning Into Constraint Logic Programming. 47-76
BibTeX
Frédéric Mesnard
,
Sébastien Hoarau
,
Alexandra Maillard
: CLP(chi) for Automatically Proving Program Properties. 77-93
BibTeX
Language Design
Thom W. Frühwirth
: Theory and Practice of Constraint Handling Rules. 95-138
BibTeX
Pascal Van Hentenryck
,
Vijay A. Saraswat
,
Yves Deville
: Design, Implementation, and Evaluation of the Constraint Language cc(FD). 139-164
BibTeX
Olivier Lhomme
,
Arnaud Gotlieb
,
Michel Rueher
: Dynamic Optimization of Interval Narrowing Algorithms. 165-183
BibTeX
François Fages
,
Julian Fowler
,
Thierry Sola
: Experiments in Reactive Constraint Logic Programming. 185-212
BibTeX
Implementation
Henning Christiansen
: Automated Reasoning with a Constraint-Based Metainterpreter. 213-254
BibTeX
Nirad Sharma
,
Robert M. Colomb
: Mechanising Shared Configuration and Diagnosis Theories Through Constraint Logic Programming. 255-283
BibTeX
Copyright ©
Sun May 17 00:10:07 2009 by
Michael Ley
(
ley@uni-trier.de
)