Constraint-Based Reasoning

Constraint-based reasoning is an important area of automated reasoning with many applications in artificial intelligence. These include configuration and design problems, planning and scheduling, temporal and spatial reasoning, defeasible and causal reasoning, machine vision and language understanding, qualitative and diagnostic reasoning, and expert systems. Constraint-Based Reasoning present current work in the field at several levels: theory, algorithms, languages, applications, and hardware.