A New Logic of Beliefs: Monotonic and Non-Monotonic Beliefs - Part 1.

Published in: IJCAI (1991)

Keyphrases

propositional dynamic logic
belief revision
decision making
image sequences
logic programming
modal operators
machine learning
information retrieval
modal logic
classical logic
belief update