Defeasible inheritance systems and reactive diagrams

Dov Gabbay (1) , Karl Schlechta (2)

1 King‘s College London
2 LIF - Laboratoire d'informatique Fondamentale de Marseille - UMR 6166

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

Domaines: Logique [math.LO]

Dov Gabbay, Karl Schlechta. Defeasible inheritance systems and reactive diagrams. 2008. ⟨hal-00336105⟩