A Commonsense Formalization of Normative Systems

Joost Breuker, André Valente. A Commonsense Formalization of Normative Systems. In Carlo Biagioli, Giovanni Sartor, Daniela Tiscornia, editors, ICLP 1994 Workshop W12: Legal Application of Logic Programming, Santa Margherita Ligure, Italy, June 1994. 1994.

Abstract

Abstract is missing.