CILC 2004

Sin dal primo convegno tenutosi a Genova nel 1986, il convegno annuale del GULP ha rappresentato la principale occasione di incontro e scambio di idee ed esperienze tra tutti coloro (utenti, ricercatori,sviluppatori) che operano nel campo della logica computazionale.Il prossimo convegno annuale, il diciannovesimo, si terrà a Parma presso il Dipartimento di Matematica dell'Università di Parma i giorni 16 e 17 giugno 2004. 

Nel corso degli anni il convegno annuale organizzato dal GULP ha allargato i propri orizzonti dal campo specifico della programmazione logica a quelli più generali della programmazione con vincoli, della programmazione dichiarativa, delle applicazioni nei diversi settori limitrofi, quali quello dell'Intelligenza Artificiale e dei Database Deduttivi. Anche il convegno di quest'anno vuol continuare e, se possibile, ampliare questa politica di "apertura", utilizzando, tra l'altro, il più generale termine di Logica Computazionale per individuare tutto il variegato mondo della ricerca di base ed applicata che, direttamente o indirettamente, utilizza, o comunque si confronta, con le idee e le tecniche messe a punto nel campo della Programmazione Logica. Il programma del convegno prevede la presentazione di articoli sottomessi, di alcuni "tutorial" su argomenti specifici e la presentazione di prototipi software con le relative "demo".

• Strumenti ed ambienti per lo sviluppo di programmi
• Analisi, trasformazione, validazione, verifica di programmi
• Programmazione dichiarativa
• Estensioni ed integrazioni con altri paradigmi
  Programmazione a vincoli
• Concorrenza, "coordination", mobilità, oggetti
  Database deduttivi
• "Semantic Web"
• Sistemi multi-agente
  Ragionamento non-monotono
• "Abductive Logic Programming", "Answer Set Programming"
  Apprendimento automatico ("Inductive Logic Programming", ...)
• Ragionamento "model-based"
• Rappresentazione della conoscenza
• Estrazione di conoscenza
• Pianificazione e scheduling
• Linguaggio naturale