Author:
Balduccini Marcello,Gelfond Michael,Nogueira Monica
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference46 articles.
1. Bacchus, F., Kabanza, F.: Using temporal logic to control search in a forward chaining Planner, pp. 141–153 (1996)
2. Bacchus, F., Kabanza, F.: Planning for temporally extended goals. Ann. Math. Artif. Intell. 22(1–2), 5–27 (1998)
3. Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artif. Intell. 16, 123–191 (2000)
4. Balduccini, M.: USA-smart: improving the quality of plans in answer set planning. In: PADL’04, Lecture Notes in Artificial Intelligence (LNCS), Jun 2004
5. Balduccini, M.: Answer Set Based Design of Highly Autonomous, Rational Agents. PhD thesis, Texas Tech University, Dec 2005
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献