Planning with Abduction: A Logical Framework to Explore Extensions to Classical Planning-Reference-Cited by-同舟云学术

Planning with Abduction: A Logical Framework to Explore Extensions to Classical Planning

Published:2004 Issue: Volume: Page:62-72
ISSN:0302-9743
Container-title:Advances in Artificial Intelligence – SBIA 2004
language:
Short-container-title:

Author:

do Lago Pereira Silvio,de Barros Leliane Nunes

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-28645-5_7

Reference21 articles.

1. Green, C.: Application of theorem proving to problem solving. In: International Joint Conference on Artificial Intelligence, pp. 219–239. Morgan Kaufmann, San Francisco (1969)

2. Eshghi, K.: Abductive planning with event calculus. In: Proc.of the 5th International Conference on Logic Programming, pp. 562–579. MIT Press, Cambridge (1988)

3. Missiaen, L., Bruynooghe, M., Denecker, M.: Chica, an abductive planning system based on event calculus (1994)

4. Shanahan, M.P.: An abductive event calculus planner. The Journal of Logic Programming 44, 207–239 (2000)

5. Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice-Hall, Englewood Cliffs (2003)

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Computing Abductive Explanations;IEEE Intelligent Systems;2022-11-01

2. MIST;Proceedings of the 25th ACM International on Conference on Information and Knowledge Management;2016-10-24

3. A Measure of Arbitrariness in Abductive Explanations;Theory and Practice of Logic Programming;2014-07

4. Supporting Business Process Exception Management by Dynamically Building Processes Using the BEM Framework;Decision Support Systems III - Impact of Decision Support Systems for Global Environments;2014

5. GAPs;ACM Transactions on Intelligent Systems and Technology;2011-10