460 search results - page 36 / 92 » A New Approach to Conformant Planning Using CNF* |
ISDA
2009
IEEE
15 years 4 months ago
2009
IEEE
Educational process mining (EPM) aims at (i) constructing complete and compact educational process models that are able to reproduce all observed behavior (process model discovery...
AIPS
2006
14 years 11 months ago
2006
In this paper, we propose a new approach, called lemma-reusing, for accelerating SAT based planning and scheduling. Generally, SAT based approaches generate a sequence of SAT prob...
AAAI
2008
15 years 1 days ago
2008
Recent advances in classical planning have used the SAS+ formalism, and several effective heuristics have been developed based on the SAS+ formalism. Comparing to the traditional ...
3DPVT
2006
IEEE
15 years 3 months ago
2006
IEEE
We recently proposed a new and efficient next-bestview algorithm for 3D reconstruction of indoor scenes using active range sensing. We overcome the computation difficulty of evalu...
AIPS
2000
14 years 11 months ago
2000
We develop an algorithm for merging plans that are represented in a richly expressive language. Speci cally, weare concerned with plans that have i quantitative temporal constrain...