A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.

The sheer complexity of computer systems has meant that automated reasoning, i.e. the ability of computers to perform logical inference, has become a vital comp

Handbook of Knowledge Representation describes the essential foundations of Knowledge Representation, which lies at the core of Artificial Intelligence (AI). Th

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate s

Model theory begins with an audacious idea: to consider statements about mathematical structures as mathematical objects of study in their own right. While inhe