ANALISI SPERIMENTALE E BENCHMARK DI ALGORITMI PER L'INTELLIGENZA ARTIFICIALE
Novità:
Il gruppo di lavoro ``Rappresentazione della conoscenza e ragionamento
automatico'' dell'Associazione Italiana per l'Intelligenza Artificiale (AI*IA)
organizza una giornata di lavori sul tema:
ANALISI SPERIMENTALE E BENCHMARK DI ALGORITMI PER L'INTELLIGENZA ARTIFICIALE
- Data:
- 10 giugno 2005
- Luogo:
- Ferrara, presso la Facoltà di Ingegneria
- 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 intera
- 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:
-
- Invio contributi: 11 marzo 2005
- Conferma accettazione: 15 aprile 2005
- Invio camera ready: 13 maggio 2005
- Giornata di lavoro: 10 giugno 2005
-
Formato e sottomissione dei contributi:
- E' 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
E' 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.
- Pubblicazione su Intelligenza Artificiale
:
-
Successivamente alla giornata di lavoro è prevista la pubblicazione
di alcuni dei lavori presentati su "Intelligenza Artificiale", la
rivista dell'AI*IA.
- Aspetti organizzativi di carattere generale:
-
- La giornata sarà aperta solo agli appartenenti all'associazione AI*IA.
- Non è prevista quota di partecipazione (a parte l'iscrizione eventuale
all'associazione).
- Ulteriori informazioni:
Home page della giornata
-
ultimo aggiornamento di questo file: