Università degli studi di Udine Dipartimento di Matematica e Informatica

Artificial Intelligence
Laboratory

Goals
Results
Member
Projects
Events
Research Partnership

The Temporal Representation and Reasoning group is concerned with two main areas of research:
(i) representing and reasoning with the Event Calculus (EC), and (ii) Temporal Object-Oriented Databases.
In the EC line of research, the following topics are investigated:

• techniques for efficient temporal reasoning in EC.
• application to the health care domain (monitoring and control of mechanical ventilation in Intensive Care Units),
• temporal granularity and temporal indeterminacy.
• temporal abstraction with application to the health care domain (cardiolo= gy patients database with temporal query and abstraction capabilities),
• reasoning about partially ordered events, and modal formalization of EC.

• design of a temporal query language;
• use of multiple-valued logics;
• temporal granularity and indeterminacy;
• application to the health care domain (cardiology patients database with temporal query and different granularities).

• Chittaro L., Montanari A. (eds.). Special Issue on Temporal Representation and Reasoning. Annals of Mathematics and Artificial Intelligence, in preparation, 1997.
• Chittaro L., Dojat M. "Using a general theory of time and change in patient monitoring: experiment and evaluation", to appear in Computers in Biology and Medicine, special issue on "Time-oriented systems", 1997.
• Chittaro L., Montanari A. "Efficient Temporal Reasoning in the Cached Event Calculus", Computational Intelligence Journal, vol.12, no.3, 1996, pp. 359-382.
• Chittaro L., Goodwin S., Hamilton H., Montanari A. (eds.). TIME-96: Proceedings of the Third International Workshop on Temporal Representation and Reasoning. ISBN 0-8186-7528-4, IEEE Computer Society Press, 1996.
• Chittaro L., Montanari A. "Trends in temporal representation and reasoning", Knowledge Engineering Review, vol. 11, no. 3, 1996, pp. 281-288.
• Montanari A., Chittaro L., Cervesato I. "A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants". Proceedings of ECAI '96: 12th European Conference on Artificial Intelligence, Budapest, John Wiley and Sons Publishers, 1996.
• Chittaro L., Del Rosso M. "Maximizing Temporal Reasoning Performance of the Event Calculus with mutually-exclusive-valued single-argument properties". In Karba R. and Kocijan J. (eds.) Artificial Intelligence in Real-time Control, Elsevier, 1996.
• Cervesato I., Chittaro L., Montanari A. "A Modal Calculus of Partially Ordered Events in a Logic Programming Framework". Proceedings of ICLP '95: 12th International Conference on Logic Programming, Kanagawa, Japan, MIT Press, 1995.
• Chittaro L., Montanari A., Peressi E. "An Integrated Framework for Temporal Aggregation and Omission in the Event Calculus". In Rzevsky G., Adey R.A., Tasso C. (eds.), Applications of Artificial Intelligence in Engineering X, Computational Mechanics, 1995.
• Chittaro L., Montanari A., Provetti A. "Skeptical and credulous event calculi for supporting modal queries". Proceedings of ECAI '94: 11th European Conference on Artificial Intelligence, Amsterdam, John Wiley and Sons Publishers, 1994.
• Combi, C., Shahar, Y. Temporal Reasoning and Temporal Data Maintenance in Medicine: Issues and Challenges. In: Combi, C., Shahar, Y. (eds.) Time-Oriented Systems in Medicine. Special Issue Computers in Biology and Medicine, 1997, in preparation.
• Combi, C., Shahar, Y. (eds.) Time-Oriented Systems in Medicine. Special Issue Computers in Biology and Medicine, 1997, in preparation.
• Combi, C., Pinciroli, F., Pozzi, G. Managing different time granularities of clinical information by an interval-based temporal data model. Methods of information in medicine, 1995, vol. 34, n. 5, p.458 - 474.
• Combi, C., Pinciroli, F., Pozzi, G. Managing time granularity of narrative clinical information: the Temporal Data Model TIME-NESIS. In: Chittaro et al. (eds.)=
• Workshop on Temporal Representation and Reasoning (TIME '96). Los Alamitos, IEEE Computer Society Press, 1996, p. 88 - 93.
• Combi, C., Pinciroli, F., Cavallaro, M., Cucchi, G. Querying temporal clinical databases with different time granularities: the GCH-OSQL language. In: Gardner, R. M., (ed.), 19. annual symposium on computer applications in medical care. Philadelphia, Hanley & Belfus, 1995, p. 326 - 330.

• Carlo COMBI
• Luca CHITTARO

• program co-chair of TIME-96: 3rd International Workshop on Temporal Representation and Reasoning
• organizing and program committee member of TIME-97
• program committee member of TIME-95
• program committee member of AAAI-97: 14th Conference of the American Association for Artificial Intelligence
• co-editor of the forthcoming Special Issue on Temporal Representation and Reasoning, of the Annals of Mathematics and Artificial Intelligence.

• co-editor of the forthcoming Special Issue on Time-Oriented Systems in Medicine. of the Computers in Biology and Medicine Journal.

• Medical Informatics Group at Polytechnic of Milan (head prof. Pinciroli),Italy.
• Division of Cardiology, Hospital of Pordenone, Italy. dr. Iqbal Goralwalla, Department of Computing Science, University of Alberta, Canada.

Previous page AI Lab