Electronic Books

Total Books: 1 - 16 /16

Constraint Handling Rules : Current Research Topics

The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...

Constraint Solving and Language Processing

This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First ...

Large-Scale Scientific Computing : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers

The 6th International Conference on Large-Scale Scienti?c Computations (LSSC 2007) was held in Sozopol, Bulgaria, June 5–9, ...

Logic Programming (vol. # 3668)

This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), ...

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 ...

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 ...

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 ...

Principles and Practice of Constraint Programming - CP 2005

Constitutes the proceedings of the 11th International Conference on Principles and Practice of Constraint Programming, CP ...

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 ...

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 ...

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 ...

Recent Advances in Constraints

This book constitutes the thoroughly refereed and extended post-proceedings of the 11th Annual ERCIM International Workshop ...

Recent Advances in Constraints (vol. # 3419)

Constitutes the extended post-proceedings of the ERCIM/CoLogNet International Workshop on Constraint Satisfaction and Constraint ...

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 ...

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, ...

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 ...

Total Books: 1 - 16 /16