Sciweavers

2 search results - page 1 / 1
» Mapping Conformant Planning into SAT Through Compilation and...
Sort
View
208
Voted
CAEPIA
2005
Springer
16 years 28 days ago
Mapping Conformant Planning into SAT Through Compilation and Projection
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...
Héctor Palacios, Hector Geffner
DLOG
2007
15 years 9 months ago
Retrospective on Clio: Schema Mapping and Data Exchange in Practice
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...
Renée J. Miller