Nonmonotonic reasoning provides formal methods that enable intelligent systems to operate adequately when faced with incomplete or changing information. In part

When I first participated in exploring theories of nonmonotonic reasoning in the late 1970s, I had no idea of the wealth of conceptual and mathematical results

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 is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelli

This is the first book that integrates nonmonotonic reasoning and belief change into a single framework from an artificial intelligence logic point-of-view. The