The Cambridge Handbooks on Construction Robotics series focuses on the implementation of automation and robot technology to renew the construction industry and to arrest its declining productivity. The series is intended to give professionals, researchers, lecturers, and students basic conceptual and technical skills and implementation strategies to manage, research, or teach the implementation...

0

Over the last sixty years, a number of methods for automated theorem proving in geometry, especially Euclidean geometry, have been developed. Almost all of them focus on universally quantified theorems. On the other hand, there are only few studies about logical approaches of geometric constructions. Consequently, automated proving of ∀∃ theorems, that correspond to geometric construction probl...

Automated trucks for long-distance journeys seem within reach. With such automation, no human driver could be available. However, the last mile of delivery is likely to involve humans. Therefore, either a should still present, or construction site workers must interact with automated truck. While capable dealing various sites feasible, development costly and time-consuming. To define cooperativ...

Automated Compliance Checking (ACC) of building/construction projects is one important applications in Architecture, Engineering and Construction (AEC) industry, because it provides the checking processes results whether a building design complies with relevant laws, policies regulations. Currently, still involves lots manual operations, massive time cost consumption. Additionally, some sub-tas...

Rule-based construction safety checking aims to inspect risk factors during the process ensure that factor states are within thresholds. However, integrating multisource and text-based rules remains a challenge. This study proposes semantic approach integrate heterogeneous data under building information modeling (BIM) environment enable automated through SPARQL-based reasoning. In this framewo...