Switch to: Citations

Add references

You must login to add references.
  1. Logic of many-sorted theories.Hao Wang - 1952 - Journal of Symbolic Logic 17 (2):105-116.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Towards a general theory of action and time.James F. Allen - 1984 - Artificial Intelligence 23 (2):123-154.
    Download  
     
    Export citation  
     
    Bookmark   78 citations  
  • Temporal logics in AI: Semantical and ontological considerations.Yoav Shoham - 1987 - Artificial Intelligence 33 (1):89-104.
    Download  
     
    Export citation  
     
    Bookmark   10 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