Skip to main content

Peer Reviewed Publications

Title Year Description Download File


Logic Representation and Reasoning for Automated BIM Analysis to Support Automation in Offsite Construction




Appears in Automation in Construction
First-order and second-order logic were used to analyze IFC-based BIM models, and the implementation of the developed logic ruleset achieved a recall of 90.3% and higher. Logic representation and reasoning were demonstrated to be effective for automated BIM analysis in the AEC domain. Construction information were derived from BIM that can support analysis of offsite construction automation.