Computing programs for generalized planning using a classical planner-Reference-Cited by-同舟云学术

Computing programs for generalized planning using a classical planner

Author:

Segovia-Aguas Javier^ORCID,Jiménez Sergio,Jonsson Anders

Funder

Spanish Ministry of Science

Publisher

Elsevier BV

Subject

Artificial Intelligence,Linguistics and Language,Language and Linguistics

Reference66 articles.

1. Distill: learning domain-specific planners by example;Winner,2003

2. Automatic derivation of finite-state machines for behavior control;Bonet,2010

3. A correctness result for reasoning about one-dimensional planning problems;Hu,2011

4. Directed search for generalized plans using classical planners;Srivastava,2011

5. A generic technique for synthesizing bounded finite-state controllers;Hu,2013

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

4. Automated Acquisition of Control Knowledge for Classical Planners;Proceedings of the 12th International Conference on Agents and Artificial Intelligence;2020

5. Explanation-Based Learning of Action Models;Knowledge Engineering Tools and Techniques for AI Planning;2020