Aarhus University Johansen, K W, Nielsen, R O, Schultz, C P L & Teizer, J 2020, Non-monotonic Reasoning For Automated Progress Analysis Of Construction Operations . in N Dawood, F Pour Rahimian, S Seyedzadeh & M Sheikhkhoshkar (eds), Enabling the Development and Implementation of Digital Twins : Proceedings of the 20th International Conference on Construction Applications of Virtual Reality . pp. 292-303, 20th International Conference on Construction Applications of Virtual Reality, Middlesbrough, United Kingdom, 30/09/2020 . < https://www.researchgate.net/profile/Farzad-Pour-Rahimian/publication/344444905_Enabling_the_Development_and_Implementation_of_Digital_Twins_Proceedings_of_the_20th_International_Conference_on_Construction_Applications_of_Virtual_Reality/links/5fb3ec4445851518fdad5eab/Enabling-the-Development-and-Implementation-of-Digital-Twins-Proceedings-of-the-20th-International-Conference-on-Construction-Applications-of-Virtual-Reality.pdf >