Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Fahiem Bacchus and Froduald Kabanza. Using temporal logics to express search control knowledge for planning. Under review, currently available at http://www.lpaig.uwaterloo.ca/~fbacchus/on-line.html, 1998.
2. Oren Etzioni. Acquiring search-control knowledge via static analysis. Artificial Intelligence, 62(2):255–302, 1993.
3. M. Fox and D. Long. The automatic inference of state invariants in TIM. JAIR, 9:367–421, 1998.
4. Cordell Green. Application of theorem proving to problem solving. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 219— 239, 1969.
5. A. Gerevini and L. Schubert. Accelerating partial-order planners: Some techniques for effective search control and pruning. Journal of Artificial Intelligence Research, 5:95–137, 1996.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献