| 188128 | |
| IDG910600305 | |
| 91.06.00305 - Ist. Doc. Giur. / CNR - Firenze
| |
| Sartor Giovanni
| |
| L' analisi elettronica dei testi giuridici: il programma Irinorm e il
progetto Iri (Irnerio Regioni Italiane)
| |
| | |
| | |
| | |
| | |
| | |
| Riv. trim. dir. proc. civ., an. 44 (1990), fasc. 3, pag. 1017-1036
| |
| (Bibliografia: a pie' di pagina o nel corpo del testo)
| |
| F79
| |
| | |
| | |
| (Sommario: - La struttura del sistema Irinorm. - Principi ispiratori.
- La tecnica della normalizzazione. - L' uso della logica per
esprimere contenuti giuridici. - L' ambiente di sviluppo. L'
inserimento e la modifica della conoscenza. La redazione di testi
normalizzati. La generazione della base di conoscenza. - L' ambiente
di consultazione: l' interrogazione del sistema; il controllo della
deduzione e della base di conoscenza. - Prospettive e sviluppo del
progetto iri: la formalizzazione della conoscenza; il motore
inferenziale)
| |
| | |
| | |
| | |
| Ist. per la documentazione giuridica - Firenze
| |