iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.dagstuhl.de/rec/conf/ecsqaru/CreignouKP17.rdf
Nadia Creignou et al.: Complexity of Model Checking for Cardinality-Based Belief Revision Operators. (2017) conf/ecsqaru/CreignouKP17 10.1007/978-3-319-61581-3_35 Complexity of Model Checking for Cardinality-Based Belief Revision Operators. 3 Nadia Creignou 1 Raïda Ktari 2 Odile Papini 3 387-397 ECSQARU ECSQARU 2017 2017 provenance information for RDF data of dblp record 'conf/ecsqaru/CreignouKP17' 2017-07-04T14:31:18+0200