Principles and Practice of Constraint Programming: Second International Workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2 - 4, 1994. Proceedings, Volum 2Alan H. Borning, Alan Borning Springer Science & Business Media, 12 d’oct. 1994 - 360 pàgines This volume is the proceedings of the Second International Workshop on the Principles and Practice of Constraint Programming, held at Rosario, Orcas Island, Washington, USA in May 1994 in cooperation with AAAI and ALP. The volume contains 27 full revised papers selected from 87 submissions as well as a summary of a panel session on commercial applications of constraint programming. The contributions cover a broad range of topics including constraint programming languages, algorithms for constraint satisfaction and entailment, and constraints and their relation to fields such as artificial intelligence, databases, operations research, problem solving, and user interfaces. |
Continguts
A Substitution Operation for Constraints | ix |
Contradicting Conventional Wisdom in Constraint Satisfaction | 8 |
Nogood backmarking with minconflict repair in constraint satisfaction and optimization | 19 |
Global Consistency for Continuous Constraints | 38 |
Locally Simultaneous Constraint Satisfaction | 49 |
Inferring 3dimensional constraints with DEVI | 76 |
Beyond Finite Domains | 84 |
Adding the Power of Quadratic Constraints | 93 |
Foundations of Aggregation Constraints | 191 |
ConstraintGenerating Dependencies | 203 |
Constraint Objects | 216 |
Specification and Verification of ConstraintBased Dynamic Systems | 227 |
GSAT and Dynamic Backtracking | 241 |
Foundations of Indefinite Constraint Databases | 264 |
Set Constraints and SetBased Analysis | 279 |
On the Design of Constraint Satisfaction Problems | 297 |
Applications in Constraint Logic Programming with Strings | 107 |
Some Methodological Issues in the Design of CIAO a Generic Parallel Concurrent Constraint Logic Programming System | 121 |
Encapsulated Search and Constraint Programming in Oz | 132 |
Towards a Concurrent Semantics based Analysis of CC and CLP | 149 |
A Concurrent Semantics | 160 |
Efficient and Complete Tests for Database Integrity Constraint Checking | 171 |
Linear vs Polynomial Constraints in Database Query Languages | 179 |
Experiences with Constraintbased Array Dependence Analysis | 310 |
324 | |
334 | |
Commercial Applications of Constraint Programming | 348 |
Author Index | 359 |
Altres edicions - Mostra-ho tot
Frases i termes més freqüents
abstract aggregation constraints algorithm analysis applications arithmetic constraints Artificial Intelligence C₁ CC programs checking clauses CLP(R CLP(S complete computation space Computer Science concurrent semantics conjunction consider consistency constraint cells Constraint Logic Programming constraint network constraint programming constraint satisfaction problem constraint solver constraint-based constraint-generating context convex COQL count(S Datalog defined Definition denote dependencies disjunctive dynamic backtracking dynamic systems E-set elimination equations equivalent example formula geometric given GSAT implementation inequalities inference integer L-constraint algebra linear constraints method MGB mgraphs min(S multiset NG-Backmarking no-good pattern nodes objects operational semantics operations optimization parallel possible predicate Proc procedure Proceedings Programming Languages Prolog propagation quantifier elimination query languages repair represent rule S₁ satisfied Section set constraints set of constraints solution graph solvability solved specification straints string techniques Theorem tuples TVPI constraints unit TVPI values variable elimination variables