Switch to: Citations

Add references

You must login to add references.
  1. Proving properties of states in the situation calculus.Raymond Reiter - 1993 - Artificial Intelligence 64 (2):337-351.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  • 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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   217 citations  
  • Downward refinement and the efficiency of hierarchical problem solving.Fahiem Bacchus & Qiang Yang - 1994 - Artificial Intelligence 71 (1):43-100.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations