Tableau calculus for preference-based conditional logics : PCL and its extensions
Résumé
no abstract
Article Dans Une Revue
ACM Transactions on Computational Logic
Année : 2009
William Domingues Vinhas : Connectez-vous pour contacter le contributeur
https://amu.hal.science/hal-01479562
Soumis le : mardi 28 février 2017-20:39:17
Dernière modification le : mardi 5 décembre 2023-18:08:07
Dates et versions
Identifiants
- HAL Id : hal-01479562 , version 1
Citer
Giordano L., Gliozzi V., Nicola Olivetti, Schwind C.. Tableau calculus for preference-based conditional logics : PCL and its extensions. ACM Transactions on Computational Logic, 2009, 10 (3). ⟨hal-01479562⟩
55
Consultations
0
Téléchargements