Sciweavers

2 search results - page 1 / 1
» Compiling Causal Theories to Successor State Axioms and STRI...
Sort
View
CORR
2011
Springer
190views Education» more  CORR 2011»
12 years 9 months ago
Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify t...
Fangzhen Lin
AAAI
2000
13 years 6 months ago
From Causal Theories to Successor State Axioms and STRIPS-Like Systems
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify th...
Fangzhen Lin