* ________________________________________________________________________ *
         Associazione Italiana per l'Intelligenza Artificiale

             Gruppo di lavoro "Rappresentazione della
               conoscenza e ragionamento automatico"
* ________________________________________________________________________ *

                     Analisi Sperimentale di Algoritmi
                      per l'Intelligenza Artificiale

===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===
                    ELENCO DEI LAVORI ACCETTATI
===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===  ===
1.  Testing Optimisations with realistic data
      I. Horrocks
2.  A Software Environment for managing STP networks
      A. Cesta, A. Oddi, A. Susi
3.  Algorithms and experiments on finding minimal models
      P. Liberatore
4.  Evaluation of Quantified Boolean Formulae on $\Sigma^p_k$- and
    PSPACE-complete instances
      M. Cadoli, M. Giovanardi, M. Schaerf
5.  Benchmark #1 for equational set theory
      A. Chiacchiaretta, A. Formisano, E.G. Omodeo
6.  Fast Planning through Greedy Action Graphs
      A. Gerevini, I. Serina
7.  Boolean Networks-based algorithms for the satisfiability problem
      M. Milano, A. Roli
8.  Performance Measurement of Interactive CSP Search Algorithms
      M. Gavanelli, E. Lamma, P. Mello, M. Milano
9.  Experiments in Planning by Stable Models Computation
      M. Balduccini, G. Brignoli, G.A. Lanzarone, F. Magni, A. Provetti
10. Competitive analysis is not so simple: lessons from the organization of
    the TANCS Modal and Description logics competition
      F. Massacci