Switch to: Citations

Add references

You must login to add references.
  1. Some Philosophical Problems from the Standpoint of Artificial Intelligence.J. McCarthy & P. J. Hayes - 1969 - Machine Intelligence 4:463-502.
    No categories
     
    Export citation  
     
    Bookmark   301 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  
  • Let's plan it deductively!W. Bibel - 1998 - Artificial Intelligence 103 (1-2):183-208.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Using temporal logics to express search control knowledge for planning.Fahiem Bacchus & Froduald Kabanza - 2000 - Artificial Intelligence 116 (1-2):123-191.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  • Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems.Raymond Reiter - 2001 - Cambridge: Mass. : MIT Press.
    Specifying and implementing dynamical systems with the situation calculus.
    $36.00 used   $40.00 new    View on Amazon.com
    Direct download  
     
    Export citation  
     
    Bookmark   44 citations  
  • Some philosophical problems from the standpoint of artificial intelligence.John McCarthy & Patrick Hayes - 1969 - In B. Meltzer & Donald Michie (eds.), Machine Intelligence 4. Edinburgh University Press. pp. 463--502.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   343 citations  
  • The tableau method for temporal logic: An overview.Pierre Wolper - 1985 - Logique Et Analyse 28 (110-111):119-136.
     
    Export citation  
     
    Bookmark   16 citations