|
Rivista "Informatica e diritto"
Fascicolo No. 1, 1979, 253 p.
Legenda:  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 |
|
Layman E. Allen, Una
guida per redattori giuridici di testi
normalizzati |
|
Helmut Schreiner, Nuovi
processi logici per il ragionamento giuridico |
|
Leo Reisinger, Sistemi
normativi e tavole di decisione |
|
Victor Knapp, Alcuni
problemi relativi alla costruzione di un
thesaurus giuridico |
|
Ejan Mackaay, Un
modello formale di sviluppo giurisprudenziale |
|
Ricardo A. Guibourg, Formalizzazione
del ragionamento in materia di infortuni sul
lavoro |
|
