GOAL as a planning formalism

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5774 LNAI, Issue , 2009, Pages 29-40

  Hindriks, Koen V ^a   Roberti, Tijmen ^a  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

AGENT PROGRAMMING; AGENT PROGRAMMING LANGUAGES; AGENT-ORIENTED PROGRAMMING; COMPLEX ENVIRONMENTS; PLANNING CAPABILITY; PLANNING FORMALISM; PROGRAMMING LANGUAGE;

C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; LINGUISTICS; QUERY LANGUAGES;

OBJECT ORIENTED PROGRAMMING;

EID: 70350378239     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04143-3_4     Document Type: Conference Paper

References (15)

1. Apt, K.R., Bol, R.: Logic programming and negation: A survey. Journal of Logic Programming 19, 9-71 (1994)
2. Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artificial Intelligence 16, 123-191 (2000)
3. Baier, J., McIlraith, S.: Planning with first-order temporally extended goals using heuristic search. In: Proceedings of the 21st National Conference on Artificial Intelligence (AAAI 2006), Boston, MA, July 2006, pp. 788-795 (2006)
4. Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Platforms and Applications. Springer, Heidelberg (2005)
5. Cerrito, S., Mayer, M.C.: Using Linear Temporal Logic to Model and Solve Planning Problems. In: Giunchiglia, F. (ed.) AIMSA 1998. LNCS (LNAI), vol. 1480, pp. 141-152. Springer, Heidelberg (1998)
6. Cohen, P.R., Levesque, H.J.: Intention Is Choice with Commitment. Artificial Intelligence 42, 213-261 (1990)
7. Emerson, E.A.: Temporal and Modal Mogic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science (1990)
8. Gerevini, A., Long, D.: Plan constraints and preferences in PDDL3. Technical report, Department of Electronics for Automation, University of Brescia (2005)
9. Hindriks, K.V.: Modules as Policy-Based Intentions. In: Dastani, M.M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS (LNAI), vol. 4908, pp. 156-171. Springer, Heidelberg (2008)
10. Hindriks, K.V., van Riemsdijk, M.B., van der Hoek, W.: Agent programming with temporally extended goals. In: Proceedings of the Eighth International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2009 (2009)
11. Mayer, M.C., Limongelli, C., Orlandini, A., Poggioni, V.: Linear temporal logic as an executable semantics for planning languages. Journal of Logic, Language and Information 16 (2007)
12. Pednault, E.P.D.: ADL and the State-Transition Model of Action. Journal of Logic and Computation 4(5), 467-512 (1994)
13. Röger, G., Helmert, M., Nebel, B.: On the Relative Expressiveness of ADL and Golog. In: Proc. of the Eleventh Int. Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 544-550. AAAI Press, Menlo Park (2008)
14. Sardina, S., de Silva, L.P., Padgham, L.: Hierarchical planning in BDI agent programming languages. In: Proc. of the Fifth Int. Conference of Autonomous Agents and Multi-Agent Systems (AAMAS 2006), pp. 1001-1008 (2006)
15. Thiébaux, S., Hoffmann, J., Nebel, B.: In defense of PDDL axioms. Artificial Intelligence 168, 38-69 (2005)