Searching for "An Introduction to Constraint Logic Programming." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

109 documents found, showing 1 through 10. Next 10 →

An Algebraic Perspective of Constraint Logic Programming
by Frank S. de Boer, Alessandra Di Pierro, Ra Di Pierro, Catuscia Palamidessi — 1995 — Journal of Logic and Computation
…An algebraic perspective of constraint logic programming Frank S. de Boer y and Alessandra Di…
Cited by 3 (2 self) – Add To MetaCart

From Constraint Minimization to Goal Optimization in CLP languages
by François Fages — 1995 — In: Principles and Practice of Constraint Programming
… Introduction Constraint logic programming and concurrent constraint programming are simple and powerful models…
Cited by 1 (0 self) – Add To MetaCart

On the Correctness of the Replacement Operation for CLP Modules
by 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
… study the replacement transformation for Constraint Logic Programming modules. We define new…
Cited by 4 (3 self) – Add To MetaCart

On Methods of Constraint-Based Timetabling
by Hans-Joachim Goltz — 2000 — Proceedings PACLP’00
… are given. 1. Introduction Constraint Logic Programming over finite domains is a rapidly growing research…
Cited by 3 (1 self) – Add To MetaCart

University Timetabling using Constraint Logic Programming
by Hans-Joachim Goltz, Dirk Matzke — 1999 — Practical Aspects of Declarative Languages
… are violated. 1 Introduction Constraint Logic Programming over finite domains is a rapidly growing research…
Cited by 8 (3 self) – Add To MetaCart

An Experimental CLP Platform for Integrity Constraints and Abduction
by Slim Abdennadher, Henning Christiansen — 2000 — In Proceedings of FQAS2000, Flexible Query Answering Systems: Advances in Soft Computing series
… and abduction 1 Introduction Constraint logic programming (CLP) [10] is established as an extension to logic…
Cited by 25 (12 self) – Add To MetaCart

Some Global Compile-Time Optimizations for CLP(R)
by Niels Jørgensen, Kim Marriott, Spiro Michaylov — 1991 — In Proc. 1991 Int'l Symposium on Logic Programming
… Introduction Constraint logic programming (CLP) languages [7] extend the power of logic programming languages…
Cited by 5 (2 self) – Add To MetaCart

Operational Semantics and Confluence of Constraint Propagation Rules
by Slim Abdennadher — 1997
… programs with propagation rules based on the more refined operational semantics. 1 Introduction Constraint…
Cited by 73 (12 self) – Add To MetaCart

A Methodology for Managing Hard Constraints in CLP Systems
by Joxan Jaffar, Spiro Michaylov, Roland H. C. Yap — 1991
… be reversible. This problem is resolved efficiently in our structure. 1 Introduction The Constraint Logic…
Cited by 11 (3 self) – Add To MetaCart

Constraint Logic Programming in the Sequent Calculus
by John Darlington, Yike Guo — 1994 — Logic Programming and Automated Reasoning
… into various logic programming systems. 1 Introduction Constraint logic programming has recently attracted…
Cited by 4 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB