Many approaches in the field of nonmonotonic and commonsense reasoning are actually different representations of the same basic ideas and constructions. This bo

The present volume of the Handbook of the History of Logic brings together two of the most important developments in 20th century non-classical logic. These are

This Undergraduate Textbook introduces key methods and examines the major areas of philosophy in which formal methods play pivotal roles. Coverage begins with a

This book constitutes the refereed proceedings of the 14th International Conference on Inductive Logic Programming, ILP 2004, held in Porto, Portugal, in Septem

This Festschrift published in honor of Vladimir Lifschitz on the occasion of his 65th birthday presents 39 articles by colleagues from all over the world with w