Switch to: Citations

Add references

You must login to add references.
  1. What robots can do: robot programs and effective achievability.Fangzhen Lin & Hector J. Levesque - 1998 - Artificial Intelligence 101 (1-2):201-226.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • How to progress a database.Fangzhen Lin & Ray Reiter - 1997 - Artificial Intelligence 92 (1-2):131-167.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Existential assertions and quantum levels on the tree of the situation calculus.Francesco Savelli - 2006 - Artificial Intelligence 170 (6-7):643-652.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (1 other version)Some Philosophical Problems from the Standpoint of Artificial Intelligence.J. McCarthy & P. J. Hayes - 1969 - Machine Intelligence 4:463-502.
    Download  
     
    Export citation  
     
    Bookmark   305 citations  
  • Knowledge, action, and the frame problem.Richard B. Scherl & Hector J. Levesque - 2003 - Artificial Intelligence 144 (1-2):1-39.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Proving properties of states in the situation calculus.Raymond Reiter - 1993 - Artificial Intelligence 64 (2):337-351.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • (1 other version)The Tree of Knowledge in Action: Towards a Common Perspective.Johan van Benthem & Eric Pacuit - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 87-106.
    Download  
     
    Export citation  
     
    Bookmark   13 citations