Constraint Handling Rules : Current Research Topics
The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...
Lire la suite
Constraint Solving and Language Processing
This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First ...
Lire la suite
Logic Programming (vol. # 3668)
This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), ...
Lire la suite
Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...
Lire la suite
Principle and Practice of Constraint Programming - CP 2006
This book constitutes the refereed proceedings of the 12th International Conference on Principles and Practice of Constraint ...
Lire la suite
Principles and Practice of Constraint Programming - CP 2002
This book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint ...
Lire la suite
Principles and Practice of Constraint Programming - CP 2005
Constitutes the proceedings of the 11th International Conference on Principles and Practice of Constraint Programming, CP ...
Lire la suite
Principles and Practice of Constraint Programming : 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Principles and Practice of Constraint ...
Lire la suite
Principles and Practice of Constraint Programming – CP 2007
This book constitutes the refereed proceedings of the 13th International Conference on Principles and Practice of Constraint ...
Lire la suite
Probabilistic Inductive Logic Programming : Theory and Applications
One of the key open questions within arti?cial intelligence is how to combine probability and logic with learning. This question ...
Lire la suite
Recent Advances in Constraints
This book constitutes the thoroughly refereed and extended post-proceedings of the 11th Annual ERCIM International Workshop ...
Lire la suite
Recent Advances in Constraints (vol. # 3419)
Constitutes the extended post-proceedings of the ERCIM/CoLogNet International Workshop on Constraint Satisfaction and Constraint ...
Lire la suite
Recent Advances in Constraints (vol. # 3978)
Privacy in statistical databases is a discipline whose purpose is to provide - lutions to the con?ict between the increasing ...
Lire la suite
Recent Advances in Constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers
This book address all aspects of constraint and logic programming, including foundational issues, implementation techniques, ...
Lire la suite
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
This book covers the area of convergence of software proofing and testing and feature current research work that combines ...
Lire la suite
