Time and compensation mechanisms in checking legal compliance

被引：0
|
作者：
Governatori, Guido [1 ]
Rotolo, Antonino [2 ]
机构：
[1] CSIRO’s Data61, Dutton Park, Australia
[2] CIRSFID, University of Bologna, Italy
来源：
Journal of Applied Logics | 2019年 / 6卷 / 05期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：815 / 845
相关论文
共 50 条
  • [21] Model Checking Legal Documents
    Gorin, Daniel
    Mera, Sergio
    Schapachnik, Fernando
    LEGAL KNOWLEDGE AND INFORMATION SYSTEMS, 2010, 223 : 151 - 154
  • [22] Deep Semantic Compliance Advisor for Unstructured Document Compliance Checking
    Guo, Honglei
    An, Bang
    Guo, Zhili
    Su, Zhong
    PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, : 4446 - 4452
  • [23] Compliance checking of integrated business processes
    Letia, Ioan Alfred
    Groza, Adrian
    DATA & KNOWLEDGE ENGINEERING, 2013, 87 : 1 - 18
  • [24] Efficient compliance checking of RDF data
    Robaldo, Livio
    Pacenza, Francesco
    Zangari, Jessica
    Calegari, Roberta
    Calimeri, Francesco
    Siragusa, Giovanni
    JOURNAL OF LOGIC AND COMPUTATION, 2023, 33 (08) : 1753 - 1776
  • [25] Semantic topological querying for compliance checking
    Bus, N.
    Muhammad, F.
    Fies, B.
    Roxin, A.
    EWORK AND EBUSINESS IN ARCHITECTURE, ENGINEERING AND CONSTRUCTION, 2018, : 459 - 464
  • [26] Reference architectures modelling and compliance checking
    Alessio Bucaioni
    Amleto Di Salle
    Ludovico Iovino
    Ivano Malavolta
    Patrizio Pelliccione
    Software and Systems Modeling, 2023, 22 : 891 - 917
  • [27] Reference architectures modelling and compliance checking
    Bucaioni, Alessio
    Di Salle, Amleto
    Iovino, Ludovico
    Malavolta, Ivano
    Pelliccione, Patrizio
    SOFTWARE AND SYSTEMS MODELING, 2023, 22 (03): : 891 - 917
  • [28] Model checking for ACL compliance verification
    Huget, MP
    Wooldridge, M
    ADVANCES IN AGENT COMMUNICATION, 2003, 2922 : 75 - 90
  • [29] Compliance Requirements Checking in Variable Environments
    Sartoli, Sara
    Ghanavati, Sepideh
    Namin, Akbar Siami
    2020 IEEE 44TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE (COMPSAC 2020), 2020, : 1093 - 1094
  • [30] Compliance Checking in the Open Payments Ecosystem
    Azzopardi, Shaun
    Colombo, Christian
    Pace, Gordon J.
    Vella, Brian
    SOFTWARE ENGINEERING AND FORMAL METHODS: 14TH INTERNATIONAL CONFERENCE, SEFM 2016, 2016, 9763 : 337 - 343
12345