Sciweavers

95
Voted
JAIR
1998
120views more  JAIR 1998»
15 years 8 days ago
The Automatic Inference of State Invariants in TIM
As planning is applied to larger and richer domains the e ort involved in constructing domain descriptions increases and becomes a signi cant burden on the human application desig...
Maria Fox, Derek Long