Carl Schultz

48 papers A* 3A 2B 4C 1Misc 1Journal 15Unranked 22
YearRankTypeTitle / Venue / Authors
2022 J jnl
Modelling the impacts of crowds on occupants in the built environment - A static, rule-based approach to human perception and movement.
Adv. Eng. Informatics
Beidi Li, John S. Fitzgerald, Carl Schultz
2022 J jnl
Towards a unifying domain model of construction safety, health and well-being: SafeConDM.
Adv. Eng. Informatics
Beidi Li, Carl Schultz, Jochen Teizer, Olga Golovina, Jürgen Melzner
2021 J jnl
Diversity in Renovation Design: Theoretical Foundations of the Renovation Domain Model.
J. Comput. Civ. Eng.
Carl Schultz, Aliakbar Kamari
2021 — conf
RoboCIM: Towards a Domain Model for Industrial Robot System Configurators.
RuleML+RR (Supplement)
Daniella Tola, Cláudio Gomes, Carl Schultz, Christian Schlette, Casper Hansen, Lukas Esterle
2021 — conf
Towards a Holistic, Self-Organised Safety Framework for Construction.
ACSOS-C
Christos Chronopoulos, Karsten W. Johansen, Jochen Teizer, Carl Schultz, Lukas Esterle
2020 C conf
Non-monotonic Spatial Reasoning for Safety Analysis in Construction.
PPDP
Beidi Li, Jochen Teizer, Carl Schultz
2020 — conf
Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site.
ISoLA (4)
Beidi Li, Rasmus O. Nielsen, Karsten W. Johansen, Jochen Teizer, Peter Gorm Larsen, Carl Schultz
2019 — conf
On the Design of a New Software Engineering Curriculum in Computer Engineering.
FISEE
Stefan Hallerstede, Peter Gorm Larsen, Jalil Boudjadar, Carl Schultz, Lukas Esterle
2019 — conf
lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper).
COSIT
Beidi Li, Mehul Bhatt, Carl Schultz
2018 — conf
A Framework for Threat-Driven Cyber Security Verification of IoT Systems.
ICST Workshops
Tomas Kulik, Peter W. V. Tran-Jørgensen, Jalil Boudjadar, Carl Schultz
2018 B conf
Answer Set Programming Modulo 'Space-Time'.
RuleML+RR
Carl Schultz, Mehul Bhatt, Jakob Suchan, Przemyslaw Andrzej Walega
2018 J jnl
Answer Set Programming Modulo 'Space-Time'.
CoRR
Carl Schultz, Mehul Bhatt, Jakob Suchan, Przemyslaw Andrzej Walega
2018 A* conf
Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning About Moving Objects.
AAAI
Jakob Suchan, Mehul Bhatt, Przemyslaw Andrzej Walega, Carl Schultz
2017 J jnl
Bridging qualitative spatial constraints and feature-based parametric modelling: Expressing visibility and movement constraints.
Adv. Eng. Informatics
Carl Schultz, Mehul Bhatt, André Borrmann
2017 J jnl
Cognitively plausible representations for the alignment of sketch and geo-referenced maps.
J. Spatial Inf. Sci.
Sahib Jan, Angela Schwering, Carl Schultz, Malumbo Chaka Chipofya
2017 — conf
Declarative Spatial Reasoning for Intelligent Cinematography.
WICED@Eurographics
Mehul Bhatt, Carl Schultz, Jakob Suchan, Przemyslaw Andrzej Walega
2017 — conf
Evidence-Based Parametric Design: Computationally Generated Spatial Morphologies Satisfying Behavioural-Based Design Constraints.
COSIT
Vasiliki Kondyli, Carl Schultz, Mehul Bhatt
2017 J jnl
Non-monotonic spatial reasoning with answer set programming modulo theories.
Theory Pract. Log. Program.
Przemyslaw Andrzej Walega, Carl Schultz, Mehul Bhatt
2017 J jnl
Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning about Moving Objects.
CoRR
Jakob Suchan, Mehul Bhatt, Przemyslaw Andrzej Walega, Carl Schultz
2016 — conf
A Numerical Optimisation Based Characterisation of Spatial Reasoning.
RuleML
Carl Schultz, Mehul Bhatt
2016 J jnl
A metaheuristic approach for efficient and effective sketch-to-metric map alignment.
Int. J. Geogr. Inf. Sci.
Malumbo Chaka Chipofya, Carl Schultz, Angela Schwering
2016 A* conf
Artificial Intelligence for Predictive and Evidence Based Architecture Design.
AAAI
Mehul Bhatt, Jakob Suchan, Carl Schultz, Vasiliki Kondyli, Saurabh Goyal
2016 — conf
Constructive Geometric Constraint Solving as a General Framework for KR-Based Declarative Spatial Reasoning.
AAAI Workshop: Declarative Learning Based Programming
Carl Schultz, Mehul Bhatt
2016 — conf
Deeply Semantic Inductive Spatio-Temporal Learning.
ILP (Short Papers)
Jakob Suchan, Mehul Bhatt, Carl Schultz
2016 J jnl
Deeply Semantic Inductive Spatio-Temporal Learning.
CoRR
Jakob Suchan, Mehul Bhatt, Carl Schultz
2016 B conf
Embodied visuo-locomotive experience analysis: immersive reality based summarisation of experiments in environment-behaviour studies.
SAP
Mehul Bhatt, Jakob Suchan, Vasiliki Kondyli, Carl Schultz
2016 J jnl
Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories.
CoRR
Przemyslaw Andrzej Walega, Carl Schultz, Mehul Bhatt
2016 — conf
Probabilistic Spatial Reasoning in Constraint Logic Programming.
SUM
Carl Schultz, Mehul Bhatt, Jakob Suchan
2015 B conf
ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories.
LPNMR
Przemyslaw Andrzej Walega, Mehul Bhatt, Carl Schultz
2015 J jnl
ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories.
CoRR
Przemyslaw Andrzej Walega, Mehul Bhatt, Carl Schultz
2015 — conf
Encoding Relative Orientation and Mereotopology Relations with Geometric Constraints in CLP(QS).
LQMR@FedCSIS
Carl Schultz, Mehul Bhatt
2015 — conf
Left-Right Relations for Qualitative Representation and Alignment of Planar Spatial Networks.
MICAI (2)
Malumbo Chipofya, Angela Schwering, Carl Schultz, Emily Harason, Sahib Jan
2015 — conf
Spatial Rules for Capturing Qualitatively Equivalent Configurations in Sketch maps.
LQMR@FedCSIS
Sahib Jan, Carl Schultz, Angela Schwering, Malumbo Chipofya
2015 — conf
Spatial Symmetry Driven Pruning Strategies for Efficient Declarative Spatial Reasoning.
COSIT
Carl Schultz, Mehul Bhatt
2015 J jnl
Spatial Symmetry Driven Pruning Strategies for Efficient Declarative Spatial Reasoning.
CoRR
Carl Schultz, Mehul Bhatt
2014 A* conf
Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer-Aided Architecture Design.
KR
Mehul Bhatt, Carl Schultz, Madhura Thosar
2014 A conf
Declarative Spatial Reasoning with Boolean Combinations of Axis-Aligned Rectangular Polytopes.
ECAI
Carl Schultz, Mehul Bhatt
2013 — conf
Cognitive Interpretation of Everyday Activities - Toward Perceptual Narrative Based Visuo-Spatial Scene Interpretation.
CMN
Mehul Bhatt, Jakob Suchan, Carl Schultz
2013 J jnl
Cognitive Interpretation of Everyday Activities: Toward Perceptual Narrative Based Visuo-Spatial Scene Interpretation.
CoRR
Mehul Bhatt, Jakob Suchan, Carl Schultz
2013 — conf
Declarative Computing with Shapes and Shadows.
SHAPES
Carl Schultz, Mehul Bhatt
2013 Misc conf
InSpace3D: A Middleware for Built Environment Data Access and Analytics.
ICCS
Carl Schultz, Mehul Bhatt
2013 — conf
The Shape of Empty Space: Human-centred cognitive foundations in computing for spatial design.
SHAPES
Mehul Bhatt, Carl Schultz
2012 J jnl
Multimodal spatial data access for architecture design assistance.
Artif. Intell. Eng. Des. Anal. Manuf.
Carl Schultz, Mehul Bhatt
2012 B conf
The shape of empty space: Human-centred cognitive foundations in computing for spatial design.
VL/HCC
Mehul Bhatt, Carl Schultz, Minqian Huang
2012 A conf
Towards a Declarative Spatial Reasoning System.
ECAI
Carl Schultz, Mehul Bhatt
2011 — conf
CLP(QS): A Declarative Spatial Reasoning Framework.
COSIT
Mehul Bhatt, Jae Hee Lee, Carl Schultz
2010 — conf
A multi-modal data access framework for spatial assistance systems: use-cases with the building information model (BIM/IFC).
ISA
Carl Schultz, Mehul Bhatt
2010 — conf
The Impact of Qualification on the Application of Qualitative Spatial and Temporal Reasoning Calculi.
Australasian Conference on Artificial Intelligence
Carl Schultz, Robert Amor, Hans W. Guesgen