|
NEWS
17/05/2006 - Registrazione
aperta! Deadline: 11 giugno 2006.
|
|
Call for Papers
[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.dimi.uniud.it/bortolus/rcra06/
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
23 giugno 2006
LUOGO
Udine, presso sala convegni di palazzo Antonini, Università degli
Studi
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):
- rappresentazione della conoscenza
- ragionamento automatico
- pianificazione
- apprendimento
- model checking
- soddisfacibilità proposizionale (SAT)
- formule booleane quantificate (QBF)
- logiche modali
- programmazione logica, disgiuntiva e non
- ragionamento temporale
- 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 Gavanelli, Università degli Studi di Ferrara
- Toni Mancini, Università di Roma "La Sapienza"
ORGANIZZAZIONE LOCALE
- Luca Bortolussi, Università degli Studi di Udine
- Agostino Dovier, Università degli Studi di Udine
- Andrea Schaerf, Università degli Studi di Udine
COMITATO DI PROGRAMMA
- Marco Alberti, Università di Ferrara
- Marco Benedetti, Université d'Orléans
- Francesco Buccafurri, Università di Reggio Calabria
- Marco Cadoli, Università di Roma "La Sapienza"
- Amedeo Cesta, ISTC - Consiglio Nazionale delle Ricerche
- Stefania Costantini, Università dell'Aquila
- Luca Di Gaspero, Università di Udine
- Agostino Dovier, Università di Udine
- Wolfang Faber, Università della Calabria
- Andrea Formisano, Università dell'Aquila
- Marco Gavanelli, Università di Ferrara
- Zeynep Kiziltan, Università di Bologna
- Donato Malerba, Università di Bari
- Toni Mancini, Università di Roma "La Sapienza"
- Paola Mello, Università di Bologna
- Michela Milano, Università di Bologna
- Massimo Narizzano, Università di Genova
- Fabrizio Riguzzi, Università di Ferrara
- Andrea Roli, Università "G.D'Annunzio" Chieti-Pescara
- Andrea Schaerf, Università di Udine
- Armando Tacchella, Università di Genova
DATE IMPORTANTI
- Invio abstract: 24 Marzo 2006
- Invio versione estesa: 9 aprile 2006 (deadline estesa)
- Conferma accettazione: 12 Maggio 2006
- Invio camera ready: 11 Giugno 2006 (deadline estesa)
- Giornata di lavoro: 23 Giugno 2006
FORMATO E INVIO DEI CONTRIBUTI
È possibile sottomettere lavori completi ("full papers"),
eventualmente anche già pubblicati o sottomessi ad altre conferenze
o riviste, oppure lavori brevi ("short papers"). Scopo dell'incontro
e` stimolare la discussione; per questo sono particolarmente benvenuti
position papers, 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 a
Marco Gavanelli o a Toni Mancini. 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:
- La giornata sarà aperta solo agli iscritti all'associazione
AI*IA.
- Non è prevista quota di partecipazione (a parte l'iscrizione
eventuale all'associazione).
- 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 web del convegno: http://www.dimi.uniud.it/bortolus/rcra06/
LINK SU WEB
top
|
|
