Communication Dans Un Congrès
Année : 2017
Nadia Creignou : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01786351
Soumis le : samedi 5 mai 2018-13:58:42
Dernière modification le : vendredi 22 mars 2024-18:24:03
Dates et versions
Identifiants
- HAL Id : hal-01786351 , version 1
Citer
Nadia Creignou, Raïda Ktari, Odile Papini. Complexity of Model Checking for Cardinality-Based Belief Revision Operators. Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 14th European Conference, {ECSQARU} 2017, Jul 2017, Lugano, Switzerland. ⟨hal-01786351⟩
32
Consultations
0
Téléchargements