No Cover Image

Conference Paper/Proceeding/Abstract 814 views 71 downloads

Taking stock of available technologies for compliance checking on first-order knowledge

Livio Robaldo Orcid Logo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis

37th Italian Conference on Computational Logic (CILC 2022), Volume: 3204

Swansea University Author: Livio Robaldo Orcid Logo

  • Robaldo-etal_CILC2022.pdf

    PDF | Version of Record

    Released under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

    Download (265.21KB)

Check full text

Abstract

This paper analyses and compares some of the automated reasoners that have been used in recent research for compliance checking. We are interested here in formalizations at the first-order level. Past literature on normative reasoning mostly focuses on the propositional level. However, the propositi...

Full description

Published in: 37th Italian Conference on Computational Logic (CILC 2022)
ISSN: 1613-0073
Published: 2022
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa60449
first_indexed 2022-07-11T14:14:40Z
last_indexed 2023-01-13T19:20:35Z
id cronfa60449
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2023-01-03T15:59:49.4508388</datestamp><bib-version>v2</bib-version><id>60449</id><entry>2022-07-11</entry><title>Taking stock of available technologies for compliance checking on first-order knowledge</title><swanseaauthors><author><sid>b711cf9f3a7821ec52bd1e53b4f6cf9e</sid><ORCID>0000-0003-4713-8990</ORCID><firstname>Livio</firstname><surname>Robaldo</surname><name>Livio Robaldo</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2022-07-11</date><deptcode>HRCL</deptcode><abstract>This paper analyses and compares some of the automated reasoners that have been used in recent research for compliance checking. We are interested here in formalizations at the first-order level. Past literature on normative reasoning mostly focuses on the propositional level. However, the propositional level is of little usefulness for concrete LegalTech applications, in which compliance checking must be enforced on (large) sets of individuals. This paper formalizes a selected use case inthe considered reasoners and compares the implementations. The comparison will highlight that lot of further research still need to be done to integrate the benefits featured by the different reasoners into a single standardized first-order framework. All source codes are available athttps://github.com/liviorobaldo/compliancecheckers</abstract><type>Conference Paper/Proceeding/Abstract</type><journal>37th Italian Conference on Computational Logic (CILC 2022)</journal><volume>3204</volume><journalNumber/><paginationStart/><paginationEnd/><publisher/><placeOfPublication/><isbnPrint/><isbnElectronic/><issnPrint/><issnElectronic>1613-0073</issnElectronic><keywords/><publishedDay>3</publishedDay><publishedMonth>10</publishedMonth><publishedYear>2022</publishedYear><publishedDate>2022-10-03</publishedDate><doi/><url>https://ceur-ws.org/Vol-3204/</url><notes>https://ceur-ws.org/Vol-3204/</notes><college>COLLEGE NANME</college><department>Hillary Rodham Clinton Law School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>HRCL</DepartmentCode><institution>Swansea University</institution><apcterm/><funders>Livio Robaldo has been supported by the Legal Innovation Lab Wales operation within Swansea University&#x2019;s Hillary Rodham Clinton School of Law. The operation has been part-funded by the European Regional Development Fund through the Welsh Government.</funders><projectreference/><lastEdited>2023-01-03T15:59:49.4508388</lastEdited><Created>2022-07-11T15:08:42.4792925</Created><path><level id="1">Faculty of Humanities and Social Sciences</level><level id="2">Hilary Rodham Clinton School of Law</level></path><authors><author><firstname>Livio</firstname><surname>Robaldo</surname><orcid>0000-0003-4713-8990</orcid><order>1</order></author><author><firstname>Sotiris</firstname><surname>Batsakis</surname><order>2</order></author><author><firstname>Roberta</firstname><surname>Calegari</surname><order>3</order></author><author><firstname>Francesco</firstname><surname>Calimeri</surname><order>4</order></author><author><firstname>Megumi</firstname><surname>Fujita</surname><order>5</order></author><author><firstname>Guido</firstname><surname>Governatori</surname><order>6</order></author><author><firstname>Maria Concetta</firstname><surname>Morelli</surname><order>7</order></author><author><firstname>Giuseppe</firstname><surname>Pisano</surname><order>8</order></author><author><firstname>Ken</firstname><surname>Satoh</surname><order>9</order></author><author><firstname>Ilias</firstname><surname>Tachmazidis</surname><order>10</order></author></authors><documents><document><filename>60449__24536__522e8633c7994d3e962a8c45856f6f47.pdf</filename><originalFilename>Robaldo-etal_CILC2022.pdf</originalFilename><uploaded>2022-07-11T15:13:51.2938934</uploaded><type>Output</type><contentLength>271574</contentLength><contentType>application/pdf</contentType><version>Version of Record</version><cronfaStatus>true</cronfaStatus><documentNotes>Released under the Creative Commons License Attribution 4.0 International (CC BY 4.0).</documentNotes><copyrightCorrect>true</copyrightCorrect><language>eng</language><licence>https://creativecommons.org/licenses/by/4.0/</licence></document></documents><OutputDurs/></rfc1807>
spelling 2023-01-03T15:59:49.4508388 v2 60449 2022-07-11 Taking stock of available technologies for compliance checking on first-order knowledge b711cf9f3a7821ec52bd1e53b4f6cf9e 0000-0003-4713-8990 Livio Robaldo Livio Robaldo true false 2022-07-11 HRCL This paper analyses and compares some of the automated reasoners that have been used in recent research for compliance checking. We are interested here in formalizations at the first-order level. Past literature on normative reasoning mostly focuses on the propositional level. However, the propositional level is of little usefulness for concrete LegalTech applications, in which compliance checking must be enforced on (large) sets of individuals. This paper formalizes a selected use case inthe considered reasoners and compares the implementations. The comparison will highlight that lot of further research still need to be done to integrate the benefits featured by the different reasoners into a single standardized first-order framework. All source codes are available athttps://github.com/liviorobaldo/compliancecheckers Conference Paper/Proceeding/Abstract 37th Italian Conference on Computational Logic (CILC 2022) 3204 1613-0073 3 10 2022 2022-10-03 https://ceur-ws.org/Vol-3204/ https://ceur-ws.org/Vol-3204/ COLLEGE NANME Hillary Rodham Clinton Law School COLLEGE CODE HRCL Swansea University Livio Robaldo has been supported by the Legal Innovation Lab Wales operation within Swansea University’s Hillary Rodham Clinton School of Law. The operation has been part-funded by the European Regional Development Fund through the Welsh Government. 2023-01-03T15:59:49.4508388 2022-07-11T15:08:42.4792925 Faculty of Humanities and Social Sciences Hilary Rodham Clinton School of Law Livio Robaldo 0000-0003-4713-8990 1 Sotiris Batsakis 2 Roberta Calegari 3 Francesco Calimeri 4 Megumi Fujita 5 Guido Governatori 6 Maria Concetta Morelli 7 Giuseppe Pisano 8 Ken Satoh 9 Ilias Tachmazidis 10 60449__24536__522e8633c7994d3e962a8c45856f6f47.pdf Robaldo-etal_CILC2022.pdf 2022-07-11T15:13:51.2938934 Output 271574 application/pdf Version of Record true Released under the Creative Commons License Attribution 4.0 International (CC BY 4.0). true eng https://creativecommons.org/licenses/by/4.0/
title Taking stock of available technologies for compliance checking on first-order knowledge
spellingShingle Taking stock of available technologies for compliance checking on first-order knowledge
Livio Robaldo
title_short Taking stock of available technologies for compliance checking on first-order knowledge
title_full Taking stock of available technologies for compliance checking on first-order knowledge
title_fullStr Taking stock of available technologies for compliance checking on first-order knowledge
title_full_unstemmed Taking stock of available technologies for compliance checking on first-order knowledge
title_sort Taking stock of available technologies for compliance checking on first-order knowledge
author_id_str_mv b711cf9f3a7821ec52bd1e53b4f6cf9e
author_id_fullname_str_mv b711cf9f3a7821ec52bd1e53b4f6cf9e_***_Livio Robaldo
author Livio Robaldo
author2 Livio Robaldo
Sotiris Batsakis
Roberta Calegari
Francesco Calimeri
Megumi Fujita
Guido Governatori
Maria Concetta Morelli
Giuseppe Pisano
Ken Satoh
Ilias Tachmazidis
format Conference Paper/Proceeding/Abstract
container_title 37th Italian Conference on Computational Logic (CILC 2022)
container_volume 3204
publishDate 2022
institution Swansea University
issn 1613-0073
college_str Faculty of Humanities and Social Sciences
hierarchytype
hierarchy_top_id facultyofhumanitiesandsocialsciences
hierarchy_top_title Faculty of Humanities and Social Sciences
hierarchy_parent_id facultyofhumanitiesandsocialsciences
hierarchy_parent_title Faculty of Humanities and Social Sciences
department_str Hilary Rodham Clinton School of Law{{{_:::_}}}Faculty of Humanities and Social Sciences{{{_:::_}}}Hilary Rodham Clinton School of Law
url https://ceur-ws.org/Vol-3204/
document_store_str 1
active_str 0
description This paper analyses and compares some of the automated reasoners that have been used in recent research for compliance checking. We are interested here in formalizations at the first-order level. Past literature on normative reasoning mostly focuses on the propositional level. However, the propositional level is of little usefulness for concrete LegalTech applications, in which compliance checking must be enforced on (large) sets of individuals. This paper formalizes a selected use case inthe considered reasoners and compares the implementations. The comparison will highlight that lot of further research still need to be done to integrate the benefits featured by the different reasoners into a single standardized first-order framework. All source codes are available athttps://github.com/liviorobaldo/compliancecheckers
published_date 2022-10-03T20:25:25Z
_version_ 1821438509857112064
score 11.047609

Similar Items