Computer-human interaction issues when integrating qualitative spatial reasoning into geographic information systems. - Carl P. L. Schultz; Hans W. Guesgen; Robert Amor (CHINZ, 2006)

A System for Querying with Qualitative Distances in Networks. - Carl P. L. Schultz; Hans W. Guesgen; Robert Amor (FUZZ-IEEE, 2007)

Towards a Theory of Application for QSTR Systems. - Carl P. L. Schultz; Robert Amor; Hans W. Guesgen (AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009)

Unit Testing for Qualitative Spatial and Temporal Reasoning. - Carl P. L. Schultz; Robert Amor; Hans W. Guesgen (FLAIRS, 2009)

Qualitative design support for engineering and architecture. - Carl P. L. Schultz; Robert Amor; B. Lobb; Hans W. Guesgen (Adv. Eng. Informatics, 2009)

The Impact of Qualification on the Application of Qualitative Spatial and Temporal Reasoning Calculi. - Carl Schultz 001; Robert Amor; Hans W. Guesgen (Australasian Conference on Artificial Intelligence, 2010)

A multi-modal data access framework for spatial assistance systems: use-cases with the building information model (BIM/IFC). - Carl Schultz 001; Mehul Bhatt (ISA, 2010)

CLP(QS): A Declarative Spatial Reasoning Framework. - Mehul Bhatt; Jae Hee Lee 001; Carl Schultz 001 (COSIT, 2011)

Towards a Declarative Spatial Reasoning System. - Carl Schultz 001; Mehul Bhatt (ECAI, 2012)

The shape of empty space: Human-centred cognitive foundations in computing for spatial design. - Mehul Bhatt; Carl Schultz 001; Minqian Huang (VL/HCC, 2012)

Multimodal spatial data access for architecture design assistance. - Carl Schultz 001; Mehul Bhatt (Artif. Intell. Eng. Des. Anal. Manuf., 2012)

Cognitive Interpretation of Everyday Activities - Toward Perceptual Narrative Based Visuo-Spatial Scene Interpretation. - Mehul Bhatt; Jakob Suchan; Carl Schultz 001 (CMN, 2013)

InSpace3D: A Middleware for Built Environment Data Access and Analytics. - Carl Schultz 001; Mehul Bhatt (ICCS, 2013)

The Shape of Empty Space: Human-centred cognitive foundations in computing for spatial design. - Mehul Bhatt; Carl Schultz 001 (SHAPES, 2013)

Declarative Computing with Shapes and Shadows. - Carl Schultz 001; Mehul Bhatt (SHAPES, 2013)

Declarative Spatial Reasoning with Boolean Combinations of Axis-Aligned Rectangular Polytopes. - Carl Schultz 001; Mehul Bhatt (ECAI, 2014)

Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer-Aided Architecture Design. - Mehul Bhatt; Carl Schultz 001; Madhura Thosar (KR, 2014)

Spatial Symmetry Driven Pruning Strategies for Efficient Declarative Spatial Reasoning. - Carl Schultz 001; Mehul Bhatt (COSIT, 2015)

Spatial Rules for Capturing Qualitatively Equivalent Configurations in Sketch maps. - Sahib Jan; Carl Schultz 001; Angela Schwering; Malumbo Chipofya (LQMR@FedCSIS, 2015)

Encoding Relative Orientation and Mereotopology Relations with Geometric Constraints in CLP(QS). - Carl Schultz 001; Mehul Bhatt (LQMR@FedCSIS, 2015)

ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. - Przemyslaw Andrzej Walega; Mehul Bhatt; Carl Schultz 001 (LPNMR, 2015)

Left-Right Relations for Qualitative Representation and Alignment of Planar Spatial Networks. - Malumbo Chipofya; Angela Schwering; Carl Schultz 001; Emily Harason; Sahib Jan (MICAI (2), 2015)

Artificial Intelligence for Predictive and Evidence Based Architecture Design. - Mehul Bhatt; Jakob Suchan; Carl Schultz 001; Vasiliki Kondyli; Saurabh Goyal (AAAI, 2016)

Constructive Geometric Constraint Solving as a General Framework for KR-Based Declarative Spatial Reasoning. - Carl Schultz 001; Mehul Bhatt (AAAI Workshop: Declarative Learning Based Programming, 2016)

Embodied visuo-locomotive experience analysis: immersive reality based summarisation of experiments in environment-behaviour studies. - Mehul Bhatt; Jakob Suchan; Vasiliki Kondyli; Carl Schultz 001 (SAP, 2016)

Deeply Semantic Inductive Spatio-Temporal Learning. - Jakob Suchan; Mehul Bhatt; Carl Schultz 001 (ILP (Short Papers), 2016)

A Numerical Optimisation Based Characterisation of Spatial Reasoning. - Carl Schultz 001; Mehul Bhatt (RuleML, 2016)

