Buch, Englisch, 1058 Seiten, Format (B × H): 160 mm x 241 mm, Gewicht: 1765 g
ISBN: 978-1-4020-5586-7
Verlag: Springer Netherlands
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 chapter provides a self-contained overview of its topic, describing the principal results obtained to date, explaining the methods used to obtain them, and listing the most important open problems. Jointly, these contributions constitute a comprehensive survey of this rapidly expanding subject.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Robotik
- Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik
- Interdisziplinäres Wissenschaften Wissenschaften: Allgemeines Wissenschaften: Theorie, Epistemologie, Methodik
- Mathematik | Informatik Mathematik Topologie Mengentheoretische Topologie
- Mathematik | Informatik Mathematik Geometrie Elementare Geometrie: Allgemeines
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme
- Geisteswissenschaften Philosophie Wissenschaftstheorie, Wissenschaftsphilosophie
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
Weitere Infos & Material
What is Spatial Logic?.- First-Order Mereotopology.- Axioms, Algebras and Topology.- Qualitative Spatial Reasoning Using Constraint Calculi.- Modal Logics of Space.- Topology and Epistemic Logic.- Logical Theories for Fragments of Elementary Geometry.- Locales and Toposes as Spaces.- Spatial Logic + Temporal Logic = ?.- Dynamic Topological Logic.- Logic of Space-Time and Relativity Theory.- Discrete Spatial Models.- Real Algebraic Geometry and Constraint Databases.- Mathematical Morphology.- Spatial Reasoning and Ontology: Parts, Wholes, and Locations.
