The complexity of belief update.

Paolo Liberatore

Published in: Artif. Intell. (2000)

Keyphrases

belief update
belief change
formal theory
belief revision
computational complexity
planning under uncertainty
database
dynamic programming
logic programs
complex systems
possibilistic logic