Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
[HTML][HTML] The promise of automated compliance checking
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 …
construction and operations has been an active research topic for half a century. Literature …
From legal contracts to formal specifications: A systematic literature review
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 …
increasing interest in Business and Academia, thanks to the advent of smart contracts …
ODRL policy modelling and compliance checking
This paper addresses the problem of constructing a policy pipeline that enables compliance
checking of business processes against regulatory obligations. Towards this end, we …
checking of business processes against regulatory obligations. Towards this end, we …
Automated BIM data validation integrating open-standard schema with visual programming language
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 …
codes, normative standards, owner's specifications, industry's guidelines, and project …
LegalRuleML: Design principles and foundations
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 …
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
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 …
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 …
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 …
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 …
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 …
possono essere affidate alle macchine, che hanno acquisito capacità di ragionare …
The linked legal data landscape: linking legal data across different countries
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 …
order to improve cross-border interchange of legal information. This goal is supported for …