Planning in the Fluent Calculus Using Binary Decision Diagrams.

Hans-Peter Störr

Published in: AI Mag. (2001)

Keyphrases

binary decision diagrams
symbolic model checking
planning problems
fluent calculus
boolean functions
heuristic search
situation calculus
partial observability
programming language
variable ordering
model checking
reasoning about actions
high level
planning domains
state space
deterministic domains