The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. The book comprises a general introduction, follow

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

The first introductory textbook on description logics, relevant to computer science, knowledge representation and the semantic web.

This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wi

The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems. It includes papers by leading internatio