Folgen
Carl Schultz
Carl Schultz
Department of Electrical and Computer Engineering, Aarhus University
Keine bestätigte E-Mail-Adresse
Titel
Zitiert von
Zitiert von
Jahr
CLP (QS): A declarative spatial reasoning framework
M Bhatt, JH Lee, C Schultz
International Conference on Spatial Information Theory, 210-230, 2011
1042011
The ‘Space’in spatial assistance systems: Conception, formalisation and computation
M Bhatt, C Schultz, C Freksa
Oxford University Press, 2014
602014
The shape of empty space: Human-centred cognitive foundations in computing for spatial design
M Bhatt, C Schultz, M Huang
2012 IEEE symposium on visual languages and human-centric computing (VL/HCC …, 2012
542012
A BIM-based LCA tool for sustainable building design during the early design stage
A Kamari, BM Kotula, CPL Schultz
Smart and Sustainable Built Environment 11 (2), 217-244, 2022
522022
ASPMT (QS): non-monotonic spatial reasoning with answer set programming modulo theories
PA Wałęga, M Bhatt, C Schultz
Logic Programming and Nonmonotonic Reasoning: 13th International Conference …, 2015
492015
Constraint-based renovation design support through the renovation domain model
A Kamari, CPL Schultz, PH Kirkegaard
Automation in construction 104, 265-280, 2019
442019
Towards innovative geospatial tools for fit-for-purpose land rights mapping
M Koeva, R Bennett, M Gerke, S Crommelinck, C Stöcker, J Crompvoets, ...
The international archives of the photogrammetry, remote sensing and spatial …, 2017
442017
The concept of digital twin for construction safety
J Teizer, KW Johansen, C Schultz
Construction Research Congress 2022, 1156-1165, 2022
432022
Visual explanation by high-level abduction: On answer-set programming driven reasoning about moving objects
J Suchan, M Bhatt, P Wałega, C Schultz
Proceedings of the AAAI conference on artificial intelligence 32 (1), 2018
432018
Towards a unifying domain model of construction safety, health and well-being: SafeConDM
B Li, C Schultz, J Teizer, O Golovina, J Melzner
Advanced Engineering Informatics 51, 101487, 2022
392022
PARADIS-A process integrating tool for rapid generation and evaluation of holistic renovation scenarios
A Kamari, PH Kirkegaard, CPL Schultz
Journal of building engineering 34, 101944, 2021
392021
Non-monotonic spatial reasoning with answer set programming modulo theories
PA Wałęga, C Schultz, M Bhatt
Theory and Practice of Logic Programming 17 (2), 205-225, 2017
362017
Bridging qualitative spatial constraints and feature-based parametric modelling: Expressing visibility and movement constraints
C Schultz, M Bhatt, A Borrmann
Advanced Engineering Informatics 31, 2-17, 2017
332017
Embodied 3D isovists: A method to model the visual perception of space
J Krukar, C Manivannan, M Bhatt, C Schultz
Environment and Planning B: Urban Analytics and City Science 48 (8), 2307-2325, 2021
312021
Hazard ontology and 4D benchmark model for facilitation of automated construction safety requirement analysis
KW Johansen, C Schultz, J Teizer
Computer‐Aided Civil and Infrastructure Engineering 38 (15), 2128-2144, 2023
302023
Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer-Aided Architecture Design.
M Bhatt, C Schultz, M Thosar, C Baral, GD Giacomo, T Eiter
KR, 2014
302014
Cognitive interpretation of everyday activities: toward perceptual narrative based visuo-spatial scene interpretation
M Bhatt, J Suchan, C Schultz
arXiv preprint arXiv:1306.5308, 2013
292013
Artificial intelligence for predictive and evidence based architecture design
M Bhatt, J Suchan, C Schultz, V Kondyli, S Goyal
Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016
252016
A multi-modal data access framework for spatial assistance systems: use-cases with the building information model (bim/ifc)
C Schultz, M Bhatt
Proceedings of the 2nd ACM SIGSPATIAL International Workshop on Indoor …, 2010
252010
A framework for threat-driven cyber security verification of iot systems
T Kulik, PWV Tran-Jørgensen, J Boudjadar, C Schultz
2018 IEEE International Conference on Software Testing, Verification and …, 2018
242018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20