Automated reasoning for regulatory compliance checking in the construction domain

Keyphrases

• First-order Logic 100%
• Construction Domain 100%
• Regulatory Compliance Checking 100%
• Automated Reasoning 100%
• Prolog 100%
• Compliance Checking 66%
• Automated Checking 66%
• Inference Making 33%
• Logic-based 33%
• Project Information 33%
• Representation Method 33%
• Logical Inference 33%
• Time Efficiency 33%
• Reasoner 33%
• International Building Code 33%
• Logic Programming Language 33%
• Descriptiveness 33%
• Assessment Error 33%
• Compliance Assessment 33%
• Building Regulations 33%
• Quantitative Requirement 33%

Computer Science

• Regulatory Compliance 100%
• Automated Reasoning 100%
• Varying Degree 50%
• Time Efficiency 50%
• Representation Method 50%
• Logic Programming 50%
• Information Project 50%
• Programming Language 50%