Symbolic Boolean manipulation with ordered binary-decision diagrams
ACM Computing Surveys (CSUR)
Decomposable negation normal form
Journal of the ACM (JACM)
Conformant planning via heuristic forward search: a new approach
Artificial Intelligence
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Planning graph heuristics for belief space search
Journal of Artificial Intelligence Research
A translation-based approach to contingent planning
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Replanning in domains with partial information and sensing actions
Journal of Artificial Intelligence Research
Hi-index | 0.00 |