Summary: UniversitÓ degli Studi di Torino
Dipartimento di Informatica
Dottorato di Ricerca in Informatica
Ciclo XVIII
Representing and reasoning with classes
and instances of possibly periodic events
Theory, algorithms and applications
Tesi presentata da: Luca Anselma
Tutor: prof. Paolo Terenziani
Coordinatore del Ciclo: prof. Pietro Torasso
Anni Accademici: 2002/2003, 2003/2004, 2004/2005
Settore scientifico-disciplinare di afferenza: INF/01
To my parents,
to Chiara
Acknowledgements
Without Chiara, the completion of this dissertation would not have been possible.
I am indebted to Professor Paolo Terenziani, my advisor, who introduced me to the topic of
temporal constraint-based reasoning and supported and guided me through the years in the Ph.D.
program and to Professor Pietro Torasso, my tutor, for his valuable guidance.
I would also like to thank the referees, Professor Thierry Vidal and Professor Abdul Sattar, for their