Ken Satoh

Obligation as Optimal Goal Satisfaction

R. Kowalski, Ken Satoh, 2017, Journal of Philosophical Logic.

Taking stock of available technologies for compliance checking on first-order knowledge

Maria Concetta Morelli, L. Robaldo, Francesco Calimeri, 2022, CILC.

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

Maria Concetta Morelli, L. Robaldo, Francesco Calimeri, 2023, Artificial Intelligence and Law.