No Cover Image

Conference Paper/Proceeding/Abstract 667 views 46 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
Tags: Add Tag
No Tags, Be the first to tag this record!
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
Item Description: https://ceur-ws.org/Vol-3204/
College: Faculty of Humanities and Social Sciences
Funders: 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.

Similar Items