organo hammond

Informatica e Diritto - Numero 1993-1, Gennaio 1993

Dinamica del sistemi normativi e calcolo degli eventi

1. Premessa. L'uso della programmazione logica nella redazione delle leggi: il problema della formalizzazione. 2. Il problema: la ricostruzione della normativa vigente. 3. Modifiche implicite modifiche esplicite, e deroghe. 4. Lo strumento informatico: il calcolo degli eventi, una rappresentazione logica e computabile per la dinamica degli atti normativi. 5. La formalizzazione degli atti normativi nel calcolo degli eventi. 6. Le modifiche testuali. 7. Appendice: un prototipo per la monodinami...