Complexity of Model Checking for Cardinality-Based Belief Revision Operators.

Nadia Creignou Raïda Ktari Odile Papini

Published in: ECSQARU (2017)

Keyphrases

model checking
pspace complete
revision operators
belief revision
temporal logic
finite state machines
np complete
satisfiability problem
nonmonotonic reasoning
belief base
object oriented
propositional logic
decision problems
default reasoning
belief change
causal graph
constraint satisfaction problems