Keywords:
Publications of Carl Schultz sorted by recency
| 1-25 | 26-34 |
| and , Constructive Geometric Constraint Solving as a General Framework for KR-Based Declarative Spatial Reasoning, in: Declarative Learning Based Programming, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016, AAAI Press, 2016 |
[URL] |
| , and , Probabilistic Spatial Reasoning in Constraint Logic Programming, in: International Conference on Scalable Uncertainty Management (SUM 2016), to appear |
[URL] |
| , and , Deeply Semantic Inductive Spatio-Temporal Learning, in: 26th International Conference on Inductive Logic Programming. London, UK, LNAI Springer, to appear |
| and , A Numerical Optimisation Based Characterisation of Spatial Reasoning, in: Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, Springer, 2016 |
[DOI] [URL] |
| , and , Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories (to appear), in: TPLP: Theory and Practice of Logic Programming. Cambridge Journals |
[URL] |
| , , , and , Artificial Intelligence for Predictive and Evidence Based Architecture Design: Integrating Spatial Reasoning, Cognitive Vision, and Eye-Tracking for the Analysis of Embodied Visuo-Locomotive Experience in the Built Environment, in: Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016), AAAI Press, 2016 |
[URL] |
| , and , Bridging Qualitative Spatial Constraints and Feature-Based Parametric Modelling: Expressing Visibility and Movement Constraints (2015), in: Advanced Engineering Informatics: The science of supporting knowledge-intensive activities. |
[DOI] [URL] |
| and , Encoding Relative Orientation and Mereotopology Relations with Geometric Constraints in CLP(QS), in: Logics for Qualitative Modelling and Reasoning (LQMR'15), Poland, 2015 |
[URL] |
| , and , ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories, in: LPNMR: Logic Programming and Nonmonotonic Reasoning - 13th International Conference, Lexington, KY, USA September 27-30, 2015., 2015 |
[URL] |
| and , Spatial Symmetry Driven Pruning Strategies for Efficient Declarative Spatial Reasoning, in: COSIT 2015: Conference on Spatial Information Theory XII (COSIT), Santa Fe, New Mexico, USA., 2015 |
| and , People-Centered Spatial Design: On Visuo-Spatial Cognition in the Built Environment, in: International Conference on Human Behaviour in Design, 2014 |
[URL] |
| , and , Qualitative Eye-Tracking Analyses of Problem Solving Strategies in Children with Dyslexia, in: CILC2014 - 2nd International Conference on Interactivity, Language and Cognition, International Society for the Study of Interactivity, Language, and Cognition (ISSILC), Jyväskylä, Finland, 2014 |
[URL] |
| , and , Bridging Qualitative Spatial Constraints and Parametric Design - A Use Case with Visibility Constraints, in: EG-ICE: 21st International Workshop - Intelligent Computing in Engineering 2014, Cardiff, United Kingdom, 2014 |
[URL] |
| and , Declarative Spatial Reasoning with Boolean Combinations of Axis-Aligned Rectangular Polytopes, in: ECAI 2014: 21st European Conference on Artificial Intelligence (ECAI), Prague, Czech Republic, 2014 |
| , and , Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer-Aided Architecture Design, in: Principles of Knowledge Representation and Reasoning: Proceedings of the 14th International Conference, KR 2014, Vienna, Austria, 2014 |
[URL] |
| and , Architectural Design Cognition: People-Centred Visuo-Spatial Cognition, and its Role in Discourse and Systems for Design Conception, Computing, and Communication, in: Editors: Sabine Ammon, Inge Hinterwaldner: Anthology on: Imagery in the Age of Modelling: Operative Artifacts in the Design Process in Architecture and Engineering / Bildlichkeit im Zeitalter der Modellierung. Operative Artefakte in Entwurfsprozessen der, Fink Verlag (Munich), to appear |
| and , A Multi-Modal Data Access Framework for Spatial Assistance Systems, in: Second ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness (ISA 2010), In conjunction with ACM SIGSPATIAL GIS 2010,, ACM, 2010 |
|
| and , Toward Accessing Spatial Structure from Building Information Models, in: 28th Urban Data Management Symposium (UDMS 2011), ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial; 10.5194/isprsarchives-XXXVIII-4-C21-25-2011, 2011 |
[URL] |
| and , Toward a Declarative Spatial Reasoning System, in: 20th European Conference on Artificial Intelligence (ECAI 2012), 2012 |
| and , Multi-Modal Spatial Data Access for Architecture Design Assistance (2012), in: AIEDAM: Artificial Intelligence for Engineering Design, Analysis and Manufacturing. Special issue on: Design Computing and Cognition. Cambridge University Press., 26:2 |
[URL] |
| and , Declarative Computing with Shapes, and their Shadows, in: Proceedings of International Workshop on SHAPES 2.0: The Shape of Things, 4th World Congress and School on Universal Logic., 2013 |
[URL] |
| and , InSpace3D: A Middleware for Built Environment Data Access and Analytics, in: International Conference on Computational Science (ICCS 2013), in co/operation with SIGHPC, Barcelona, Spain., 2013 |
[URL] |
| , and , MindYourSpace - A Tool for Evidence-Based Qualitative Analyses of User Experience and Navigation Behavior in the Built Environment, in: edra44providence - 44th Environmental Design Research Association Conference 2013, 2013 |
| , , and , Qualitative design support for engineering and architecture (2009), in: Advanced Engineering Informatics, Elsevier, 23:1(68--80) |
|
| , and , The Impact of Qualification on the Application of Qualitative Spatial and Temporal Reasoning Calculi, in: 23rd Australasian Joint Conference on Artificial Intelligence, Adelaide, Australia, pages 62--71, 2010 |
|
| 1-25 | 26-34 |