[HTML][HTML] The promise of automated compliance checking

R Amor, J Dimyadi - Developments in the built environment, 2021 - Elsevier
The quest to automate compliance checking processes needed for planning, design,
construction and operations has been an active research topic for half a century. Literature …

From legal contracts to formal specifications: A systematic literature review

M Soavi, N Zeni, J Mylopoulos, L Mich - SN Computer Science, 2022 - Springer
The opportunity to automate and monitor the execution of legal contracts is gaining
increasing interest in Business and Academia, thanks to the advent of smart contracts …

ODRL policy modelling and compliance checking

M De Vos, S Kirrane, J Padget, K Satoh - Rules and Reasoning: Third …, 2019 - Springer
This paper addresses the problem of constructing a policy pipeline that enables compliance
checking of business processes against regulatory obligations. Towards this end, we …

Automated BIM data validation integrating open-standard schema with visual programming language

P Ghannad, YC Lee, J Dimyadi, W Solihin - Advanced Engineering …, 2019 - Elsevier
A building design must comply with a wide spectrum of requirements stipulated by building
codes, normative standards, owner's specifications, industry's guidelines, and project …

LegalRuleML: Design principles and foundations

T Athan, G Governatori, M Palmirani, A Paschke… - Reasoning Web. Web …, 2015 - Springer
This tutorial presents the principles of the OASIS LegalRuleML applied to the legal domain
and discusses why, how, and when LegalRuleML is well-suited for modelling norms. To …

[HTML][HTML] Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support

C Benzmüller, X Parent, L van der Torre - Artificial intelligence, 2020 - Elsevier
A framework and methodology—termed LogiKEy—for the design and engineering of ethical
reasoners, normative theories and deontic logics is presented. The overall motivation is the …

[KİTAP][B] Building information modeling: Automated code checking and compliance processes

NO Nawari - 2018 - taylorfrancis.com
" Many researchers and software developers have put a lot of effort into finding solutions for
automated code checking. This book is a good summary of these efforts and provides …

Design of a software architecture supporting business-to-government information sharing to improve public safety and security: Combining business rules, Events and …

S Engelenburg, M Janssen, B Klievink - Journal of Intelligent information …, 2019 - Springer
To ensure public safety and security, it is vitally important for governments to collect
information from businesses and analyse it. Such information can be used to determine …

[KİTAP][B] L'intelligenza artificiale e il diritto

G Sartor - 2022 - cris.unibo.it
Grazie all'intelligenza artificiale (IA), attività fino ad oggi svolte esclusivamente dalle persone
possono essere affidate alle macchine, che hanno acquisito capacità di ragionare …

The linked legal data landscape: linking legal data across different countries

E Filtz, S Kirrane, A Polleres - Artificial Intelligence and Law, 2021 - Springer
Abstract The European Union is working towards harmonizing legislation across Europe, in
order to improve cross-border interchange of legal information. This goal is supported for …