Author:
Hoffmann Jörg,Brafman Ronen I.
Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference31 articles.
1. Planning with incomplete information as heuristic search in belief space;Bonet,2000
2. Conformant planning via symbolic model checking;Cimatti;JAIR,2000
3. P. Bertoli, A. Cimatti, Improving heuristics for planning as search in belief space, in: [30], pp. 143–152
4. A computing procedure for quantification theory;Davis;J. ACM,1960
5. A machine program for theorem proving;Davis;Comm. ACM,1962
Cited by
57 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献