TIME-ICTL 2003 : 10th International Symposium on Temporal Representation and Reasoning [electronic resource] : and Fourth International Conference on Temporal Logic : proceedings : 8-10 July, 2003, Cairns, Queensland, Australia /
sponsored by Murdoch University, Griffith University, University of Western Australia ; edited by Mark Reynolds and Abdul Sattar.
Los Alamitos, Calif. : IEEE Computer Society Press, c2003.
xi, 223 p. : ill. ; 28 cm.
More Details
Los Alamitos, Calif. : IEEE Computer Society Press, c2003.
Licensed for access by U. of T. users.
general note
"IEEE Computer Society Order Number PR01912"--T.p. verso.
Some previous conferences entitled: International Workshop on Temporal Representation and Reasoning.
catalogue key
Includes bibliographical references and author index.
A Look Inside
This item was reviewed in:
SciTech Book News, September 2003
To find out how to look for other reviews, please see our guides to finding book reviews in the Sciences or Social Sciences and Humanities.
Table of Contents
Conference Organizers
Program Committee
Additional Reviewers
Web Services for Time Granularity Reasoningp. 2
Modal Logics of Knowledge and Timep. 5
Qualitative Spatial and Temporal Reasoning: Exploiting the Connections to Algebra and Topologyp. 6
Counterexample-Guided Abstraction Refinementp. 7
An Application of Monodic First-Order Temporal Logic to Reasoning about Knowledgep. 10
On-Line Transportation Scheduling Using Spatio-Temporal Reasoningp. 17
Reasoning about Extremal Properties of Eventsp. 26
Towards a Temporal Reasoning Approach Dealing with Instance-of, Part-of, and Periodicityp. 37
Temporal Queries in XML Document Archives and Web Warehousesp. 47
Intelligent Navigation Process for Autonomous Underwater Vehicles (AUVs) Using Time-Based Fuzzy Temporal Reasoningp. 56
Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learningp. 62
Towards the Implementation of First-Order Temporal Resolution: The Expanding Domain Casep. 72
A Temporal-Logic Extension of Role-Based Access Control Covering Dynamic Separation of Dutiesp. 83
On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logicsp. 91
On Incompleteness of Multi-Dimensional First-Order Temporal Logicsp. 99
A Clausal Resolution Method for Extended Computation Tree Logic ECTLp. 107
Efficient Aggregation over Moving Objectsp. 118
A Model to Perform Knowledge-Based Temporal Abstraction over Multiple Signalsp. 128
Towards Symbolic Strategy Synthesis for <>-LTLp. 137
Deciding Consistency of a Point-Duration Network with Metric Constraintsp. 147
Quantified Propositional Temporal Logic with Repeating Statesp. 155
Hybrid Logics on Linear Structures: Expressivity and Complexityp. 166
A Novel Approach to Model NOW in Temporal Databasesp. 174
Spatio-Temporal Data Mining with Expected Distribution Domain Generalization Graphsp. 181
Definability and Decidability of Binary Predicates for Time Granularityp. 192
On the Consistency Problem for the INDU Calculusp. 203
A New Efficient Algorithm for Solving the Simple Temporal Problemp. 212
Author Indexp. 223
Table of Contents provided by Blackwell. All Rights Reserved.

This information is provided by a service that aggregates data from review sources and other sources that are often consulted by libraries, and readers. The University does not edit this information and merely includes it as a convenience for users. It does not warrant that reviews are accurate. As with any review users should approach reviews critically and where deemed necessary should consult multiple review sources. Any concerns or questions about particular reviews should be directed to the reviewer and/or publisher.

  link to old catalogue

Report a problem