17 novembre 2005
L'intelligenza artificiale compie 50 anni. Ripensando
alle sue origini.
Roberto Cordeschi
15 dicembre 2003
Linguaggi
per la descrizione di classi di complessità computazionale
Emanuele Covino, Dipartimento di Informatica
3 dicembre 2003
Logiche descrittive: fondamenti, estensioni ed
applicazioni
Francesca A. Lisi, Dipartimento di Informatica
28 novembre 2003
Teoremi limitativi e calcolabilità per
la cuoca di Stalin (cioè per informatici, logici e filosofi, i quali,
come la cuoca di Stalin, presumono di poter governare lo stato dei soviet.
Ed io cerco di aiutarli).
Luigi Borzacchini, Dipartimento di Matematica
25 novembre 2003
Conversazione su un possibile linguaggio per
diffondere l'informatica
Floriana Esposito, Direttore del dipartimento
di Informatica
Pino Bruno, giornalista scientifico, autore Mondadori
Informatica
Marco de Salvo, autore Mondadori Informatica
Giovanni Pani, Direttore del C.I.L.A.
19 novembre 2003
Realismo Informazionale
Luciano Floridi, Dipartimento di Filosofia
12 novembre 2003
Apprendimento
induttivo di teorie logiche ricorsive
Donato Malerba, Dipartimento di Informatica
23 maggio 2003
Il cittadino digitale
Pino Bruno, caposervizio Rai3
16 maggio 2003
Esplorazione
di spazi di ricerca in programmazione logica induttiva
Teresa M. A. Basile, Dipartimento di Informatica,
Bari.
9 maggio 2003
Modelli
di generalizzazione in programmazione logica induttiva
Nicola Di Mauro, Dipartimento di Informatica,
Bari.
16 luglio 2002
Tradeoffs profondità/fan-in per sistemi
di dimostrazione in forma di albero
Nicola Galesi, University of Toronto, Universitat
Politecnica de Catalunya.
2 febbraio 2002
FickleII: Oggetti che cambiano
classe
Mariangiola Dezani, Dipartimento
di Informatica, Università degli Studi di Torino.