LIPIcs, Volume 86
COSIT 2017, September 4-8, 2017, L'Aquila, Italy
Editors: Eliseo Clementini, Maureen Donnelly, May Yuan, Christian Kray, Paolo Fogliaroni, and Andrea Ballatore
Published in: LIPIcs, Volume 315, 16th International Conference on Spatial Information Theory (COSIT 2024)
Markus Kattenbeck, Daniel R. Montello, Martin Raubal, and Ioannis Giannopoulos. Is Familiarity Reflected in the Spatial Knowledge Revealed by Sketch Maps?. In 16th International Conference on Spatial Information Theory (COSIT 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 315, pp. 6:1-6:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{kattenbeck_et_al:LIPIcs.COSIT.2024.6, author = {Kattenbeck, Markus and Montello, Daniel R. and Raubal, Martin and Giannopoulos, Ioannis}, title = {{Is Familiarity Reflected in the Spatial Knowledge Revealed by Sketch Maps?}}, booktitle = {16th International Conference on Spatial Information Theory (COSIT 2024)}, pages = {6:1--6:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-330-0}, ISSN = {1868-8969}, year = {2024}, volume = {315}, editor = {Adams, Benjamin and Griffin, Amy L. and Scheider, Simon and McKenzie, Grant}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2024.6}, URN = {urn:nbn:de:0030-drops-208215}, doi = {10.4230/LIPIcs.COSIT.2024.6}, annote = {Keywords: Familiarity, Spatial Knowledge, Sketch Maps} }
Published in: LIPIcs, Volume 114, 10th International Conference on Geographic Information Science (GIScience 2018)
Paolo Fogliaroni, Dominik Bucher, Nikola Jankovic, and Ioannis Giannopoulos. Intersections of Our World. In 10th International Conference on Geographic Information Science (GIScience 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 114, pp. 3:1-3:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{fogliaroni_et_al:LIPIcs.GISCIENCE.2018.3, author = {Fogliaroni, Paolo and Bucher, Dominik and Jankovic, Nikola and Giannopoulos, Ioannis}, title = {{Intersections of Our World}}, booktitle = {10th International Conference on Geographic Information Science (GIScience 2018)}, pages = {3:1--3:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-083-5}, ISSN = {1868-8969}, year = {2018}, volume = {114}, editor = {Winter, Stephan and Griffin, Amy and Sester, Monika}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.GISCIENCE.2018.3}, URN = {urn:nbn:de:0030-drops-93310}, doi = {10.4230/LIPIcs.GISCIENCE.2018.3}, annote = {Keywords: intersection types, navigation, experimental design} }
Published in: LIPIcs, Volume 114, 10th International Conference on Geographic Information Science (GIScience 2018)
Paolo Fogliaroni, Marvin Mc Cutchan, Gerhard Navratil, and Ioannis Giannopoulos. Unfolding Urban Structures: Towards Route Prediction and Automated City Modeling (Short Paper). In 10th International Conference on Geographic Information Science (GIScience 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 114, pp. 26:1-26:6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{fogliaroni_et_al:LIPIcs.GISCIENCE.2018.26, author = {Fogliaroni, Paolo and Mc Cutchan, Marvin and Navratil, Gerhard and Giannopoulos, Ioannis}, title = {{Unfolding Urban Structures: Towards Route Prediction and Automated City Modeling}}, booktitle = {10th International Conference on Geographic Information Science (GIScience 2018)}, pages = {26:1--26:6}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-083-5}, ISSN = {1868-8969}, year = {2018}, volume = {114}, editor = {Winter, Stephan and Griffin, Amy and Sester, Monika}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.GISCIENCE.2018.26}, URN = {urn:nbn:de:0030-drops-93548}, doi = {10.4230/LIPIcs.GISCIENCE.2018.26}, annote = {Keywords: intersection types, spatial structure, spatial modeling, graph theory} }
Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)
13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@Proceedings{clementini_et_al:LIPIcs.COSIT.2017, title = {{LIPIcs, Volume 86, COSIT'17, Complete Volume}}, booktitle = {13th International Conference on Spatial Information Theory (COSIT 2017)}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-043-9}, ISSN = {1868-8969}, year = {2017}, volume = {86}, editor = {Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017}, URN = {urn:nbn:de:0030-drops-79080}, doi = {10.4230/LIPIcs.COSIT.2017}, annote = {Keywords: Conference Proceedings, Applications and Expert Systems, Knowledge Representation Formalisms and Methods, Physical Sciences and Engineering} }
Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)
13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 0:i-0:xiv, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{clementini_et_al:LIPIcs.COSIT.2017.0, author = {Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea}, title = {{Front Matter, Table of Contents, Preface, Organization, List of Authors}}, booktitle = {13th International Conference on Spatial Information Theory (COSIT 2017)}, pages = {0:i--0:xiv}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-043-9}, ISSN = {1868-8969}, year = {2017}, volume = {86}, editor = {Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.0}, URN = {urn:nbn:de:0030-drops-77464}, doi = {10.4230/LIPIcs.COSIT.2017.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Organization, List of Authors} }
Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)
Giulia Sindoni and John G. Stell. The Logic of Discrete Qualitative Relations. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 1:1-1:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{sindoni_et_al:LIPIcs.COSIT.2017.1, author = {Sindoni, Giulia and Stell, John G.}, title = {{The Logic of Discrete Qualitative Relations}}, booktitle = {13th International Conference on Spatial Information Theory (COSIT 2017)}, pages = {1:1--1:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-043-9}, ISSN = {1868-8969}, year = {2017}, volume = {86}, editor = {Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.1}, URN = {urn:nbn:de:0030-drops-77651}, doi = {10.4230/LIPIcs.COSIT.2017.1}, annote = {Keywords: modal logic, qualitative spatial reasoning, discrete space} }
Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)
Michael Grüninger and Bahar Aameri. A New Perspective on the Mereotopology of RCC8. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 2:1-2:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{gruninger_et_al:LIPIcs.COSIT.2017.2, author = {Gr\"{u}ninger, Michael and Aameri, Bahar}, title = {{A New Perspective on the Mereotopology of RCC8}}, booktitle = {13th International Conference on Spatial Information Theory (COSIT 2017)}, pages = {2:1--2:13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-043-9}, ISSN = {1868-8969}, year = {2017}, volume = {86}, editor = {Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.2}, URN = {urn:nbn:de:0030-drops-77571}, doi = {10.4230/LIPIcs.COSIT.2017.2}, annote = {Keywords: RCC8, mereotopology, spatial reasoning, ontologies} }
Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)
Zoe Falomir and Cecilio Angulo. A Qualitative Spatial Descriptor of Group-Robot Interactions. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 3:1-3:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{falomir_et_al:LIPIcs.COSIT.2017.3, author = {Falomir, Zoe and Angulo, Cecilio}, title = {{A Qualitative Spatial Descriptor of Group-Robot Interactions}}, booktitle = {13th International Conference on Spatial Information Theory (COSIT 2017)}, pages = {3:1--3:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-043-9}, ISSN = {1868-8969}, year = {2017}, volume = {86}, editor = {Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.3}, URN = {urn:nbn:de:0030-drops-77628}, doi = {10.4230/LIPIcs.COSIT.2017.3}, annote = {Keywords: qualitative modeling, spatial reasoning, location, distance, orientation, cognitive robotics, human-robot interaction, group-robot interaction, logics} }
Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)
Leif Harald Karlsen and Martin Giese. An Efficient Representation of General Qualitative Spatial Information Using Bintrees. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 4:1-4:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{karlsen_et_al:LIPIcs.COSIT.2017.4, author = {Karlsen, Leif Harald and Giese, Martin}, title = {{An Efficient Representation of General Qualitative Spatial Information Using Bintrees}}, booktitle = {13th International Conference on Spatial Information Theory (COSIT 2017)}, pages = {4:1--4:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-043-9}, ISSN = {1868-8969}, year = {2017}, volume = {86}, editor = {Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.4}, URN = {urn:nbn:de:0030-drops-77503}, doi = {10.4230/LIPIcs.COSIT.2017.4}, annote = {Keywords: Qualitative spatial data, Bintree, Data structure} }
Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)
Thomas Bittner. Towards a Quantum Theory of Geographic Fields. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 5:1-5:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{bittner:LIPIcs.COSIT.2017.5, author = {Bittner, Thomas}, title = {{Towards a Quantum Theory of Geographic Fields}}, booktitle = {13th International Conference on Spatial Information Theory (COSIT 2017)}, pages = {5:1--5:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-043-9}, ISSN = {1868-8969}, year = {2017}, volume = {86}, editor = {Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.5}, URN = {urn:nbn:de:0030-drops-77667}, doi = {10.4230/LIPIcs.COSIT.2017.5}, annote = {Keywords: Vagueness, Quantum Geography, Ontology, Ecoregion classification} }
Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)
Alessia Calafiore, Guido Boella, Stefano Borgo, and Nicola Guarino. Urban Artefacts and Their Social Roles: Towards an Ontology of Social Practices. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 6:1-6:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{calafiore_et_al:LIPIcs.COSIT.2017.6, author = {Calafiore, Alessia and Boella, Guido and Borgo, Stefano and Guarino, Nicola}, title = {{Urban Artefacts and Their Social Roles: Towards an Ontology of Social Practices}}, booktitle = {13th International Conference on Spatial Information Theory (COSIT 2017)}, pages = {6:1--6:13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-043-9}, ISSN = {1868-8969}, year = {2017}, volume = {86}, editor = {Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.6}, URN = {urn:nbn:de:0030-drops-77642}, doi = {10.4230/LIPIcs.COSIT.2017.6}, annote = {Keywords: urban artefact, ontology, social practice, urban planning} }
Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)
Shirly Stephen and Torsten Hahmann. An Ontological Framework for Characterizing Hydrological Flow Processes. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 7:1-7:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{stephen_et_al:LIPIcs.COSIT.2017.7, author = {Stephen, Shirly and Hahmann, Torsten}, title = {{An Ontological Framework for Characterizing Hydrological Flow Processes}}, booktitle = {13th International Conference on Spatial Information Theory (COSIT 2017)}, pages = {7:1--7:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-043-9}, ISSN = {1868-8969}, year = {2017}, volume = {86}, editor = {Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.7}, URN = {urn:nbn:de:0030-drops-77639}, doi = {10.4230/LIPIcs.COSIT.2017.7}, annote = {Keywords: hydrology, flow processes, formal ontology, participation, semantic roles} }
Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)
Lucía Gómez Álvarez and Brandon Bennett. Classification, Individuation and Demarcation of Forests: Formalising the Multi-Faceted Semantics of Geographic Terms. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 8:1-8:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{gomezalvarez_et_al:LIPIcs.COSIT.2017.8, author = {G\'{o}mez \'{A}lvarez, Luc{\'\i}a and Bennett, Brandon}, title = {{Classification, Individuation and Demarcation of Forests: Formalising the Multi-Faceted Semantics of Geographic Terms}}, booktitle = {13th International Conference on Spatial Information Theory (COSIT 2017)}, pages = {8:1--8:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-043-9}, ISSN = {1868-8969}, year = {2017}, volume = {86}, editor = {Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.8}, URN = {urn:nbn:de:0030-drops-77676}, doi = {10.4230/LIPIcs.COSIT.2017.8}, annote = {Keywords: Forest, Definition, Vagueness, Ontology, GIS} }
Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)
Clare Davies, Lucy Athersuch, and Nikki Amos. Sense of Direction: One or Two Dimensions?. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 9:1-9:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{davies_et_al:LIPIcs.COSIT.2017.9, author = {Davies, Clare and Athersuch, Lucy and Amos, Nikki}, title = {{Sense of Direction: One or Two Dimensions?}}, booktitle = {13th International Conference on Spatial Information Theory (COSIT 2017)}, pages = {9:1--9:13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-043-9}, ISSN = {1868-8969}, year = {2017}, volume = {86}, editor = {Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.9}, URN = {urn:nbn:de:0030-drops-77590}, doi = {10.4230/LIPIcs.COSIT.2017.9}, annote = {Keywords: sense of direction, spatial ability, cognitive mapping} }
Feedback for Dagstuhl Publishing