- Up -
Next >>
Part I: Introduction
1 Abstract
2 What is Concurrent Constraint Programming?
2.1 General Ideas
2.1.1 Applications
2.1.2 The Problem: Combinatorial Explosion
Constraint Satisfaction Problems
Generate and Test
2.1.3 Interleaving Generation and Checking
2.1.4 The Method: Propagate and Distribute
Constraints as concurrent agents
2.1.5 What is Oz and who is Mozart?
2.2 Getting Started with Oz
2.2.1 Installation
Common Problems
2.2.2 Programming Environment
2.3 Solving a Combinatorial Problem
2.3.1 Bits of a Constraint Solver
2.3.2 Observing Propagation
2.3.3 Composing the Solver
2.3.4 Was this a good Example?
2.3.5 Questions
2.4 Exercise
2.5 Summary
2.6 Program Collection
3 What is Computational Linguistics?
3.1 What are we doing in Syntax?
3.2 What are we doing in Semantics?
3.3 Demo Systems
- Up -
Next >>
Denys Duchier
,
Claire Gardent
and
Joachim Niehren
Version 1.3.99 (20050412)