Decidable Verification of Decision-Theoretic Golog.

Jens Claßen Benjamin Zarrieß

Published in: FroCoS (2017)

Keyphrases

decision theoretic
expected utility
model checking
decision theory
plan recognition
planning under uncertainty
linear time temporal logic
decision models
datalog programs
situation calculus
formal verification
goal state
artificial intelligence
bayesian networks
knowledge representation
first order logic