A Complete Axiomatization for Blocks World.

Stephen A. Cook Yongmei Liu

Published in: AI&M (2002)

Keyphrases

blocks world
complete axiomatization
situation calculus
explanation based learning
relational reinforcement learning
inclusion dependencies
graph coloring
data model