Giornata di Lavoro su Ragionamento temporale

• Parma, 28 Settembre 1994

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