Informatica e diritto, XXXVI Annata, Vol. XIX, 2010, n. 1-2, pp. 289-297

Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker

Using Intuitionistic Logic as a Basis for Legal Ontologies

Uso della logica intuizionistica come base per ontologie giuridiche
Relazione al workshop "LOAIT - Legal Ontologies an Artificial Intelligence Tecnhniques", Fiesole (FI), 7 luglio 2010

Sommario: 1. Introduction - 2. Jurisprudence and Intuitionism - 3. Intuitionistic Description Logic iALC- 4. Private International Law Using iALC - 5. Conclusions