Taking stock of available technologies for compliance checking on first-order knowledge
 |
 |
 |
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 in the 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 at https://github.com/liviorobaldo/compliancecheckers},
apice = {ComplCheckingCilc2022},
author = {Livio Robaldo and Sotiris Batsakis and Calegari, Roberta and Francesco Calimeri and Megumi Fujita and Guido Governatori and Maria Concetta Morelli and Pisano, Giuseppe and Ken Satoh and Ilias Tachmazidis},
editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
iris = {11585/903805},
keywords = {Compliance checking, Normative reasoning, LegalTech},
numpages = 16,
pages = {1--16},
publisher = {CEUR Workshop Proceedings},
scopus = {2-s2.0-85138245042},
series = {AI*IA Series},
title = {Taking stock of available technologies for compliance checking on first-order knowledge},
url = {http://ceur-ws.org/Vol-3204/},
urlpdf = {http://ceur-ws.org/Vol-3204/paper_1.pdf},
volume = 3204,
year = 2022
}