A New Perspective on Nonmonotonic Logics

Logical Tools for Handling Change in Agent-Based Systems

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