LOGICA E FONDAMENTI DELL'INFORMATICA
in
collaborazione con la Società Italiana di Logica e Filosofia
delle Scienze SILFS
Rimini,
4-30 aprile 1996
Sala degli
Archi, Palazzo Comunale
Roberto
Cordeschi (Università di Salerno) Intelligenza artificiale:
euristiche, logica e buon senso
Carlo Cellucci
(Università di Roma "La Sapienza") Intelligenza artificiale e
sistemi aperti
Daniele
Mundici (Università di Milano) Logica e computer
Vito Michele
Abrusci (III Università di Roma) Proposizioni come tipi di
oggetti, operazioni come programmi
Giorgio Sandri
(Università di Bologna)
Linguaggio
naturale come linguaggio formale