Probabilistic Spatial Reasoning in Constraint Logic Programming. - Carl Schultz 001; Mehul Bhatt; Jakob Suchan (SUM, 2016)

A metaheuristic approach for efficient and effective sketch-to-metric map alignment. - Malumbo Chaka Chipofya; Carl Schultz 001; Angela Schwering (Int. J. Geogr. Inf. Sci., 2016)

Evidence-Based Parametric Design: Computationally Generated Spatial Morphologies Satisfying Behavioural-Based Design Constraints. - Vasiliki Kondyli; Carl Schultz 001; Mehul Bhatt (COSIT, 2017)

Declarative Spatial Reasoning for Intelligent Cinematography. - Mehul Bhatt; Carl Schultz 001; Jakob Suchan; Przemyslaw Andrzej Walega (WICED@Eurographics, 2017)

Bridging qualitative spatial constraints and feature-based parametric modelling: Expressing visibility and movement constraints. - Carl Schultz 001; Mehul Bhatt; André Borrmann (Adv. Eng. Informatics, 2017)

Cognitively plausible representations for the alignment of sketch and geo-referenced maps. - Sahib Jan; Angela Schwering; Carl Schultz 001; Malumbo Chaka Chipofya (J. Spatial Inf. Sci., 2017)

Non-monotonic spatial reasoning with answer set programming modulo theories. - Przemyslaw Andrzej Walega; Carl Schultz 001; Mehul Bhatt (Theory Pract. Log. Program., 2017)

Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning About Moving Objects. - Jakob Suchan; Mehul Bhatt; Przemyslaw Andrzej Walega; Carl Schultz 001 (AAAI, 2018)

A Framework for Threat-Driven Cyber Security Verification of IoT Systems. - Tomas Kulik; Peter W. V. Tran-Jørgensen; Jalil Boudjadar; Carl Schultz 001 (ICST Workshops, 2018)

Answer Set Programming Modulo 'Space-Time'. - Carl Schultz 001; Mehul Bhatt; Jakob Suchan; Przemyslaw Andrzej Walega (RuleML+RR, 2018)

lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper). - Beidi Li; Mehul Bhatt; Carl Schultz 001 (COSIT, 2019)

On the Design of a New Software Engineering Curriculum in Computer Engineering. - Stefan Hallerstede; Peter Gorm Larsen; Jalil Boudjadar; Carl Schultz 001; Lukas Esterle (FISEE, 2019)

Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site. - Beidi Li; Rasmus O. Nielsen; Karsten W. Johansen; Jochen Teizer; Peter Gorm Larsen; Carl Schultz 001 (ISoLA (4), 2020)

Non-monotonic Spatial Reasoning for Safety Analysis in Construction. - Beidi Li; Jochen Teizer; Carl Schultz 001 (PPDP, 2020)

Towards a Holistic, Self-Organised Safety Framework for Construction. - Christos Chronopoulos; Karsten W. Johansen; Jochen Teizer; Carl Schultz 001; Lukas Esterle (ACSOS-C, 2021)

RoboCIM: Towards a Domain Model for Industrial Robot System Configurators. - Daniella Tola; Cláudio Gomes 001; Carl Schultz 001; Christian Schlette; Casper Hansen; Lukas Esterle (RuleML+RR (Supplement), 2021)

Diversity in Renovation Design: Theoretical Foundations of the Renovation Domain Model. - Carl Schultz 001; Aliakbar Kamari (J. Comput. Civ. Eng., 2021)

Modelling the impacts of crowds on occupants in the built environment - A static, rule-based approach to human perception and movement. - Beidi Li; John S. Fitzgerald; Carl Schultz 001 (Adv. Eng. Informatics, 2022)

Towards a unifying domain model of construction safety, health and well-being: SafeConDM. - Beidi Li; Carl Schultz 001; Jochen Teizer; Olga Golovina; Jürgen Melzner (Adv. Eng. Informatics, 2022)

A Knowledge-Based Proactive Intelligent System for Buildings Occupancy Monitoring. - Marie Unmack Baerentzen; Jalil Boudjadar; Saif ul Islam; Carl Peter Leslie Schultz (ICSOFT, 2023)

Hazard ontology and 4D benchmark model for facilitation of automated construction safety requirement analysis. - Karsten W. Johansen; Carl P. L. Schultz; Jochen Teizer (Comput. Aided Civ. Infrastructure Eng., 2023)

A review of drivers and barriers of Digital Twin adoption in building project development processes. - Muhammad Farhan Jahangir; Carl Peter Leslie Schultz; Aliakbar Kamari (J. Inf. Technol. Constr., 2024)

Knowledge graph exploitation to enhance the usability of risk assessment in construction safety planning. - Karsten W. Johansen; Carl P. L. Schultz; Jochen Teizer (Adv. Eng. Informatics, 2025)

Clingo2DSR - A clingo-based software system for declarative spatial reasoning. - Beidi Li; Carl P. L. Schultz (Spatial Cogn. Comput., 2025)