MAIN PROGRAM

This program is work in progress and several details are missing. Notice that sessions and invited talks are definitively scheduled across the four days, but individual papers within sessions are not yet sorted according to their time schedule.

September, 10th 2007

8.15

8.45

Registration

9.00

10.20

 

Sala del Terrazzo

WS 3: Evalita

(Evalita Program)

Sala Verde

WS 2: AI for Cultural Heritage

10.20

11.00

Coffee Break

11.00

13.00

WS 3: Evalita

WS 2: AI for Cultural Heritage

13.00

14.00

Lunch

14.00

14.20

Opening Session

14.20

15.00

 

Sala degli Svizzeri

Special Track
AI & Expressive Media

WS 3: Evalita

WS 2: AI for Cultural Heritage

15.00

16.00

 

Invited Talk
 M. Mates
Expressive Intelligence: Artificial Intelligence, Games and New Media

WS 3: Evalita

WS 2: AI for Cultural Heritage

16.00

16.30

Coffee Break

16.30

17.30

Special Track
AI & Espressive Media

Sala del Terrazzo

NLP (chair: Oliviero Stock)

The JIGSAW Algorithm for Word Sense Disambiguation and Semantic Indexing of Documents                  Pierpaolo Basile, Marco de Gemmis, Anna Lisa Gentile, Pasquale Lops and Giovanni Semeraro

GlossExtractor: a web application to automatically create a domain glossary
Roberto Navigli, Paola Velardi

Thematic Role Extraction via Tree Kernel-based Shallow Semantic Parser
Daniele Pighin and Alessandro Moschitti

Inferring Coreferences among Person Names in a Large Corpus of News Collections
Octavian Popescu and Bernardo Magnini

Dependency Tree Semantics: Branching quantification in Underspecification
Livio Robaldo

WS 2: AI for Cultural Heritage

September, 11th 2007

8.45

9.00

Registration

9.00

10.10

Sala degli Svizzeri

Industrial Session: AI & Innovazione

