| | |
Summary: Lo "Institute for Logic, Language and
Computation" dell'Universit`a di Amsterdam
Marco Aiello
Dipartimento di Informatica e Telecomunicazioni
Via Sommarive 14 - 38050 Trento
Universit`a di Trento
aiellom@ieee.org
A febbraio di quest'anno (2002) ho concluso un dottorato di ricerca presso l'U-
niversit`a di Amsterdam su temi di teorie ed applicazioni per il ragionamento
spaziale. Si `e trattato di un progetto congiunto dello "Institute for Logic, Lan-
guage and Computation (ILLC)" e dello "Intelligent Sensory and Information
Systems" group. Di seguito presenter`o l'ILLC come ho avuto modo di conoscerlo
nei quattro anni di permanenza per il dottorato.
L'istituto, istituito ufficialmente nel 1986 come Instituut voor Taal, Logica
en Informatie (Istituto per la Linguistica, la Logica e l'Informatica), trae le sue
origini da un unione spontanea di membri delle facolt`a di matematica, informat-
ica e filosofia con l'obiettivo dichiarato di studiare la logica e le sue applicazioni
in matematica, informatica, filosofia e linguistica. Nel 1989 si aggiunge un grup-
po di linguisti computazionali dalla facolt`a di lettere. Nel 1991 l'istituto diventa
ufficialmente un istituto di ricerca dell'Universit`a di Amsterdam. Nel periodo
|
