CILC 2006

Ventunesimo incontro annuale dell'Associazione Italiana "Gruppo Ricercatori e Utenti di Logic Programming" (GULP) 26-27 giugno 2006 Dipartimento di Informatica, Universita' di Bari Via E. Orabona 4, BARI http://cilc2006.di.uniba.it

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 utenti, ricercatori e sviluppatori che operano nel campo della logica computazionale. Il ventunesimo convegno annuale si terra` a Bari nei giorni 26 e 27 Giugno 2006.

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 desidera porsi in questo orizzonte allargato, utilizzando, tra l'altro, il termine di "Logica Computazionale" per individuare tutto il variegato e molteplice 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.

Articoli

E' possibile sottomettere lavori completi ("full papers"), eventualmente anche sottomessi ad altre conferenze o riviste,oppure lavori brevi ("short papers"). Questi ultimi sono particolarmente indicati per presentare lavori in corso, anche se non ancora pronti per la pubblicazione, riassunti di tesi di dottorato, nonche' "overview" di progetti di ricerca.

•   Programmazione logica, a vincoli e altri paradigmi di programmazione dichiarativa
•   Integrazione tra vari paradigmi di programmazione dichiarativa
•   Analisi, trasformazione, validazione e verifica di programmi
•   Strumenti ed ambienti per lo sviluppo di programmi
•   Model Checking, Automated Theorem Proving
•   Rappresentazione ed estrazione della conoscenza
•   Non-Monotonic Reasoning
•   Abductive Logic Programming
•   Answer Set Programming
•   Model-based Reasoning e Approximate Reasoning
•   Inductive Logic Programming
•   Data Mining
•   Sistemi multi-agente
•   Database deduttivi
•   Semantic Web
•   Linguaggio naturale
•   Logica computazionale per concorrenza, coordination, mobilità e oggetti
•   Pianificazione e scheduling

Istruzioni per la sottomissione

La modalita' preferita di sottomissione degli articoli e' tramite la posta elettronica, inviando la versione PDF o postscript dell'articolo all'indirizzo cilc06@di.uniba.it. Gli articoli sottomessi saranno esaminati dai membri del comitato di programma per valutarne l'adeguatezza alle caratteristiche e agli scopi del convegno. Gli articoli potranno essere scritti in italiano o in inglese e non dovranno superare le 15 pagine per i lavori completi, e le 5 pagine per i lavori brevi. Il formato preferito per la preparazione dei lavori e' il formato standard della serie LNCS (http://www.springer.de/comp/lncs/index.html). E' necessario specificare nel messaggio di accompagnamento se si tratta di un lavoro completo o breve e se si tratta di un lavoro nuovo o già sottomesso ad altre conferenze o riviste. Gli articoli accettati dovranno essere presentati al convegno.

Demo

Si sollecitano proposte per la presentazione di "demo" di sistemi e prototipi software, realizzati in ambito di ricerca o industriale, che utilizzino tecniche e strumenti connessi con la Logica Computazionale o che costituiscano essi stessi strumenti utili allo sviluppo di applicazioni basate sulla Logica Computazionale. Le proposte devono essere inviate per posta elettronica al Coordinatore delle Demo (lops@di.uniba.it) e devono includere una breve descrizione, preparata seguendo le modalita' previste per i lavori brevi, e la specifica dell'attrezzatura hardware e software richiesta.

Atti del Convegno

Gli articoli presentati al convegno (completi o brevi) saranno resi disponibili su Web nel sito del convegno. E' prevista una selezione di articoli originali presentati al convegno e relativi al tema dell'Intelligenza Artificiale per la pubblicazione in un numero speciale della rivista "Intelligenza Artificiale".

Date importanti

Comitato di programma

Comitato organizzatore

Organizzazione locale

Sito web

Le informazioni aggiornate sul congresso sono accessibili al sito web: http://cilc2006.di.uniba.it