Convergence of Opinion Diffusion is PSPACE-Complete.

Dmitry Chistikov Grzegorz Lisowski Mike Paterson Paolo Turrini

Published in: AAAI (2020)

Keyphrases

pspace complete
np complete
model checking
satisfiability problem
decision problems
exptime complete
strips planning
tree automata
causal graph
computational complexity
np hard
temporal logic
machine learning
knowledge base
optimal policy
constraint satisfaction