Logical Tools for Handling Change in Agent-Based Systems

A New Perspective on Nonmonotonic Logics

Formal Methods for Nonmonotonic and Related Logics: Vol II: Theory Revision, Inheritance, and Various Abstract Properties

Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size