2 papers
cs.AI2021
Semi-automated checking for regulatory compliance in e-Health
Ilaria Angela Amantea, Livio Robaldo, Emilio Sulis +2
One of the main issues of every business process is to be compliant with legal rules. This work presents a methodology to check in a semi-automated way the regulatory compliance of…
cs.LO2014
Runtime Verification Through Forward Chaining
Alan Perotti, Guido Boella, Artur d'Avila Garcez
In this paper we present a novel rule-based approach for Runtime Verification of FLTL properties over finite but expanding traces. Our system exploits Horn clauses in implication f…