Solving challenging computational problems involving time has been a critical component in the development of artificial intelligence systems almost since the i

Solving challenging computational problems involving time has been a critical component in the development of artificial intelligence systems almost since the i

Constraint-based reasoning is an important area of automated reasoning in artificial intelligence, with many applications. These include configuration and desig

Constraint reasoning has matured over the last three decades with contributions from a diverse community of researchers in artificial intelligence, databases an

While labeled data is expensive to prepare, ever increasing amounts of unlabeled data is becoming widely available. In order to adapt to this phenomenon, severa