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 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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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} }
Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)
Markus Kattenbeck. How Subdimensions of Salience Influence Each Other. Comparing Models Based on Empirical Data. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 10:1-10:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{kattenbeck:LIPIcs.COSIT.2017.10, author = {Kattenbeck, Markus}, title = {{How Subdimensions of Salience Influence Each Other. Comparing Models Based on Empirical Data}}, booktitle = {13th International Conference on Spatial Information Theory (COSIT 2017)}, pages = {10:1--10: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.10}, URN = {urn:nbn:de:0030-drops-77543}, doi = {10.4230/LIPIcs.COSIT.2017.10}, annote = {Keywords: Salience models, consistent PLS-SEM Analysis, Bayesian Networks} }
Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)
Vasiliki Kondyli, Carl Schultz, and Mehul Bhatt. Evidence-Based Parametric Design: Computationally Generated Spatial Morphologies Satisfying Behavioural-Based Design Constraints. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 11:1-11:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{kondyli_et_al:LIPIcs.COSIT.2017.11, author = {Kondyli, Vasiliki and Schultz, Carl and Bhatt, Mehul}, title = {{Evidence-Based Parametric Design: Computationally Generated Spatial Morphologies Satisfying Behavioural-Based Design Constraints}}, booktitle = {13th International Conference on Spatial Information Theory (COSIT 2017)}, pages = {11:1--11: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-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.11}, URN = {urn:nbn:de:0030-drops-77682}, doi = {10.4230/LIPIcs.COSIT.2017.11}, annote = {Keywords: parametric modelling, behavioural studies, Evidence-Based Design, design computing, wayfinding, spatial cognition} }
Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)
Liel Luko and Avi Parush. Targeted Cognitive Training of Spatial Skills: Perspective Taking in Robot Teleoperation. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 12:1-12:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{luko_et_al:LIPIcs.COSIT.2017.12, author = {Luko, Liel and Parush, Avi}, title = {{Targeted Cognitive Training of Spatial Skills: Perspective Taking in Robot Teleoperation}}, booktitle = {13th International Conference on Spatial Information Theory (COSIT 2017)}, pages = {12:1--12: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-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.12}, URN = {urn:nbn:de:0030-drops-77482}, doi = {10.4230/LIPIcs.COSIT.2017.12}, annote = {Keywords: Cognitive Training, Spatial Information Processing, Targeted Training, Teleoperation, Training Spatial Skills, Visual Perspective Taking} }
Feedback for Dagstuhl Publishing