Proceedings of the Combined Tenth International Symposium on Temporal Representation and Reasoning and the Fourth International Conference on Temporal Logic: TIME-ICTL 2003 Cairns, Book

	Foreword
	Conference Organizers
	Program Committee
	Additional Reviewers
	Web Services for Time Granularity Reasoning	2
	Modal Logics of Knowledge and Time	5
	Qualitative Spatial and Temporal Reasoning: Exploiting the Connections to Algebra and Topology	6
	Counterexample-Guided Abstraction Refinement	7
	An Application of Monodic First-Order Temporal Logic to Reasoning about Knowledge	10
	On-Line Transportation Scheduling Using Spatio-Temporal Reasoning	17
	Reasoning about Extremal Properties of Events	26
	Towards a Temporal Reasoning Approach Dealing with Instance-of, Part-of, and Periodicity	37
	Temporal Queries in XML Document Archives and Web Warehouses	47
	Intelligent Navigation Process for Autonomous Underwater Vehicles (AUVs) Using Time-Based Fuzzy Temporal Reasoning	56
	Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning	62
	Towards the Implementation of First-Order Temporal Resolution: The Expanding Domain Case	72
	A Temporal-Logic Extension of Role-Based Access Control Covering Dynamic Separation of Duties	83
	On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics	91
	On Incompleteness of Multi-Dimensional First-Order Temporal Logics	99
	A Clausal Resolution Method for Extended Computation Tree Logic ECTL	107
	Efficient Aggregation over Moving Objects	118
	A Model to Perform Knowledge-Based Temporal Abstraction over Multiple Signals	128
	Towards Symbolic Strategy Synthesis for <>-LTL	137
	Deciding Consistency of a Point-Duration Network with Metric Constraints	147
	Quantified Propositional Temporal Logic with Repeating States	155
	Hybrid Logics on Linear Structures: Expressivity and Complexity	166
	A Novel Approach to Model NOW in Temporal Databases	174
	Spatio-Temporal Data Mining with Expected Distribution Domain Generalization Graphs	181
	Definability and Decidability of Binary Predicates for Time Granularity	192
	On the Consistency Problem for the INDU Calculus	203
	A New Efficient Algorithm for Solving the Simple Temporal Problem	212
	Author Index	223