SELECT PUBLICATIONS

SPACE | COGNITION. AI. REASONING. COMPUTING.

7 results
2016
7.Architectural Design Cognition: People-Centred Visuo-Spatial Cognition, and its Role in Discourse and Systems for Design Conception, Computing, and Communication ( and ), Chapter in Editors: Sabine Ammon, Inge Hinterwaldner: Anthology on: Imagery in the Age of Modelling: Operative Artifacts in the Design Process in Architecture and Engineering / (German title: Bildlichkeit im Zeitalter der Modellierung. Operative Artefakte in Entwurfsprozessen der Architektur und des Ingenieurwesens (Ammon, Sabine, Hinterwaldner, Inge, eds.), Fink Verlag (Munich), . (In Press)
2014
6. Geospatial Narratives and Their Spatio-Temporal Dynamics: Commonsense Reasoning for High-Level Analyses in Geographic Information Systems ( and ), In ISPRS International Journal of Geo-Information., Special Issue on: Geospatial Monitoring and Modelling of Environmental Change, ISPRS International Journal of Geo-Information, volume 3, . [pdf] [doi]
2013
5. Between Sense and Sensibility: Declarative narrativisation of mental models as a basis and benchmark for visuo-spatial cognition and computation focussed collaborative cognitive systems (), In CoRR, volume abs/1307.3040, . [pdf]
4.The `Space' in Spatial Assistance Systems: Conception, Formalisation and Computation (, and ), In Representing space in cognition: Interrelations of behavior, language, and formal models. Series: Explorations in Language and Space (Thora Tenbrink, Jan Wiener, Christophe Claramunt, eds.), 978-0-19-967991-1, Oxford University Press, .
2012
3.Reasoning about Space, Actions and Change: A Paradigm for Applications of Spatial Reasoning (), In Qualitative Spatial Representation and Reasoning: Trends and Future Directions, IGI Global, USA, .
2011
2. Qualitative Spatial and Temporal Reasoning: Emerging Applications, Trends, and Directions (, , and ), In Spatial Cognition {&} Computation, volume 11, . [pdf] [doi]
2010
1. Spatial Computing for Design: An Artificial Intelligence Perspective ( and ), Chapter in Studying Visual and Spatial Reasoning for Design Creativity (SDC), . (First appeared as part of SDC 2010; published in 2015 as part of: ISBN 978-94-017-9297-4) [pdf] [doi]


CORE METHODS | SYSTEMS AND OVERALL FRAMEWORK

14 results
2016
14.Deeply Semantic Inductive Spatio-Temporal Learning (, and ), In 26th International Conference on Inductive Logic Programming. London, UK, LNAI Springer, . (Accepted; In Press)
13. Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories (, and ), In TPLP: Theory and Practice of Logic Programming. Cambridge Journals, . (In Press) [pdf]
12. Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories (, and ), In CoRR, volume abs/1606.07860, . [pdf]
11. A Numerical Optimisation Based Characterisation of Spatial Reasoning ( and ), In Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, . [pdf] [doi]
10. Constructive Geometric Constraint Solving as a General Framework for KR-Based Declarative Spatial Reasoning ( and ), In Declarative Learning Based Programming, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona, USA, February 13, 2016., . [pdf]
2015
9. Spatial Symmetry Driven Pruning Strategies for Efficient Declarative Spatial Reasoning ( and ), In Spatial Information Theory - 12th International Conference, {COSIT} 2015, Santa Fe, NM, USA, October 12-16, 2015, Proceedings, . [pdf] [doi]
8. ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories (, and ), In Logic Programming and Nonmonotonic Reasoning - 13th International Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings, . [pdf] [doi]
2014
7. Declarative Spatial Reasoning with Boolean Combinations of Axis-Aligned Rectangular Polytopes ( and ), In ECAI} 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems {(PAIS} 2014), . [pdf] [doi]
2012
6. Towards a Declarative Spatial Reasoning System ( and ), In ECAI} 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)} System Demonstrations Track, Montpellier, France, August 27-31 , 2012, . [pdf] [doi]
2011
5. CLP(QS): A Declarative Spatial Reasoning Framework (, and ), In Spatial Information Theory - 10th International Conference, {COSIT} 2011, Belfast, ME, USA, September 12-16, 2011. Proceedings, . [pdf] [doi]
4. Interleaved Inductive-Abductive Reasoning for Learning Complex Event Models (, , , and ), In Inductive Logic Programming - 21st International Conference, {ILP} 2011, Windsor Great Park, UK, July 31 - August 3, 2011, Revised Selected Papers, . [pdf] [doi]
2010
3.Spatio-Temporal Abduction for Scenario and Narrative Completion : a preliminary statement) ( and ), In Proceedings of the International Workshop on Spatio-Temporal Dynamics, ECAI 2010, .
2008
2. Modelling Dynamic Spatial Systems in the Situation Calculus ( and ), In Spatial Cognition {&} Computation, volume 8, . [pdf] [doi]
2006
1. Qualitative Spatial Reasoning with Topological Relations in the Situation Calculus (, and ), In Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, Melbourne Beach, Florida, USA, May 11-13, 2006 (Geoff Sutcliffe, Randy Goebel, eds.), AAAI Press, . [pdf]


APPLICATIONS OF SPATIAL REASONING

Design | Architecture

13 results
2016
13. Artificial Intelligence for Predictive and Evidence Based Architecture Design (, , , and ), In Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, {USA., . [pdf]
2015
12. Spatial Computing for Design—an Artificial Intelligence Perspective ( and ), Chapter in (Gero, S. John, ed.), Springer Netherlands, . [pdf] [doi]
2014
11. Computing Narratives of Cognitive User Experience for Building Design Analysis: {KR} for Industry Scale Computer-Aided Architecture Design (, and ), In Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, {KR} 2014, Vienna, Austria, July 20-24, 2014, . [pdf]
2013
10. Declarative Computing with Shapes and Shadows ( and ), In Proceedings of the Second Interdisciplinary Workshop The Shape of Things, Rio de Janeiro, Brazil, April 3-4, 2013, . [pdf]
9. The Shape of Empty Space: Human-centred cognitive foundations in computing for spatial design ( and ), In Proceedings of the Second Interdisciplinary Workshop The Shape of Things, Rio de Janeiro, Brazil, April 3-4, 2013, . [pdf]
8. InSpace3D: {A} Middleware for Built Environment Data Access and Analytics ( and ), In Proceedings of the International Conference on Computational Science, {ICCS} 2013, Barcelona, Spain, 5-7 June, 2013, . [pdf] [doi]
2012
7. Ontological modelling of form and function for architectural design (, and ), In Applied Ontology, volume 7, . [pdf] [doi]
6. Multimodal spatial data access for architecture design assistance ( and ), In AI} {EDAM, volume 26, . [pdf] [doi]
5. The shape of empty space: Human-centred cognitive foundations in computing for spatial design (, and ), In 2012 {IEEE} Symposium on Visual Languages and Human-Centric Computing, {VL/HCC} 2012, Innsbruck, Austria, September 30 - October 4, 2012, . [pdf] [doi]
2010
4. A multi-modal data access framework for spatial assistance systems: use-cases with the building information model {(BIM/IFC) ( and ), In Indoor Spatial Awareness - {ISA} 2010, 2nd International Workshop, San Jose, CA, USA, November 2, 2010. Proceedings, . [pdf] [doi]
3. Modelling Functional Requirements in Spatial Design (, , and ), In Conceptual Modeling - {ER} 2010, 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings, . [pdf] [doi]
2009
2. Modular Ontologies for Architectural Design (, and ), In Formal Ontologies Meet Industry, Proceedings of the 4th Workshop {FOMI} 2009, September 2, 2009, Vicenza, Italy, in association with the 10th European Conference on Knowledge Management, . [pdf] [doi]
1. Spatio-terminological Inference for the Design of Ambient Environments (, and ), In Spatial Information Theory, 9th International Conference, {COSIT} 2009, Aber Wrac'h, France, September 21-25, 2009, Proceedings, . [pdf] [doi]

Cognitive Vision | Visual Perception

8 results
2016
8. The geometry of a scene: On deep semantics for visual perception driven cognitive film, studies ( and ), In 2016 {IEEE} Winter Conference on Applications of Computer Vision, {WACV} 2016, Lake Placid, NY, USA, March 7-10, 2016, . [pdf] [doi]
7. Semantic Question-Answering with Video and Eye-Tracking Data: {AI} Foundations for Human Visual Perception Driven Cognitive Film Studies ( and ), In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July 2016, . [pdf]
6. The perception of symmetry in the moving image: multi-level computational analysis of cinematographic scene structure and its visual reception (, and ), In Proceedings of the {ACM} Symposium on Applied Perception, {SAP} 2016, Anaheim, California, USA, July 22-23, 2016, . [pdf] [doi]
2015
5. Learning Relational Event Models from Video (, , , and ), In J. Artif. Intell. Res. {(JAIR), volume 53, . [pdf] [doi]
4. Talking about the Moving Image: {A} Declarative Model for Image Schema Based Embodied Perception Grounding and Language Generation (, and ), In CoRR, volume abs/1508.03276, . [pdf]
2014
3. Perceptual Narratives of Space and Motion for Semantic Interpretation of Visual Data (, and ), In Computer Vision - {ECCV} 2014 Workshops - Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part {II, . [pdf] [doi]
2013
2. Cognitive Interpretation of Everyday Activities - Toward Perceptual Narrative Based Visuo-Spatial Scene Interpretation (, and ), In 2013 Workshop on Computational Models of Narrative, {CMN} 2013, August 4-6, 2013, Hamburg, Germany, . [pdf] [doi]
2012
1. Toward an Activity Theory Based Model of Spatio-Temporal Interactions - Integrating Situational Inference and Dynamic (Sensor) Control ( and ), In STAIRS} 2012 - Proceedings of the Sixth Starting {AI} Researchers' Symposium, Montpellier, France, 27-28 August 2012, . [pdf] [doi]

Cognitive Robotics | Space. Language. Embodiment.

4 results
2016
4.Robust Natural Language Processing - Combining Reasoning, Cognitive Semantics and Construction Grammar for Spatial Language (, and ), In IJCAI 2016: 25th International Joint Conference on Artificial Intelligence, AAAI Press, .
2014
3. Grounding Dynamic Spatial Relations for Embodied (Robot) Interaction (, , and ), In PRICAI} 2014: Trends in Artificial Intelligence - 13th Pacific Rim International Conference on Artificial Intelligence, Gold Coast, QLD, Australia, December 1-5, 2014. Proceedings, Springer, volume 8862, . [pdf] [doi]
2013
2. Rotunde - {A} Smart Meeting Cinematography Initiative - Tools, Datasets, and Benchmarks for Cognitive Interpretation and Control (, and ), In Space, Time, and Ambient Intelligence, Papers from the 2013 {AAAI} Workshop, Bellevue, Washington, USA, July 14, 2013, . [pdf]
2012
1. Toward an Activity Theory Based Model of Spatio-Temporal Interactions - Integrating Situational Inference and Dynamic (Sensor) Control ( and ), In STAIRS} 2012 - Proceedings of the Sixth Starting {AI} Researchers' Symposium, Montpellier, France, 27-28 August 2012, . [pdf] [doi]