Order:
  1.  29
    Handbook of Spatial Logics.Marco Aiello, Ian Pratt-Hartmann & Johan van Benthem (eds.) - 2007 - Springer Verlag.
    A spatial logic is a formal language interpreted over any class of structures featuring geometrical entities and relations, broadly construed. In the past decade, spatial logics have attracted much attention in response to developments in such diverse fields as Artificial Intelligence, Database Theory, Physics, and Philosophy. The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. The book comprises a general introduction, followed by fourteen chapters by invited authors. Each (...)
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  2.  40
    A ModalWalk Through Space.Marco Aiello & Johan van Benthem - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):319-363.
    We investigate the major mathematical theories of space from a modal standpoint: topology, affine geometry, metric geometry, and vector algebra. This allows us to see new fine-structure in spatial patterns which suggests analogies across these mathematical theories in terms of modal, temporal, and conditional logics. Throughout the modal walk through space, expressive power is analyzed in terms of language design, bisimulations, and correspondence phenomena. The result is both unification across the areas visited, and the uncovering of interesting new questions.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  3. Logic for physical space: From antiquity to present days.Marco Aiello, Guram Bezhanishvili, Isabelle Bloch & Valentin Goranko - 2012 - Synthese 186 (3):619-632.
    Since the early days of physics, space has called for means to represent, experiment, and reason about it. Apart from physicists, the concept of space has intrigued also philosophers, mathematicians and, more recently, computer scientists. This longstanding interest has left us with a plethora of mathematical tools developed to represent and work with space. Here we take a special look at this evolution by considering the perspective of Logic. From the initial axiomatic efforts of Euclid, we revisit the major milestones (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4.  25
    HTN planning: Overview, comparison, and beyond.Ilche Georgievski & Marco Aiello - 2015 - Artificial Intelligence 222:124-156.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  75
    Roberto Casati and Achille Varzi, parts and places, the structures of spatial representation.Marco Aiello - 2001 - Journal of Logic, Language and Information 10 (2):269-272.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  14
    Diffusion tensor imaging and white matter abnormalities in patients with disorders of consciousness.Carlo Cavaliere, Marco Aiello, Carol Di Perri, Davinia Fernandez-Espejo, Adrian M. Owen & Andrea Soddu - 2014 - Frontiers in Human Neuroscience 8.
  7.  13
    Fronto-Temporal Circuits in Musical Hallucinations: A PET-MR Case Study.Carlo Cavaliere, Mariachiara Longarzo, Mario Orsini, Marco Aiello & Dario Grossi - 2018 - Frontiers in Human Neuroscience 12.
  8.  16
    Domain-independent planning for services in uncertain and dynamic environments.Eirini Kaldeli, Alexander Lazovik & Marco Aiello - 2016 - Artificial Intelligence 236 (C):30-64.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark