Defeasible inheritance systems and reactive diagrams

We give an analysis of defeasible inheritance diagrams, also from the perspective of reactive diagrams

Logical tools for handling change in agent-based systems

We give a unified approach to various results and problems of nonclassical logic