Sold Out
Book Categories |
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 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionProceedings of the Combined Tenth International Symposium on Temporal Representation and Reasoning and the Fourth International Conference on Temporal Logic: TIME-ICTL 2003 Cairns,
X
This Item is in Your InventoryProceedings of the Combined Tenth International Symposium on Temporal Representation and Reasoning and the Fourth International Conference on Temporal Logic: TIME-ICTL 2003 Cairns,
X
You must be logged in to review the productsX
X
X
Add Proceedings of the Combined Tenth International Symposium on Temporal Representation and Reasoning and the Fourth International Conference on Temporal Logic: TIME-ICTL 2003 Cairns,, , Proceedings of the Combined Tenth International Symposium on Temporal Representation and Reasoning and the Fourth International Conference on Temporal Logic: TIME-ICTL 2003 Cairns, Queensland, Australia, 8-10 July 2003 to the inventory that you are selling on WonderClubX
X
Add Proceedings of the Combined Tenth International Symposium on Temporal Representation and Reasoning and the Fourth International Conference on Temporal Logic: TIME-ICTL 2003 Cairns,, , Proceedings of the Combined Tenth International Symposium on Temporal Representation and Reasoning and the Fourth International Conference on Temporal Logic: TIME-ICTL 2003 Cairns, Queensland, Australia, 8-10 July 2003 to your collection on WonderClub |