ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond.

Christian Fritz Jorge A. Baier Sheila A. McIlraith

Published in: KR (2008)

Keyphrases

robot control
action theories
situation calculus
initial state
autonomous robots
deterministic finite state automata
reasoning about actions
domain description
heuristic search
planning problems
action descriptions
learning algorithm
dynamic programming
mobile robot
object oriented
action language