Switch to: Citations

Add references

You must login to add references.
  1. The Classical Decision Problem.Egon Börger, Erich Grädel & Yuri Gurevich - 2000 - Studia Logica 64 (1):140-143.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus.Jochen Renz & Bernhard Nebel - 1999 - Artificial Intelligence 108 (1-2):69-123.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • Point, line, and surface, as sets of solids.Theodore de Laguna - 1922 - Journal of Philosophy 19 (17):449-461.
    Download  
     
    Export citation  
     
    Bookmark   61 citations  
  • Individuals and points.Bowman L. Clark - 1985 - Notre Dame Journal of Formal Logic 26 (1):61-75.
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  • A calculus of individuals based on "connection".Bowman L. Clarke - 1981 - Notre Dame Journal of Formal Logic 22 (3):204-218.
    Although Aristotle (Metaphysics, Book IV, Chapter 2) was perhaps the first person to consider the part-whole relationship to be a proper subject matter for philosophic inquiry, the Polish logician Stanislow Lesniewski [15] is generally given credit for the first formal treatment of the subject matter in his Mereology.1 Woodger [30] and Tarski [24] made use of a specific adaptation of Lesniewski's work as a basis for a formal theory of physical things and their parts. The term 'calculus of individuals' was (...)
    Download  
     
    Export citation  
     
    Bookmark   67 citations  
  • A Spatial Logic Based on Regions and Connection.David Randell, Cui A., Cohn Zhan & G. Anthony - 1992 - KR 92:165--176.
    Download  
     
    Export citation  
     
    Bookmark   55 citations