A Complete Axiomatization for Blocks World.

Stephen A. Cook Yongmei Liu

Published in: J. Log. Comput. (2003)

Keyphrases

blocks world
complete axiomatization
situation calculus
relational reinforcement learning
explanation based learning
inclusion dependencies
graph coloring
genetic algorithm