Carl P. L. Schultz

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 26

Top Topics

Logic Programming

Spatial Reasoning

Topological Relations

Answer Set Programming

Top Venues

Publications

Karsten W. Johansen, Carl P. L. Schultz, Jochen Teizer
Hazard ontology and 4D benchmark model for facilitation of automated construction safety requirement analysis. Comput. Aided Civ. Infrastructure Eng. 38 (15) (2023)
Daniella Tola, Cláudio Gomes, Carl P. L. Schultz, Christian Schlette, Casper Hansen, Lukas Esterle
RoboCIM: Towards a Domain Model for Industrial Robot System Configurators. RuleML+RR (Supplement) (2021)
Christos Chronopoulos, Karsten W. Johansen, Jochen Teizer, Carl P. L. Schultz, Lukas Esterle
Towards a Holistic, Self-Organised Safety Framework for Construction. ACSOS-C (2021)
Beidi Li, Jochen Teizer, Carl P. L. Schultz
Non-monotonic Spatial Reasoning for Safety Analysis in Construction. PPDP (2020)
Beidi Li, Mehul Bhatt, Carl P. L. Schultz
lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper). COSIT (2019)
Carl P. L. Schultz, Mehul Bhatt, Jakob Suchan, Przemyslaw Andrzej Walega
Answer Set Programming Modulo 'Space-Time'. CoRR (2018)
Carl P. L. Schultz, Mehul Bhatt, Jakob Suchan, Przemyslaw Andrzej Walega
Answer Set Programming Modulo 'Space-Time'. RuleML+RR (2018)
Jakob Suchan, Mehul Bhatt, Przemyslaw Andrzej Walega, Carl P. L. Schultz
Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning About Moving Objects. AAAI (2018)
Carl P. L. Schultz, Mehul Bhatt, André Borrmann
Bridging qualitative spatial constraints and feature-based parametric modelling: Expressing visibility and movement constraints. Adv. Eng. Informatics 31 (2017)
Mehul Bhatt, Carl P. L. Schultz, Jakob Suchan, Przemyslaw Andrzej Walega
Declarative Spatial Reasoning for Intelligent Cinematography. WICED@Eurographics (2017)
Vasiliki Kondyli, Carl P. L. Schultz, Mehul Bhatt
Evidence-Based Parametric Design: Computationally Generated Spatial Morphologies Satisfying Behavioural-Based Design Constraints. COSIT (2017)
Jakob Suchan, Mehul Bhatt, Przemyslaw Andrzej Walega, Carl P. L. Schultz
Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning about Moving Objects. CoRR (2017)
Przemyslaw Andrzej Walega, Carl P. L. Schultz, Mehul Bhatt
Non-monotonic spatial reasoning with answer set programming modulo theories. Theory Pract. Log. Program. 17 (2) (2017)
Jakob Suchan, Mehul Bhatt, Carl P. L. Schultz
Deeply Semantic Inductive Spatio-Temporal Learning. ILP (Short Papers) (2016)
Mehul Bhatt, Jakob Suchan, Carl P. L. Schultz, Vasiliki Kondyli, Saurabh Goyal
Artificial Intelligence for Predictive and Evidence Based Architecture Design. AAAI (2016)
Przemyslaw Andrzej Walega, Carl P. L. Schultz, Mehul Bhatt
Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. CoRR (2016)
Jakob Suchan, Mehul Bhatt, Carl P. L. Schultz
Deeply Semantic Inductive Spatio-Temporal Learning. CoRR (2016)
Carl P. L. Schultz, Mehul Bhatt
A Numerical Optimisation Based Characterisation of Spatial Reasoning. RuleML (2016)
Mehul Bhatt, Jakob Suchan, Vasiliki Kondyli, Carl P. L. Schultz
Embodied visuo-locomotive experience analysis: immersive reality based summarisation of experiments in environment-behaviour studies. SAP (2016)
Carl P. L. Schultz, Mehul Bhatt
Constructive Geometric Constraint Solving as a General Framework for KR-Based Declarative Spatial Reasoning. AAAI Workshop: Declarative Learning Based Programming (2016)
Carl P. L. Schultz, Mehul Bhatt, Jakob Suchan
Probabilistic Spatial Reasoning in Constraint Logic Programming. SUM (2016)
Carl P. L. Schultz, Mehul Bhatt
Spatial Symmetry Driven Pruning Strategies for Efficient Declarative Spatial Reasoning. CoRR (2015)
Carl P. L. Schultz, Mehul Bhatt
Spatial Symmetry Driven Pruning Strategies for Efficient Declarative Spatial Reasoning. COSIT (2015)
Carl P. L. Schultz, Mehul Bhatt
Encoding Relative Orientation and Mereotopology Relations with Geometric Constraints in CLP(QS). LQMR@FedCSIS (2015)
Przemyslaw Andrzej Walega, Mehul Bhatt, Carl P. L. Schultz
ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. LPNMR (2015)
Przemyslaw Andrzej Walega, Mehul Bhatt, Carl P. L. Schultz
ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. CoRR (2015)
Mehul Bhatt, Carl P. L. Schultz, Madhura Thosar
Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer-Aided Architecture Design. KR (2014)
Carl P. L. Schultz, Mehul Bhatt
Declarative Spatial Reasoning with Boolean Combinations of Axis-Aligned Rectangular Polytopes. ECAI (2014)
Mehul Bhatt, Jakob Suchan, Carl P. L. Schultz
Cognitive Interpretation of Everyday Activities - Toward Perceptual Narrative Based Visuo-Spatial Scene Interpretation. CMN (2013)
Carl P. L. Schultz, Mehul Bhatt
InSpace3D: A Middleware for Built Environment Data Access and Analytics. ICCS (2013)
Mehul Bhatt, Carl P. L. Schultz
The Shape of Empty Space: Human-centred cognitive foundations in computing for spatial design. SHAPES (2013)
Carl P. L. Schultz, Mehul Bhatt
Declarative Computing with Shapes and Shadows. SHAPES (2013)
Mehul Bhatt, Jakob Suchan, Carl P. L. Schultz
Cognitive Interpretation of Everyday Activities: Toward Perceptual Narrative Based Visuo-Spatial Scene Interpretation. CoRR (2013)
Mehul Bhatt, Carl P. L. Schultz, Minqian Huang
The shape of empty space: Human-centred cognitive foundations in computing for spatial design. VL/HCC (2012)
Carl P. L. Schultz, Mehul Bhatt
Multimodal spatial data access for architecture design assistance. Artif. Intell. Eng. Des. Anal. Manuf. 26 (2) (2012)
Carl P. L. Schultz, Mehul Bhatt
Towards a Declarative Spatial Reasoning System. ECAI (2012)
Mehul Bhatt, Jae Hee Lee, Carl P. L. Schultz
CLP(QS): A Declarative Spatial Reasoning Framework. COSIT (2011)
Carl P. L. Schultz, Robert Amor, Hans W. Guesgen
The Impact of Qualification on the Application of Qualitative Spatial and Temporal Reasoning Calculi. Australasian Conference on Artificial Intelligence (2010)
Carl P. L. Schultz, Mehul Bhatt
A multi-modal data access framework for spatial assistance systems: use-cases with the building information model (BIM/IFC). ISA (2010)
Carl P. L. Schultz, Robert Amor, Hans W. Guesgen
Unit Testing for Qualitative Spatial and Temporal Reasoning. FLAIRS Conference (2009)
Carl P. L. Schultz, Robert Amor, Hans W. Guesgen
Towards a Theory of Application for QSTR Systems. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems (2009)
Carl P. L. Schultz, Robert Amor, B. Lobb, Hans W. Guesgen
Qualitative design support for engineering and architecture. Adv. Eng. Informatics 23 (1) (2009)
Carl P. L. Schultz, Hans W. Guesgen, Robert Amor
A System for Querying with Qualitative Distances in Networks. FUZZ-IEEE (2007)
Carl P. L. Schultz, Hans W. Guesgen, Robert Amor
Computer-human interaction issues when integrating qualitative spatial reasoning into geographic information systems. CHINZ (2006)