Research Catalog
Constraints in computational logics : theory and applications
- Title
- Constraints in computational logics : theory and applications / Hubert Comon, Claude Marché, Ralf Treinen (eds.).
- Publication
- Berlin ; New York : Springer, 2001.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA76.612 .C693 2001 | Off-site |
Holdings
Details
- Additional Authors
- Description
- xii, 309 pages : illustrations; 24 cm.
- Series Statement
- Lecture notes in computer science ; 2002
- Uniform Title
- Lecture notes in computer science ; 2002.
- Subjects
- Note
- Lectures at the summer school organized by the ESPRIT CCL Working Group in Gif-sur-Yvette, France, September 1999.
- Contents
- 1. Constraints and Constraint Solving: An Introduction / Jean-Pierre Jouannaud and Ralf Treinen. A First Approach to Constraint Based Calculi. A Case Study of a Constraint System: Feature Constraints. Programming with Incomplete Constraint Solvers. Committed Choice: A More Realistic Approach -- 2. Constraint Solving on Terms / Hubert Comon and Claude Kirchner. The Principle of Syntactic Methods. Unification Problems. Dis-Unification Problems. Ordering Constraints. Matching Constraints. Principles of Automata Based Constraint Solving. Presburger Arithmetic and Classical Word Automata. Typing Constraints and Tree Automata. Set Constraints and Tree Set Automata. Examples of Other Constraint Systems Using Tree Automata -- 3. Combining Constraint Solving / Franz Baader and Klaus U. Schulz. Classification of Constraint Systems and Combination Approaches. The Nelson-Oppen Combination Procedure. Combination of E-Unification Algorithms. The Logical and Algebraic Perspective.
- Generalizations. Optimization and Complexity Issues. Open Problems -- 4. Constraints and Theorem Proving / Harald Ganzinger and Robert Nieuwenhuis. Equality Clauses. The Purely Equational Case: Rewriting and Completion. Superposition for General Clauses. Saturation Procedures. Paramodulation with Constrained Clauses. Paramodulation with Built-in Equational Theories. Effective Saturation of First-Order Theories -- 5. Functional and Constraint Logic Programming / Mario Rodriguez-Artalejo. A Rewriting Logic for Declarative Programming. Higher-Order Programming. Constraint Programming -- 6. Building Industrial Applications with Constraint Programming / Helmut Simonis. Constraint Programming. The CHIP System. Application Studies. Industrial Applications. Case Studies. Application Framework. Analysis. Does CLP Deliver? Limitations. Future Trends.
- ISBN
- 3540419500 (pbk. : alk. paper)
- LCCN
- 2001031130
- OCLC
- ocm46678396
- SCSB-4128251
- Owning Institutions
- Columbia University Libraries