Beidi Li

According to our database, Beidi Li authored at least 5 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Towards a unifying domain model of construction safety, health and well-being: SafeConDM.

Beidi Li, Carl Schultz, Jochen Teizer, Olga Golovina, Jürgen Melzner

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.

Beidi Li, John S. Fitzgerald, Carl Schultz

Adv. Eng. Informatics, 2022

2020

Non-monotonic Spatial Reasoning for Safety Analysis in Construction.

Beidi Li, Jochen Teizer, Carl Schultz

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.

Beidi Li, Rasmus O. Nielsen, Karsten W. Johansen, Jochen Teizer, Peter Gorm Larsen, Carl Schultz

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

2019

lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper).

Beidi Li, Mehul Bhatt, Carl Schultz

Proceedings of the 14th International Conference on Spatial Information Theory, 2019