Journal article
Continuous Temporal Models
AI 2001: Advances in Artificial Intelligence, Vol.2256, pp.414-425
2002
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.
Details
- Title
- Continuous Temporal Models
- Authors/Creators
- M. Reynolds (Author/Creator)
- Publication Details
- AI 2001: Advances in Artificial Intelligence, Vol.2256, pp.414-425
- Publisher
- Springer Verlag
- Identifiers
- 991005542271107891
- Copyright
- 2002 Springer-Verlag Berlin Heidelberg
- Murdoch Affiliation
- Murdoch University
- Language
- English
- Resource Type
- Journal article
- Note
- Book title: AI 2001: Advances in Artificial Intelligence: 14th Australian Joint Conference on Artificial Intelligence Adelaide, Australia, December 10–14, 2001 Proceedings
Metrics
85 Record Views