This book presents a practical introduction to ASP, aiming at using ASP languages and systems for solving application problems.

It gives readers a one-stop place in which to find Date’s latest thinking on relational technology. Many papers are not easily found outside this book.

The book is suitable for use in graduate courses and should be of interest to graduate students and researchers in computer science, databases and artificial intelligence, as well as practitioners of data mining and machine learning.

This book contains leading survey papers on the various aspects of Abduction, both logical and numerical approaches.

This book presents thoroughly arranged tutorial papers corresponding to lectures given by leading researchers at the Second International Summer School on Reasoning Web in Lisbon, Portugal, in September 2006.

The Handbook of Defeasible Reasoning and Uncertainty Management Systems is unique in its masterly survey of the computational and algorithmic problems of systems of applied reasoning.