Lecture Notes in Computer Science

Second International Workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2 - 4, 1994. Proceedings

By: Alan Borning (Editor)

Write A Review

Hardcover | 12 October 1994

At a Glance

Hardcover
384 Pages

Dimensions(cm)
23.39 x 15.6 x 2.01

Hardcover

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Object-Oriented Programming or OOP Programming & Scripting Languages Databases Computer Science Artificial Intelligence

A Substitution Operation for Constraints	p. 1
Contradicting Conventional Wisdom in Constraint Satisfaction	p. 10
Nogood Backmarking with Min-Conflict Repair in Constraint Satisfaction and Optimization	p. 21
Global Consistency for Continuous Constraints	p. 40
Locally Simultaneous Constraint Satisfaction	p. 51
Analyzing and Debugging Hierarchies of Multi-Way Local Propagation Constraints	p. 63
Inferring 3-Dimensional Constraints with DEVI	p. 78
Beyond Finite Domains	p. 86
QUAD-CLP(R): Adding the Power of Quadratic Constraints	p. 95
Applications in Constraint Logic Programming with Strings	p. 109
Some Methodological Issues in the Design of CIAO, a Generic, Parallel Concurrent Constraint Logic Programming System	p. 123
Encapsulated Search and Constraint Programming in Oz	p. 134
Towards a Concurrent Semantics Based Analysis of CC and CLP	p. 151
CC Programs with both In- and Non-Determinism: A Concurrent Semantics	p. 162
Efficient and Complete Tests for Database Integrity Constraint Checking	p. 173
Linear vs. Polynomial Constraints in Database Query Languages	p. 181
Foundations of Aggregation Constraints	p. 193
Constraint-Generating Dependencies	p. 205
Constraint Objects	p. 218
Specification and Verification of Constraint-Based Dynamic Systems	p. 229
GSAT and Dynamic Backtracking	p. 243
Foundations of Indefinite Constraint Databases	p. 266
Set Constraints and Set-Based Analysis	p. 281
On the Design of Constraint Satisfaction Problems	p. 299
Experiences with Constraint-Based Array Dependence Analysis	p. 312
Set Constraints: Results, Applications and Future Directions	p. 326
Logic-Based Methods for Optimization	p. 336
Panel Session: Commercial Applications of Constraint Programming	p. 350
Author Index	p. 361
Table of Contents provided by Blackwell. All Rights Reserved.

Lecture Notes in Computer Science

Second International Workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2 - 4, 1994. Proceedings

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Artificial Intelligence

The God We Made

The Threat and Promise of Artificial Intelligence; Quarterly Essay 102

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Nexus

A Brief History of Information Networks from the Stone Age to AI

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

The Infinity Machine

Demis Hassabis, DeepMind and the Quest for Superintelligence

Empire of AI

Inside the reckless race for total domination

How We Learn

The New Science of Education and the Brain

Co-Intelligence

Living and Working with AI

CEH Certified Ethical Hacker v13 Study Guide

Sybex Study Guide

AI for Analogs

A Simple, Plain-English Guide

AI for Analogs

A Simple, Plain-English Guide

Artificial Intelligence

A Modern Approach, 4th Global Edition

Navigating the AI Frontier in Business

Balancing Economy, Ecology, and Inclusion

AI for Public Relations

A How-To Guide for Implementation and Management

AI and Data Science in Medical Research

New Developments and Advances

Control, Robotics and Sensors

Design, Control and Applications

Medium Hot

Images in the Age of Heat

Translate

Multilingual Access to Critical Services in the Age of AI

Recent Advances in Information Systems

Proceedings of the ICRAIS, Pointe aux Piments, Mauritius, 10â"12 September 2025

Trends in Advanced Unmanned Aerial Systems

Selected Contributions of ICAUAS 2025

XR and Metaverse

Proceedings of the 10th International XR-Metaverse Conference 2025, Maastricht, The Netherlands

The Cambridge Handbook of AI in Civil Dispute Resolution

Cambridge Law Handbooks

Machine Learning for Spatial Environmental Data

Theory, Applications and Software

Proceedings of the 6th International Conference on Big Data Analytics for Cyber-Physical System in Smart City, Volume 1

BDCPS 2024, December 7-8, Ji'an, China

This product is categorised by