Legenda: RI = riassunto e testo integrale
Numero monografico Logica, informatica, diritto
(tomo secondo)
a cura di
A.A. Martino, E. Maretti, C. Ciampi
È il secondo tomo del primo numero monografico della Rivista Informatica e diritto.
I curatori hanno pensato ad un argomento molto vasto, ma non per questo meno importante e urgente: la costruzione di un “modello” computerizzato di un sistema di norme giuridiche, che è un tema d’indagine alla confluenza fra tre discipline storicamente distinte e apparentemente disomogenee quali il diritto, la logica, l’informatica.
- Ronald K. Stamper, Verso un modello semantico per l’analisi della legislazione (RI)
- Layman E. Allen, Una guida per redattori giuridici di testi normalizzati (RI)
- Helmut Schreiner, Nuovi processi logici per il ragionamento giuridico (RI)
- Leo Reisinger, Sistemi normativi e tavole di decisione (RI)
- Victor Knapp, Alcuni problemi relativi alla costruzione di un thesaurus giuridico (RI)
- Ejan Mackaay, Un modello formale di sviluppo giurisprudenziale (RI)
- Ricardo A. Guibourg, Formalizzazione del ragionamento in materia di infortuni sul lavoro (RI)