Carl P. L. Schultz
Orcid: 0000-0001-7334-6617Affiliations:
- Aarhus University, Denmark
- University of Auckland, Department of Computer Science, New Zealand (former)
According to our database1,
Carl P. L. Schultz
authored at least 49 papers
between 2006 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
A review of drivers and barriers of Digital Twin adoption in building project development processes.
J. Inf. Technol. Constr., 2024
2023
Hazard ontology and 4D benchmark model for facilitation of automated construction safety requirement analysis.
Comput. Aided Civ. Infrastructure Eng., October, 2023
Proceedings of the 18th International Conference on Software Technologies, 2023
2022
Towards a unifying domain model of construction safety, health and well-being: SafeConDM.
Adv. Eng. Informatics, 2022
Modelling the impacts of crowds on occupants in the built environment - A static, rule-based approach to human perception and movement.
Adv. Eng. Informatics, 2022
2021
Diversity in Renovation Design: Theoretical Foundations of the Renovation Domain Model.
J. Comput. Civ. Eng., 2021
Proceedings of the 15th International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021 co-located with 17th Reasoning Web Summer School (RW 2021) and 13th DecisionCAMP 2021 as part of Declarative AI 2021, Leuven, Belgium (virtual due to Covid-19 pandemic), 8, 2021
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021
2020
Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020
Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020
2019
Proceedings of the Frontiers in Software Engineering Education, 2019
lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper).
Proceedings of the 14th International Conference on Spatial Information Theory, 2019
2018
Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018
Proceedings of the 2018 IEEE International Conference on Software Testing, 2018
Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning About Moving Objects.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
Theory Pract. Log. Program., 2017
Cognitively plausible representations for the alignment of sketch and geo-referenced maps.
J. Spatial Inf. Sci., 2017
Bridging qualitative spatial constraints and feature-based parametric modelling: Expressing visibility and movement constraints.
Adv. Eng. Informatics, 2017
Proceedings of the 6th Workshop on Intelligent Cinematography and Editing, 2017
Evidence-Based Parametric Design: Computationally Generated Spatial Morphologies Satisfying Behavioural-Based Design Constraints.
Proceedings of the 13th International Conference on Spatial Information Theory, 2017
2016
Int. J. Geogr. Inf. Sci., 2016
Proceedings of the Scalable Uncertainty Management - 10th International Conference, 2016
Proceedings of the Rule Technologies. Research, Tools, and Applications, 2016
Proceedings of the 26th International Conference on Inductive Logic Programming (Short papers), 2016
Embodied visuo-locomotive experience analysis: immersive reality based summarisation of experiments in environment-behaviour studies.
Proceedings of the ACM Symposium on Applied Perception, 2016
Constructive Geometric Constraint Solving as a General Framework for KR-Based Declarative Spatial Reasoning.
Proceedings of the Declarative Learning Based Programming, 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
Left-Right Relations for Qualitative Representation and Alignment of Planar Spatial Networks.
Proceedings of the Advances in Artificial Intelligence and Its Applications, 2015
ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015
Encoding Relative Orientation and Mereotopology Relations with Geometric Constraints in CLP(QS).
Proceedings of the 2015 Workshop on Logics for Qualitative Modelling and Reasoning (LQMR@FedCSIS 2015), 2015
Proceedings of the 2015 Workshop on Logics for Qualitative Modelling and Reasoning (LQMR@FedCSIS 2015), 2015
Spatial Symmetry Driven Pruning Strategies for Efficient Declarative Spatial Reasoning.
Proceedings of the Spatial Information Theory - 12th International Conference, 2015
2014
Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer-Aided Architecture Design.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
Declarative Spatial Reasoning with Boolean Combinations of Axis-Aligned Rectangular Polytopes.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
2013
Proceedings of the Second Interdisciplinary Workshop The Shape of Things, 2013
The Shape of Empty Space: Human-centred cognitive foundations in computing for spatial design.
Proceedings of the Second Interdisciplinary Workshop The Shape of Things, 2013
Proceedings of the International Conference on Computational Science, 2013
Cognitive Interpretation of Everyday Activities - Toward Perceptual Narrative Based Visuo-Spatial Scene Interpretation.
Proceedings of the 2013 Workshop on Computational Models of Narrative, 2013
2012
Artif. Intell. Eng. Des. Anal. Manuf., 2012
The shape of empty space: Human-centred cognitive foundations in computing for spatial design.
Proceedings of the 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, 2012
2011
Proceedings of the Spatial Information Theory - 10th International Conference, 2011
2010
A multi-modal data access framework for spatial assistance systems: use-cases with the building information model (BIM/IFC).
Proceedings of the Indoor Spatial Awareness, 2010
The Impact of Qualification on the Application of Qualitative Spatial and Temporal Reasoning Calculi.
Proceedings of the AI 2010: Advances in Artificial Intelligence, 2010
2009
Adv. Eng. Informatics, 2009
Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009
Proceedings of the Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009
2007
Proceedings of the FUZZ-IEEE 2007, 2007
2006
Computer-human interaction issues when integrating qualitative spatial reasoning into geographic information systems.
Proceedings of the 7th ACM SIGCHI New Zealand Chapter's International Conference on Computer-Human Interaction: Design Centered HCI, 2006