Complexity of Model Checking for Cardinality-Based Belief Revision Operators

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01786351
Contributor : Nadia Creignou <>
Submitted on : Saturday, May 5, 2018 - 1:58:42 PM
Last modification on : Thursday, March 7, 2019 - 11:37:14 AM

Identifiers

  • HAL Id : hal-01786351, version 1

Collections

Citation

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, 2017, Jul 2017, Lugano, Switzerland. ⟨hal-01786351⟩

Share

Metrics

Record views

44