Aarhus University Seal / Aarhus Universitets segl

Beidi Li

  1. 2022
  2. Published

    Modelling the impacts of crowds on occupants in the built environment—A static, rule-based approach to human perception and movement. / Li, Beidi; Fitzgerald, John; Schultz, Carl.

    In: Advanced Engineering Informatics, Vol. 51, 101452, 01.2022.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  3. Published

    Towards a unifying domain model of construction safety, health and well-being: SafeConDM. / Li, Beidi; Schultz, Carl; Teizer, Jochen; Golovina, Olga; Melzner, Jürgen.

    In: Advanced Engineering Informatics, Vol. 51, 101487, 01.2022.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  4. 2021
  5. Published

    Use of “Reasoner” for automated building code compliance assessment. / Hjelseth, Eilif ; Li, Beidi.

    Proceedings of the 38th International Conference of CIB W78. 2021. p. 138-147 (Proceedings of the 37th International Conference of CIB W78).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  6. Published

    Defeasible reasoning for automated building code compliance checking. / Li, Beidi; Schultz, Carl Peter Leslie; Dimyadi, Johannes; Amor, Robert.

    ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction: Proceedings of the 13th European Conference on Product & Process Modelling (ECPPM 2021), 15-17 September 2021, Moscow, Russia. ed. / Vitaly Semenov; Raimar J. Scherer. london : CRC Press, 2021. p. 229-236.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  7. Submitted

    Answer Set Programming for Building Information Modelling. / Li, Beidi.

    2021.

    Research output: Book/anthology/dissertation/reportPh.D. thesisResearch

  8. Published

    Navigating the vast landscape of spatially valid renovation scenarios. / Kamari, Aliakbar; Li, Beidi; Schultz, Carl Peter Leslie.

    ECPPM 2021 - eWork and eBusiness in Architecture, Engineering and Construction: Proceedings of the 13th European Conference on Product & Process Modelling (ECPPM 2021), 15-17 September 2021, Moscow, Russia. ed. / Vitaly Semenov; Raimar J. Scherer. CRC Press/Balkema, 2021. p. 163-170.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  9. Published

    Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site. / Li, Beidi; Nielsen, Rasmus O.; Johansen, Karsten W.; Teizer, Jochen; Larsen, Peter Gorm; Schultz, Carl.

    Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV. ed. / Tiziana Margaria; Bernhard Steffen. Cham : Springer, 2021. p. 153-174 (Lecture Notes in Computer Science, Vol. 12479).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  10. 2020
  11. Published

    Safe and Lean Location-based Construction Scheduling. / Li, Beidi; Schultz, Carl Peter Leslie; Melzner, Jürgen; Golovina, Olga; Teizer, Jochen.

    Proceedings of the 37th International Symposium on Automation and Robotics in Construction (ISARC 2020): From Demonstration to Practical Use - To New Stage of Construction Robot -. ed. / Hisashi Osumi; Hiroshi Furuya; Kazuyoshi Tateyama. International Association for Automation and Robotics in Construction (IAARC), 2020. p. 1409-1416.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  12. Published

    Modelling Co-presence in the Built Environment - a Spatio-temporal Approach to Human Perception and Movement. / Li, Beidi; Fitzgerald, John ; Schultz, Carl Peter Leslie.

    EG-ICE 2020 Proceedings: Workshop on Intelligent Computing in Engineering. ed. / Lucian Constantin Ungureanu; Timo Hartmann. Berlin : Universitätsverlag der TU Berlin, 2020. p. 215-225.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  13. Published

    Non-Monotonic Spatial Reasoning for Safety Analysis in Construction. / Li, Beidi; Teizer, Jochen; Schultz, Carl Peter Leslie.

    PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming. New York : Association for Computing Machinery, 2020. p. 1-12 16.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  14. Published

    Qualitative and Traceable Calculations for Building Codes. / Li, Beidi; Dimyadi, Johannes; Amor, Robert; Schultz, Carl Peter Leslie.

    Proceedings of the 37th CIB W78 Information Technology for Construction Conference (CIB W78). 2020. p. 69-84.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  15. Published

    Towards a Unifying Domain Model of Construction Safety: SafeConDM. / Schultz, Carl Peter Leslie; Li, Beidi; Teizer, Jochen.

    EG-ICE 2020 Proceedings: Workshop on Intelligent Computing in Engineering. ed. / Lucian Constantin Ungureanu; Timo Hartmann. Berlin : Universitätsverlag der TU Berlin, 2020. p. 363-372.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  16. 2019
  17. Published

    λProlog(QS) : Functional spatial reasoning in higher order logic programming. / Li, Beidi; Bhatt, Mehul; Schultz, Carl.

    14th International Conference on Spatial Information Theory, COSIT 2019. ed. / Sabine Timpf; Christoph Schlieder; Markus Kattenbeck; Bernd Ludwig; Kathleen Stewart. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2019. 26 (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 142).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review