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 is missing.