Continuous Temporal Models
Tools
Tools
Tools
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
*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.
| Publication 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 |
