Murdoch University Research Repository

Welcome to the Murdoch University Research Repository

The Murdoch University Research Repository is an open access digital collection of research
created by Murdoch University staff, researchers and postgraduate students.

Learn more

Continuous Temporal Models

Reynolds, M. (2002) Continuous Temporal Models. Lecture Notes in Computer Science, 2256 . pp. 414-425.

Link to Published Version: http://dx.doi.org/10.1007/3-540-45656-2_36
*Subscription may be required

Abstract

We develop notation for describing a temporal structure over the real numbers flow of time. This forms a basis for various reasoning tasks including synthesizing a model from a given temporal or first-order specification. We announce an efficient procedure for finding a manageable description of such a model. There are applications in reasoning about multi-agent systems, understanding natural language, analogue devices, robotics and artificial reasoning.

Item Type: Journal Article
Publisher: Springer Verlag
Copyright: 2002 Springer-Verlag Berlin Heidelberg
Notes: Book title: AI 2001: Advances in Artificial Intelligence: 14th Australian Joint Conference on Artificial Intelligence Adelaide, Australia, December 10–14, 2001 Proceedings
URI: http://researchrepository.murdoch.edu.au/id/eprint/28857
Item Control Page Item Control Page