Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies

Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Francesco Pacenza, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis, Jessica Zangari. Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies. Artif. Intell. Law, 32(2):505-555, June 2024. [doi]

Abstract

Abstract is missing.