Sciweavers

ECP
1997
Springer
102views Robotics» more  ECP 1997»
14 years 3 months ago
Event Calculus Planning Revisited
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
Murray Shanahan