Space and time are inextricably linked. Reasoning about space often involves reasoning about change in spatial configurations. Qualitative spatial information t

This book constitutes the refereed proceedings of the 16th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 20

The book is intended as an invitation to the topic of relations on a rather general basis. It fills the gap between the basic knowledge offered in countless int

This book constitutes the thoroughly refereed post-proceedings of the 21st International Conference on Inductive Logic Programming, ILP 2011, held in Windsor Gr

The four-volume set LNCS 8925, 8926, 8927, and 8928 comprises the thoroughly refereed post-workshop proceedings of the Workshops that took place in conjunction