Belief Update without Compactness in Non-finitary Languages.

Jandson S. Ribeiro Abhaya Nayak Renata Wassermann

Published in: IJCAI (2019)

Keyphrases

belief update
belief revision
formal theory
expressive power
computational properties
belief change
finite state
planning under uncertainty
belief state
minimal change
propositional logic
databases
knowledge base
first order logic