2 search results - page 1 / 1 » Mapping Conformant Planning into SAT Through Compilation and... |
CAEPIA
2005
Springer
13 years 10 months ago
2005
Springer
Conformant planning is a variation of classical AI planning where the initial state is partially known and actions can have nondeterministic effects. While a classical plan must a...
DLOG
2007
13 years 7 months ago
2007
Clio is a joint research project between the University of Toronto and IBM Almaden Research Center started in 1999 to address both foundational and systems issues related to the ma...