Complexity of model checking for cardinality-based belief revision operators

DOI10.1007/978-3-319-61581-3_35zbMath1491.68200OpenAlexW2625939790MaRDI QIDQ2401889

Odile Papini, Nadia Creignou, Raida Ktari

Publication date: 5 September 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-61581-3_35

zbMATH Keywords

complexitybelief revisionmodel checkingmaximal cardinality

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Toward credible belief base revision

This page was built for publication: Complexity of model checking for cardinality-based belief revision operators