Beidi Li

According to our database, Beidi Li authored at least 7 papers between 2019 and 2025.

Collaborative distances:

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

2025

Digital evolution: Novo Nordisk's shift to ontology-based data management.

Shawn Zheng Kai Tan, Shounak Baksi, Thomas Gade Bjerregaard, Preethi Elangovan, Thrishna Kuttikattu Gopalakrishnan, Darko Hric, Joffrey Joumaa, Beidi Li, Kashif Rabbani, Santhosh Kannan Venkatesan, Joshua Daniel Valdez, Saritha Vettikunnel Kuriakose

J. Biomed. Semant., December, 2025

Clingo2DSR - A clingo-based software system for declarative spatial reasoning.

Beidi Li, Carl P. L. Schultz

Spatial Cogn. Comput., January, 2025

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