Sciweavers

3 search results - page 1 / 1
» From Causal Theories to Successor State Axioms and STRIPS-Li...
Sort
View
AAAI
2000
13 years 5 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
CORR
2011
Springer
190views Education» more  CORR 2011»
12 years 8 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
JAIR
2006
179views more  JAIR 2006»
13 years 4 months ago
The Fast Downward Planning System
Fast Downward is a classical planning system based on heuristic search. It can deal with general deterministic planning problems encoded in the propositional fragment of PDDL2.2, ...
Malte Helmert