Table of Contents

3.1: M. Ginsberg: AI and Nonmonotonic Reasoning
3.2: D. Makinson: General Non monotonic Logic
3.3: J. Horty: Some direct theories of nonmonotonic Inheritance
3.4: D. Poole: Default Logic
3.5: K. Konolige: Autoepistemic Logic
3.6: V. Lifschitz: Circumscription
3.7: D. Nute: Defeasible Logic
3.8: H. Kyburg: Probabilistic Logic
3.9: Possibilistic Logic:

Reviews

Review of the first three volumes: '.. an essential acquisition for any library covering theoretical computer science and highly desirable for any researcher in the field.' Times Higher Education Supplement Review of the first three volumes: '... a detailed and comprehensive exposition of the theoretical and computational features of a wide variety of classical and non-classical logics.' '... can be unreservedly recommended to AI practitioners with proficiency in logic and commitment to its role in the development of AI systems.' The Computer Journal