Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"Logic and Natural Language"”.
-
A Framework for Specifying Business Rules Based on Logic with a Syntax Close to Natural Language
… is crucial to software system maintenance and creation and has surfaced as the big challenge of modern software engineering. Existing frameworks promoting the typical programming languages with artificial syntax are suitable to be processed by computers but do not cater to domain experts, …
-
Semantic deontic modeling and text classification for supporting automated environmental compliance checking in construction
… norms (regulatory norms, contractual norms, and advisory practices). Manual compliance checking has been time-intensive, resource-consuming, and error-prone. Automated compliance checking (ACC) is thus a more efficient approach to compliance assessment. However, automated compliance checking …