| 2020 | ISoLA | 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 |
| 2020 | PPDP | Non-monotonic Spatial Reasoning for Safety Analysis in Construction. | Beidi Li, Jochen Teizer, Carl Schultz |
| 2018 | AAAI | Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning About Moving Objects. | Jakob Suchan, Mehul Bhatt, Przemyslaw Andrzej Walega, Carl Schultz |
| 2018 | ICST | A Framework for Threat-Driven Cyber Security Verification of IoT Systems. | Tomas Kulik, Peter W. V. Tran-Jrgensen, Jalil Boudjadar, Carl Schultz |
| 2016 | AAAI | Artificial Intelligence for Predictive and Evidence Based Architecture Design. | Mehul Bhatt, Jakob Suchan, Carl Schultz, Vasiliki Kondyli, Saurabh Goyal |
| 2016 | AAAI | Constructive Geometric Constraint Solving as a General Framework for KR-Based Declarative Spatial Reasoning. | Carl Schultz, Mehul Bhatt |
| 2016 | ILP | Deeply Semantic Inductive Spatio-Temporal Learning. | Jakob Suchan, Mehul Bhatt, Carl Schultz |
| 2015 | FedCSIS | Spatial Rules for Capturing Qualitatively Equivalent Configurations in Sketch maps. | Sahib Jan, Carl Schultz, Angela Schwering, Malumbo Chipofya |
| 2015 | FedCSIS | Encoding Relative Orientation and Mereotopology Relations with Geometric Constraints in CLP(QS). | Carl Schultz, Mehul Bhatt |
| 2015 | LPNMR | ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. | Przemyslaw Andrzej Walega, Mehul Bhatt, Carl Schultz |
| 2014 | ECAI | Declarative Spatial Reasoning with Boolean Combinations of Axis-Aligned Rectangular Polytopes. | Carl Schultz, Mehul Bhatt |
| 2014 | KR | Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer-Aided Architecture Design. | Mehul Bhatt, Carl Schultz, Madhura Thosar |
| 2013 | ICCS | InSpace3D: A Middleware for Built Environment Data Access and Analytics. | Carl Schultz, Mehul Bhatt |
| 2012 | ECAI | Towards a Declarative Spatial Reasoning System. | Carl Schultz, Mehul Bhatt |