Switch to: Citations

Add references

You must login to add references.
  1. 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  
  • Complexity, decidability and undecidability results for domain-independent planning.Kutluhan Erol, Dana S. Nau & V. S. Subrahmanian - 1995 - Artificial Intelligence 76 (1-2):75-88.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Experiences with an interactive museum tour-guide robot.Wolfram Burgard, Armin B. Cremers, Dieter Fox, Dirk Hähnel, Gerhard Lakemeyer, Dirk Schulz, Walter Steiner & Sebastian Thrun - 1999 - Artificial Intelligence 114 (1-2):3-55.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • The computational complexity of propositional STRIPS planning.Tom Bylander - 1994 - Artificial Intelligence 69 (1-2):165-204.
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  • Qualitative choice logic.Gerhard Brewka, Salem Benferhat & Daniel Le Berre - 2004 - Artificial Intelligence 157 (1-2):203-237.
    Download  
     
    Export citation  
     
    Bookmark   9 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  
  • 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  
  • 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