Switch to: Citations

Add references

You must login to add references.
  1. Strips: A new approach to the application of theorem proving to problem solving.Richard E. Fikes & Nils J. Nilsson - 1971 - Artificial Intelligence 2 (3-4):189-208.
    Download  
     
    Export citation  
     
    Bookmark   217 citations  
  • Extending and implementing the stable model semantics.Patrik Simons, Ilkka Niemelä & Timo Soininen - 2002 - Artificial Intelligence 138 (1-2):181-234.
    Download  
     
    Export citation  
     
    Bookmark   36 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  
  • Computational complexity of planning and approximate planning in the presence of incompleteness.Chitta Baral, Vladik Kreinovich & Raúl Trejo - 2000 - Artificial Intelligence 122 (1-2):241-267.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • A commonsense language for reasoning about causation and rational action.Charles L. Ortiz - 1999 - Artificial Intelligence 111 (1-2):73-130.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Weak, strong, and strong cyclic planning via symbolic model checking.A. Cimatti, M. Pistore, M. Roveri & P. Traverso - 2003 - Artificial Intelligence 147 (1-2):35-84.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Planning control rules for reactive agents.F. Kabanza, M. Barbeau & R. St-Denis - 1997 - Artificial Intelligence 95 (1):67-113.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • The computational complexity of propositional STRIPS planning.Tom Bylander - 1994 - Artificial Intelligence 69 (1-2):165-204.
    Download  
     
    Export citation  
     
    Bookmark   49 citations