This textbook offers an introduction to the Eclipse system and a guide to problem-solving for stu...

Investigating meta-programming within the logic programming paradigm, Meta-Logics and Logic Progr...

The cooperation test [Apt, Francez & de Roever] was originally conceived to capture the proof the...

A collection of lectures on various aspects of game theory relevant for computer scientists.

Upper-division textbook covering foundations of constraint programming and applications to schedu...

Scheduling, vehicle routing and timetabling are all examples of constraint problems, and methods ...

This collection of current research presents results from a three-year, ESPRIT-funded effort to e...

Logic Programming was founded 25 years ago. This exciting new text reveals both the evolution of ...

A comprehensive undergraduate textbook covering both theory and practical design issues, with an ...

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional metho...

Constraint programming is the fruit of several decades of research carried out in mathematical lo...

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional metho...