Login / Signup
Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief.
Mikkel Birkegaard Andersen
Thomas Bolander
Hans van Ditmarsch
Martin Holm Jensen
Published in:
CoRR (2015)
Keyphrases
</>
belief revision
belief functions
probability theory
epistemic states
neural network
artificial intelligence
search engine
information systems
knowledge base
dynamic programming
temporal logic
decision process
belief base
evidential reasoning