Constraint Logic Programming. A Survey

✍ Scribed by Jaffar J., Maher M.J.

Year: 1994
Tongue: English
Leaves: 84
Category: Library

⬇ Acquire This Volume

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Constraint Logic Programming using Eclip

📁 Constraint Logic Programming using Eclipse

✍ Krzysztof R. Apt, Mark Wallace 📂 Library 📅 2007 🏛 Cambridge University Press 🌐 English

Constraint logic programming lies at the intersection of logic programming, optimisation and artificial intelligence. It has proved a successful tool in many areas including production planning, transportation scheduling, numerical analysis and bioinformatics. Eclipse is one of the leading software

Constraint Logic Programming: Selected R

📁 Constraint Logic Programming: Selected Research

✍ Frédéric Benhamou, Alain Colmerauer 📂 Library 📅 1993 🏛 The MIT Press 🌐 English

Constraint logic programming, the notion of computing with partial information, is becoming recognized as a way of dramatically improving on the current generation of programming languages. This collection presents the best of current work on all aspects of constraint logic programming languages, fr

Constraint satisfaction in logic program

📁 Constraint satisfaction in logic programming

✍ Pascal Van Hentenryck 📂 Library 📅 1989 🏛 The MIT Press 🌐 English

This book tackles classic problems from operations research and circuit design using a logic programming language embedding consistency techniques, a paradigm emerging from artificial intelligence research. Van Hentenryck proposes a new approach to solving discrete combinatorial problems using these

Parallel and Constraint Logic Programmin

📁 Parallel and Constraint Logic Programming: An Introduction to Logic, Parallelism and Constraints

✍ Ioannis Vlahavas, Panagiotis Tsarchopoulos, Ilias Sakellariou (auth.) 📂 Library 📅 1998 🏛 Springer US 🌐 English

Constraint Logic Programming (CLP), an area of extreme research interest in recent years, extends the semantics of Prolog in such a way that the combinatorial explosion, a characteristic of most problems in the field of Artificial Intelligence, can be tackled efficiently. By employing solvers ded

Recent Advances in Constraints: 12th Ann

📁 Recent Advances in Constraints: 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007 Rocquencourt,

✍ François Fages, Francesca Rossi, Sylvain Soliman 📂 Library 📅 2008 🏛 Springer 🌐 English

This book constitutes the thoroughly refereed and extended post-workshop proceedings of the 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, held in Rocquencourt, France, in June 2007. The 10 revised full papers presented were ca

Logic-Based 0–1 Constraint Programming

📁 Logic-Based 0–1 Constraint Programming

✍ Peter Barth (auth.) 📂 Library 📅 1996 🏛 Springer US 🌐 English

A logic view of 0-1 integer programming problems, providing new insights into the structure of problems that can lead the researcher to more effective solution techniques depending on the problem class. Operations research techniques are integrated into a logic programming environment. The first