FROM ESTENSE COM A Ingegneria convegno di Logica Computazionale Si terrà fino a venerdì 26 (Inaugurato ieri 24 ) il CILC 09, XXIV Convegno Italiano di Logica Computazionale presso la Facoltà di Ingegneria del Polo Scientifico-Tecnologico dell’Università di Ferrara (via Saragat, 1), organizzato dal GULP, Gruppo ricercatori e Utenti Logic Programming. “Sin dal primo convegno tenutosi a Genova nel 1986 – spiegano gli organizzatori – l’evento annuale del GULP ha rappresentato la principale occasione di incontro e scambio di idee e di esperienze tra utenti, ricercatori e sviluppatori che operano nel campo della logica computazionale. Nel corso degli anni il convegno ha allargato i propri orizzonti dal campo specifico della programmazione logica a quelli più generali della programmazione con vincoli, della programmazione dichiarativa, delle applicazioni in diversi settori limitrofi, quali quello dell'Intelligenza Artificiale o dei Database Dedut...