Semantic-Based Logic Representation and Reasoning for Automated Regulatory Compliance Checking

Jiansong Zhang, Nora M. El-Gohary. Semantic-Based Logic Representation and Reasoning for Automated Regulatory Compliance Checking. J. Comput. Civ. Eng., 31(1), 2017. [doi]

Abstract

Abstract is missing.