 |
Laboratoire d'informatique fondamentale de Marseille UMR 6166 - CNRS, Université de la Méditerranée, Université de Provence |
 |
|
Laboratoire d'informatique fondamentale de Marseille UMR 6166 - CNRS, Université de la Méditerranée, Université de Provence |
|
| HAL : hal-00336105, version 1 |
| arXiv : 0811.0075 |
| Fiche détaillée |  Récupérer au format |
 |
|
|
| Defeasible inheritance systems and reactive diagrams |
|
|
| Dov Gabbay 1Karl Schlechta 2 |
|
|
| (31/10/2008) |
|
|
|
| We give an analysis of defeasible inheritance diagrams, also from the perspective of reactive diagrams. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | King's College London |
|
|
|
King's College London |
|
|
| 2 : | Laboratoire d'informatique Fondamentale de Marseille (LIF) |
|
|
|
CNRS : UMR6166 – Université de la Méditerranée - Aix-Marseille II – Université de Provence - Aix-Marseille I |
|
|
|
|
|
|
|
|
|
| Domaine | : | Mathématiques/Logique |
|
|
|
|
| hal-00336105, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00336105 | |
| oai:hal.archives-ouvertes.fr:hal-00336105 | |
| Contributeur : Karl Schlechta | |
| Soumis le : Vendredi 31 Octobre 2008, 21:26:35 | |
| Dernière modification le : Samedi 1 Novembre 2008, 10:13:58 | |
