Together with the disruptive development of modern sub-symbolic approaches to artificial
intelligence (AI), symbolic approaches to classical AI are re-gaining momentum, as more …

Publisher Summary This chapter reviews that continuous constraint solving has been widely
studied in several fields of applied mathematics and computer science. In computer algebra …

Constraint programming is a powerful paradigm for solving combinatorial search problems
that draws on a wide range of techniques from artificial intelligence, computer science …

This book provides a comprehensive and much needed introduction to the field by one of its
foremost experts. It is beautifully written and presents a unifying framework capturing a wide …

A concise and lucid exposition of the major topics in knowledge representation, from two of
the leading authorities in the field.-Stuart Russell, UC Berkeley The information is valuable …

Abstract Constraint Logic Programming (CLP) is a merger of two declarative paradigms:
constraint solving and logic programming. Although a relatively new field, CLP has …

Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

Constraint Programming is a problem-solving paradigm that establishes a clear distinction
between two pivotal aspects of a problem:(1) a precise definition of the constraints that …

Hospitals need to repeatedly produce duty rosters for its nursing staff. The good scheduling
of nurses has impact on the quality of health care, the recruitment of nurses, the …

Constraint Handling Rules (CHR) are our proposal to allow more flexibility and application-
oriented customization of constraint systems. CHR are a declarative language extension …