Giornata di Lavoro su Ragionamento temporale
tenuta nell'ambito del Convegno dell'Associazione Italiana per
l'Intelligenza Artificiale.
Programma
- 9-10:40 Metodi di Rappresentazione: Tempo, Situazioni, Azioni, Eventi
- BRANCHING-TIME LOGIC. A comparison between Thomason's TxW
approach and the Instantaneous World Slice approach.
M.C. Di Maio, A. Zanardo Univ. Padova.
- The event calculus and its offsprings.
L. Chittaro, A. Montanari, Univ. Udine.
- Persistent properties in a description logic of time and action.
A. Artale, E. Franconi, IRST Trento.
- Cambiamento, persistenza ed azioni:
un'analisi per problematiche di predizione temporale.
P. Torasso, Univ. Torino.
- INTERVALLO
- 11:00-11:50 Ragionamento su vincoli temporali
- Simple Temporal Constraint Networks with Inequations.
M. Cristani, Univ. Padova e Rochester, A. Gerevini, IRST Trento.
- Constraint management in dynamic temporal networks.
R. Cervoni, A. Cesta, IP-CNR Roma, A. Oddi Univ. "La Sapienza" Roma.
- 11:50-12:40 Ragionamento temporale in Basi di dati
- On the relevance of time granularity in the design of
temporal data bases. X. Wang, A. Brodsky, S. Jajodia,
George Mason Univ. USA, C. Bettini Univ. Milano.
- A modular approach to the treatment of qualitative and
quantitative temporal information in knowledge and data bases.
V. Brusoni, L. Console, P. Terenziani, Univ. Torino,
B. Pernici, Polit. Milano.
- PRANZO Con incontro organizzativo del gruppo
Rappresentazione della Conoscenza e Ragionamento Automatico
- 14:30-15:45 Ragionamento temporale in Pianificazione
- TEMPLAR 2: un sistema di pianificazione temporale con azioni
condizionali.
S. Badaloni Univ. Padova, W. Cancellier LADSEB-CNR Padova.
- Temporal Reasoning and Interactive Planning.
A. Perini, F. Ricci, P. Avesani IRST Trento.
- Scheduling dei treni: un'applicazione della programmazione logica
a vincoli al ragionamento temporale.
E. Lamma, P. Mello, M. Milano, E. Torreggiani Univ. Bologna.
- INTERVALLO
- 16:15-17:00 Dibattito su
Ragionamento Temporale: situazione attuale, prospettive
e linee di tendenza. Partecipano tutti i componenti del
comitato organizzatore.
Comitato organizzatore
Silvana Badaloni (Univ. Padova)
Claudio Bettini (Univ. Milano)
Amedeo Cesta (CNR Roma)
Enrico Franconi (IRST, Trento)
Daniele Nardi (Univ. Roma "La Sapienza")
Paolo Terenziani (Univ. Torino)
Renato Zaccaria (Univ. Genova)
Coordinatore
Daniele Nardi
Università di Roma "La Sapienza"
Dipartimento di Informatica e Sistemistica
Via Salaria 113, ROMA
tel. 06-49918330
fax. 06-85300849
email: rcra@assi.dis.uniroma1.it