Introduzione ai Lavori: Alessandro Finazzi Agrò (Rettore dell'Università di Roma, Tor Vergata)

Speakers
Marco Schaerf (Presidente AI*IA)

Maria Teresa Pazienza (Università di Roma, Tor Vergata)
Paolo Vigevano  (Unione degli Industriali e delle Imprese di Roma, UIR), 
Floretta Rolleri (CNIPA), 
Luigi Nicolais (Ministro per le Riforme e le Innovazioni nella P.A.)

10.10

10.30

Coffee Break

10.30

11.40

 

Esperienze Industriali 

Speakers
Roberto Cencioni (European Commission, "Knowledge and Content Technologies" Directorate), 
Guido Vetere (Fondazione IBM Italia),  
Roberto Rossetto, Barbara Scaramucci (RAI Teche),
 
Dario Saracino, (Exprivia),   
Piero Poccianti (MPS),
Luca Dini (CELI),
Domenico Corradetti 
(FILAS)

 

11.40

13.00

 

Round Table 

IA e Innovazione Industriale in Italia: un sistema possibile?

Chair: Eugenio Occorsio (La Repubblica)
Panelists

Floretta Rolleri (CNIPA), 
Andrea Pontremoli (Fondazione IBM Italia), 
Roberto Cencioni (
European Commission "Knowledge and Content Technologies" Directorate),
Tullio De Mauro (Università di Roma, La Sapienza), 
Barbara Scaramucci (RAI Teche), 
Luigi Paganetto  (ENEA, Università di  Roma, Tor Vergata), 
Piero Torasso (Università di Torino),  
Luigia Carlucci Aiello (Università di Roma, La Sapienza),  
Stefania Bandini (Università di Milano Bicocca),  
Oliviero Stock (Fondazione Bruno Kessler, già ITC-Irst),  
Marco Gori (Università di Siena),  
Floriana Esposito (Università di Bari),  
Salvatore Gaglio (Università di Palermo)

 

13.00

14.00

Lunch

14.00

15.40

Sala Verde

KRR 1 
(chair: Alberto Martelli) 

Sala del Terrazzo

ML 
(chair: Marco Gori)

Sala degli Svizzeri

 

 

 

 

WS1: Cooperative Construction of Linguistic Knowledge Bases

 

 

 

 

 

 

 

Finite Model Reasoning on UML Class Diagrams via Constraint Programming
Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo and Toni Mancini

Discovering Relational Emerging Patterns
Annalisa Appice, Michelangelo Ceci, Carlo Malgieri and Donato Malerba

 

 

Ranking and Reputation Systems in QBF Competition
Massimo Narizzano, Luca Pulina and Armando Tacchella

Nearest Local Hyperplane Rules for Pattern Classification,
Gábor Takács and Be'la Pataki

 

 

Model-Based Diagnosability for Web Services
Stefano Bocconi, Claudia Picardi, Xavier Pucel, Daniele Theseider Dupre' and Louise Trave'-Massuye's

Similarity-Guided Clause Generalization,                 Stefano Ferilli, Teresa M.A. Basile, Nicola Di Mauro, Marenglen Biba and Floriana Esposito

 

 

Model Checking and Preprocessing
Andrea Ferrara, Paolo Liberatore and Marco Schaerf

Coffee Break

16.00

17.20

KRR 2 
(chair: Luigia Carlucci Aiello)

ML 2
(chair: Giovanni Semeraro)

WS1: Cooperative Construction of Linguistic Knowledge Bases

 

 

 

 

 

An Implementation of a Free-variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: the Theorem Prover FreeP 1.0
Laura Giordano, Valentina Gliozzi, Nicola Olivetti and Gian Luca Pozzato

 

A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers
Giuseppe Della Penna, Francesca Fallucchi, Benedetto Intrigila and Daniele Magazzeni

 

 

A Top Down Interpreter for LPAD and CP-logic
Fabrizio Riguzzi

Advanced tree-based kernels for Protein Classification
Elisa Cilia and Alessandro Moschitti

 

 

Understanding the Environment through Wireless Sensor Networks
Salvatore Gaglio, Luca Gatani, Giuseppe Lo Re and Marco Ortolani

Hierarchical Clustering Procedure for Semantically Annotated Resources
Nicola Fanizzi, Claudia d'Amato and Floriana Esposito

 

 

Some Issues about Cognitive Modelling and Functionalism
Francesco Gagliardi

Structured Hidden Markov Model: a General Framework for Modeling Complex Sequences
Ugo Galassi, Attilio Giordana and Lorenza Saitta

18.00

19.00

Sala degli Svizzeri

Poeme Electronique: the VEP project VR-reconstruction
Vincenzo Lombardo

Project presentation
Film projection

  19:00     22:00

Portico del Vasanzio

 

 

Wine Tasting

Biblioteca, Spazio Espositivo

Concerto di Musica Barocca 
Ensemble Collegium Artis

Musiche di 
Fontana, Bach, Frescobaldi, 
Scarlatti e Marcello


Giorgio Matteoli, flauto dolce
Sonia Romano, violoncello
Annalaura Cavuoto, clavicembalo

September, 12th 2007

8.45

9.00

Registration

9.00

10.20

Sala Terrazzo

MAS (chair: Piero Torasso)

Sala degli Svizzeri

 

 

Special Track
AI & Robotics

 

 

 

A Multi-Layered General Agent Model
Stefania Costantini, Arianna Tocchio, Francesca Toni and Panagiota Tsintza

 

 

Goal Generation With Ordered Beliefs
Cèlia da Costa Pereira and Andrea Tettamanzi

 

 

Verifying Agent Conformance with Protocols specified in a Temporal Action Logic
Laura Giordano and Alberto Martelli

10.20

11.00

Coffee Break

11.00

12.00

Sala degli Svizzeri

Invited Talk
M. Veloso
Learning to Select Team Strategies in Finite-Timed Zero-Sum Games

12.00

13.00

ML 3 (chair: Donato Malerba)

Special