Non-monotonic Spatial Reasoning for Safety Analysis in Construction-Reference-Cited by-同舟云学术

Non-monotonic Spatial Reasoning for Safety Analysis in Construction

Published:2020-09-08 Issue: Volume: Page:
ISSN:
Container-title:22nd International Symposium on Principles and Practice of Declarative Programming
language:
Short-container-title:

Author:

Li Beidi¹,Teizer Jochen¹,Schultz Carl¹

Affiliation:

1. Aarhus University, Denmark

Funder

Danmarks Frie Forskningsfond

Publisher

ACM

Reference23 articles.

1. [n.d.]. BG Bau (2019) Absturzsicherungen auf Baustellen. https://www.bgbau.de/fileadmin/Medien- Objekte/Medien/Bausteine/b_100/b_100.pdf. Accessed: 28-02-2020. [n.d.]. BG Bau (2019) Absturzsicherungen auf Baustellen. https://www.bgbau.de/fileadmin/Medien- Objekte/Medien/Bausteine/b_100/b_100.pdf. Accessed: 28-02-2020.

2. [n.d.]. BuildSMART Industry Foundation Classes (IFC). https://technical.buildingsmart.org/standards/ifc/. Accessed: 23-05-2020. [n.d.]. BuildSMART Industry Foundation Classes (IFC). https://technical.buildingsmart.org/standards/ifc/. Accessed: 23-05-2020.

3. [n.d.]. IfcOpenShell. http://www.ifcopenshell.org/. Accessed: 23-05-2020. [n.d.]. IfcOpenShell. http://www.ifcopenshell.org/. Accessed: 23-05-2020.

4. System aspmt2smt: Computing ASPMT Theories by SMT Solvers

5. The shape of empty space: Human-centred cognitive foundations in computing for spatial design

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Clingo2DSR - A clingo-based software system for declarative spatial reasoning;Spatial Cognition & Computation;2024-03-29

2. Automated quantification of construction workers’ exposure to falling object hazards;Proceedings of the Institution of Civil Engineers - Management, Procurement and Law;2024-03-13

3. Hazard ontology and 4D benchmark model for facilitation of automated construction safety requirement analysis;Computer-Aided Civil and Infrastructure Engineering;2023-03-02

4. Building Information Modeling Using Constraint Logic Programming;Theory and Practice of Logic Programming;2022-07-14

5. Awareness of the prevention through design (PtD) concept among design engineers in the Philippines;Engineering Management in Production and Services;2022-03-01