* ________________________________________________________________________ *
         Associazione Italiana per l'Intelligenza Artificiale

             Gruppo di lavoro "Rappresentazione della
               conoscenza e ragionamento automatico"

             http://www.dis.uniroma1.it/~rcra/roma99
* ________________________________________________________________________ *

                          GIORNATA DI LAVORO
    Analisi Sperimentale di Algoritmi per l'Intelligenza Artificiale

                         Roma, 16 dicembre 1999
             Univ. "La Sapienza" -- Facolta' di Ingegneria
               Via Eudossiana, 18 -- Auletta del chiostro

===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===
                          PROGRAMMA DEFINITIVO
===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===

 9:00 -  9:30 REGISTRAZIONE

 9:30 - 10:30 RELAZIONE INVITATA
              Prof. A. Sassano (ricerca operativa): TBA
              (moderatore: M. Cadoli)

10:30 - 11:00 COFFEE BREAK

11:00 - 12:30 PRIMA SESSIONE
              (moderatore: G. Semeraro)
              - METODOLOGIA
                * Testing Optimisations with realistic data
                    I. Horrocks
                * Competitive analysis is not so simple: lessons from the
                  organization of the TANCS Modal and Description logics
                  competition
                    F. Massacci
              - PLANNING
                * Fast Planning through Greedy Action Graphs
                    A. Gerevini, I. Serina
                * Experiments in Planning by Stable Models Computation
                    M. Balduccini, G. Brignoli, G.A. Lanzarone, F. Magni,
                    A. Provetti

12:30 - 13:30 PRANZO

13:30 - 14:30 SECONDA SESSIONE
              (moderatore: A. Gerevini)
              VINCOLI ED EQUAZIONI
                * A Software Environment for managing STP networks
                    A. Cesta, A. Oddi, A. Susi
                * Benchmark #1 for equational set theory
                    A. Chiacchiaretta, A. Formisano, E.G. Omodeo
                * Performance Measurement of Interactive CSP Search Algorithms
                    M. Gavanelli, E. Lamma, P. Mello, M. Milano
14:30 - 14:45 BREAK

14:45 - 15:45 TERZA SESSIONE
              (moderatore: E. Giunchiglia)
              SAT E QSAT
                * Algorithms and experiments on finding minimal models
                    P. Liberatore
                * Evaluation of Quantified Boolean Formulae on $\Sigma^p_k$- and
                  PSPACE-complete instances
                    M. Cadoli, M. Giovanardi, M. Schaerf
                * Boolean Networks-based algorithms for the satisfiability
                  problem
                    M. Milano, A. Roli

15:45 - 16:45 TAVOLA ROTONDA:
              Ragionamento Automatico ed Analsisi Sperimentale:
              il buono, il brutto ed il cattivo
              (moderatore: F. Massacci)
Al termine    RIUNIONE DEL GRUPPO
              - coordinatore periodo 2000-2001
              - proposte temi per nuove giornate di lavoro

===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===
                          INFORMAZIONI GENERALI
===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===
 - Non e' prevista quota di partecipazione. La giornata sara' aperta
   solo ai soci all'associazione AI*IA.
 - E' necessaria la registrazione. Il modulo si trova in calce.
 - I lavori presentati durante la giornata saranno resi disponibili tramite
   WWW alcuni giorni prima dell'incontro.
   E' inoltre prevista la pubblicazione dei sunti degli articoli sul numero
   1/2000 di AI*IA Notizie.
 - Informazioni ulteriori alla pagina WWW della giornata di lavoro
        http://www.dis.uniroma1.it/~rcra/roma99

===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===
                          COMITATO ORGANIZZATORE
===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===
       o Marco Cadoli (coord.)
           DIS - Univ. di Roma "La Sapienza"; cadoli@dis.uniroma1.it
       o Alfonso Gerevini
           DEA - Univ. di Brescia; gerevini@ing.unibs.it
       o Enrico Giunchiglia
           DIST - Univ. di Genova; enrico@dist.unige.it
       o Evelina Lamma
           DEIS - Univ. di Bologna; elamma@deis.unibo.it
       o Fabio Massacci
           DII - Univ. di Siena; massacci@dii.unisi.it
       o Giovanni Semeraro
           DI - Univ. di Bari; semeraro@di.uniba.it

===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===
                    MODULO RICHIESTA PARTECIPAZIONE
===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===

La scheda sotto riportata deve pervenire a Marco Cadoli
in forma elettronica o via FAX entro il 7 dicembre 1999.
  e-mail: cadoli@dis.uniroma1.it
  fax:    06 85300849

Partecipazione alla giornata su
    Analisi Sperimentale di Algoritmi per l'Intelligenza Artificiale
organizzata dal Gruppo di lavoro
    "Rappresentazione della conoscenza e ragionamento automatico"
dell'AI*IA (Roma, 16 dicembre 1999).

Nome e Cognome .......................................
Affiliazione .........................................
e-mail o fax .........................................
Socio AI*IA? .........................................
Membro GdL RCRA? .....................................
   se no, desidera diventarlo? .......................