Login / Signup

On Tarski's Axiomatization of Mereology.

Neil Tennant
Published in: Stud Logica (2019)
Keyphrases
  • situation calculus
  • spatial reasoning
  • rough mereology
  • general theory
  • knowledge representation
  • complete axiomatization
  • data analysis
  • approximate reasoning