Newsgroup: italia.udine.discussioni
Titolo: Conferenza su Intelligenza Artificiale a Udine

*   ________________________________________________________________   *
[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 l'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):
           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 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
DATE IMPORTANTI
         o Invio contributi:      24 Marzo  2006
         o Conferma accettazione:  5 Maggio 2006
         o Invio camera ready:    26 Maggio 2006
         o 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:
      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.dimi.uniud.it/bortolus/rcra06/
LINK SU WEB
  - Home page del convegno
 
http://www.dimi.uniud.it/bortolus/rcra06/
  - GdL "Rappresentazione della conoscenza e ragionamento automatico"
 
http://www.dis.uniroma1.it/~rcra
*   ________________________________________________________________   *

^..^<


a udine no.


a udine no.