Switch to: Citations

Add references

You must login to add references.
  1. Pouring liquids: A study in commonsense physical reasoning.Ernest Davis - 2008 - Artificial Intelligence 172 (12-13):1540-1578.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Mid-sized axiomatizations of commonsense problems: A case study in egg cracking.Leora Morgenstern - 2001 - Studia Logica 67 (3):333-384.
    We present an axiomatization of a problem in commonsense reasoning, characterizing the proper procedure for cracking an egg and transferring its contents to a bowl. The axiomatization is mid-sized, larger than toy problems such as the Yale Shooting Problem or the Suitcase Problem, but much smaller than the comprehensive axiomatizations associated with CYC and HPKB. This size of axiomatization permits the development of non-trivial, reusable core theories of commonsense reasoning, acts as a testbed for existing theories of commonsense reasoning, and (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Qualitative process theory.Kenneth D. Forbus - 1984 - Artificial Intelligence 24 (1-3):85-168.
    Download  
     
    Export citation  
     
    Bookmark   120 citations