* ________________________________________________________________________ * [AI*IA] Associazione Italiana per l'Intelligenza Artificiale [AI*IA] GRUPPO DI LAVORO "RAPPRESENTAZIONE DELLA CONOSCENZA E RAGIONAMENTO AUTOMATICO" * ________________________________________________________________________ * ANALISI SPERIMENTALE E BENCHMARK DI ALGORITMI PER L'INTELLIGENZA ARTIFICIALE Richiesta invio contributi e invito alla partecipazione http://www.ing.unife.it/eventi/rcra05/ * ________________________________________________________________________ * Il gruppo di lavoro "Rappresentazione della conoscenza e ragionamento automatico" dell'Associazione Italiana per l'Intelligenza Artificiale (AI*IA) organizza una giornata di lavoro sul tema ANALISI SPERIMENTALE E BENCHMARK DI ALGORITMI PER L'INTELLIGENZA ARTIFICIALE ------------------------------------------------------------------------ DATA 10 giugno 2005 LUOGO Ferrara, Facoltà di Ingegneria dell'Università SCOPO DELL'INCONTRO Per risolvere problemi tipici dell'Intelligenza Artificiale sono spesso proposti diversi tipi di algoritmi, basati su tecniche e strategie diverse, a volte ispirate da o ibridizzate con tecniche nate in altre aree, ad esempio la Ricerca Operativa. Lo sviluppo attuale della ricerca in Intelligenza Artificiale mostra un interesse sempre maggiore verso lo studio sperimentale degli algoritmi, lo sviluppo di opportune metodologie di sperimentazione e analisi dei risultati, lo studio di linguaggi e la realizzazione di sistemi per la definizione e soluzione di problemi. Lo scopo della giornata è favorire l'incontro di ricercatori interessati a confrontare algoritmi diversi per risolvere stessi problemi, proporre benchmark ed, in generale, confrontare approcci diversi dal punto di vista dell'efficienza, della rappresentazione di problemi e della facilità di sviluppo. I TEMI DI INTERESSE DEL WORKSHOP INCLUDONO, MA NON SONO LIMITATI, AI SEGUENTI: * Analisi sperimentale di algoritmi per (lista non esaustiva): o rappresentazione della conoscenza o ragionamento automatico o pianificazione o apprendimento o model checking o soddisfacibilità proposizionale (SAT) o formule booleane quantificate (QBF) o logiche modali o programmazione logica, disgiuntiva e non o ragionamento temporale o programmazione intera o programmazione a vincoli * Definizione e costruzione di benchmark * Metodologie di sperimentazione * Metaeuristiche * Ibridizzazione di algoritmi * Analisi statica dei problemi * Linguaggi e sistemi per la definizione e soluzione di problemi * Confronto di algoritmi e sistemi * Esperienze applicative RIUNIONE DEL GRUPPO DI LAVORO A latere del meeting, si terrà come di consueto la riunione annuale del gruppo di lavoro. Il coordinatore invita tutti i membri del gruppo e gli interessati a partecipare attivamente. COMITATO ORGANIZZATORE Marco Cadoli, Università di Roma "La Sapienza" Marco Gavanelli, Università degli Studi di Ferrara Toni Mancini, Università di Roma "La Sapienza" COMITATO DI PROGRAMMA Francesco Buccafurri, Università di Reggio Calabria Marco Cadoli, Università di Roma "La Sapienza" Amedeo Cesta, ISTC-CNR Stefania Costantini, Università dell'Aquila Agostino Dovier, Università di Udine Wolfgang Faber, Università della Calabria Andrea Formisano, Università dell'Aquila Marco Gavanelli, Università di Ferrara Zeynep Kiziltan, Uppsala University Toni Mancini, Università di Roma "La Sapienza" Donato Malerba, Università di Bari Fabio Massacci, Università di Trento Paola Mello, Università di Bologna Maddalena Nonato, Università di Ferrara Alessandro Provetti, Università di Messina Fabrizio Riguzzi, Università di Ferrara Andrea Roli, Università "G. D'Annunzio" di Pescara Francesca Rossi, Università di Padova Andrea Schaerf, Università di Udine Paolo Torroni, Università di Bologna DATE IMPORTANTI o Invio contributi: 11 marzo 2005 o Conferma accettazione: 15 aprile 2005 o Invio camera ready: 13 maggio 2005 o Giornata di lavoro: 10 giugno 2005 FORMATO E INVIO DEI CONTRIBUTI È possibile sottomettere lavori completi ("full papers"), eventualmente anche già 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, nonché presentazioni generali ("overview") di progetti di ricerca. La modalità preferita di sottomissione degli articoli è tramite la posta elettronica, inviando la versione PDF o postscript dell'articolo all'indirizzo rcra05@ing.unife.it. Gli articoli potranno essere scritti in italiano o in inglese e non dovranno superare le 8 pagine per i lavori completi e le 2 pagine per i lavori brevi. Il formato preferito per la preparazione dei lavori è il formato della rivista "Intelligenza Artificiale", reperibile alla pagina: http://ia.di.uniba.it/autori.html È necessario specificare nel messaggio di accompagnamento se si tratti di un lavoro completo o breve. Gli articoli accettati DOVRANNO essere presentati alla giornata di lavoro. ASPETTI ORGANIZZATIVI DI CARATTERE GENERALE: o La giornata sarà aperta solo agli iscritti all'associazione AI*IA. o Non è prevista quota di partecipazione (a parte l'iscrizione eventuale all'associazione). o Successivamente alla giornata di lavoro è prevista la pubblicazione di alcuni dei lavori presentati su "Intelligenza Artificiale", la rivista dell'AI*IA: http://ia.di.uniba.it/ INFORMAZIONI PIÙ AGGIORNATE, fra cui il programma definitivo, saranno rese pubbliche sulla pagina WWW del convegno: http://www.ing.unife.it/eventi/rcra05 LINK SU WEB - Home page del convegno http://www.ing.unife.it/eventi/rcra05 - GdL "Rappresentazione della conoscenza e ragionamento automatico" http://www.dis.uniroma1.it/~rcra * ________________________________________________________________________ *