Switch to: Citations

Add references

You must login to add references.
  1. Using temporal logics to express search control knowledge for planning.Fahiem Bacchus & Froduald Kabanza - 2000 - Artificial Intelligence 116 (1-2):123-191.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • ConGolog, a concurrent programming language based on the situation calculus.Giuseppe De Giacomo, Yves Lespérance & Hector J. Levesque - 2000 - Artificial Intelligence 121 (1-2):109-169.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • The actorʼs view of automated planning and acting: A position paper.Malik Ghallab, Dana Nau & Paolo Traverso - 2014 - Artificial Intelligence 208 (C):1-17.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners.Alfonso E. Gerevini, Patrik Haslum, Derek Long, Alessandro Saetti & Yannis Dimopoulos - 2009 - Artificial Intelligence 173 (5-6):619-668.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • A new representation and associated algorithms for generalized planning.Siddharth Srivastava, Neil Immerman & Shlomo Zilberstein - 2011 - Artificial Intelligence 175 (2):615-647.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Intention is choice with commitment.Philip R. Cohen & Hector J. Levesque - 1990 - Artificial Intelligence 42 (2-3):213-261.
    This paper explores principles governing the rational balance among an agent's beliefs, goals, actions, and intentions. Such principles provide specifications for artificial agents, and approximate a theory of human action (as philosophers use the term). By making explicit the conditions under which an agent can drop his goals, i.e., by specifying how the agent is committed to his goals, the formalism captures a number of important properties of intention. Specifically, the formalism provides analyses for Bratman's three characteristic functional roles played (...)
    Download  
     
    Export citation  
     
    Bookmark   111 citations  
  • A verification framework for agent programming with declarative goals.F. S. de Boer, K. V. Hindriks, W. van der Hoek & J. -J. Ch Meyer - 2007 - Journal of Applied Logic 5 (2):277-302.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Automated composition of Web services via planning in asynchronous domains.Piergiorgio Bertoli, Marco Pistore & Paolo Traverso - 2010 - Artificial Intelligence 174 (3-4):316-361.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • A heuristic search approach to planning with temporally extended preferences.Jorge A. Baier, Fahiem Bacchus & Sheila A. McIlraith - 2009 - Artificial Intelligence 173 (5-6):593-618.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Fast planning through planning graph analysis.Avrim L. Blum & Merrick L. Furst - 1997 - Artificial Intelligence 90 (1-2):281-300.
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • Automatic behavior composition synthesis.Giuseppe De Giacomo, Fabio Patrizi & Sebastian Sardiña - 2013 - Artificial Intelligence 196 (C):106-142.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Plan reuse versus plan generation: a theoretical and empirical analysis.Bernhard Nebel & Jana Koehler - 1995 - Artificial Intelligence 76 (1-2):427-454.
    Download  
     
    Export citation  
     
    Bookmark   7 citations