A Clausal Resolution Method for Extended Computation Tree Logic ECTL (English)
- New search for: Bolotov, A.
- New search for: Bolotov, A.
- New search for: Reynolds, M.
- New search for: Sattar, A.
In:
International symposium on temporal representation and reasoning
;
107-117
;
2003
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:A Clausal Resolution Method for Extended Computation Tree Logic ECTL
-
Contributors:
-
Conference:10th, International symposium on temporal representation and reasoning ; 2003 ; Cairns, Australia
-
Published in:
-
Publisher:
- New search for: IEEE
-
Publication date:2003-01-01
-
Size:11 pages
-
Remarks:Also known as TIME-ICTL 2003. Held jointly with the 4th International conference on temporal logic
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 2
-
Web services for time granularity reasoningBettini, C. et al. | 2003
- 5
-
Modal logics of knowledge and timevan der Meyden, R. et al. | 2003
- 6
-
Qualitative spatial and temporal reasoning: exploiting the connections to algebra and topologyLigozat, G. et al. | 2003
- 7
-
Counterexample-guided abstraction refinementClarke, E. et al. | 2003
- 10
-
An application of monodic first-order temporal logic to reasoning about knowledgeHeinemann, B. et al. | 2003
- 17
-
On-line transportation scheduling using spatio-temporal reasoningBouzid, M. et al. | 2003
- 26
-
Reasoning about extremal properties of eventsDeka, J.K. et al. | 2003
- 37
-
Towards a temporal reasoning approach dealing with instance-of, part-of and periodicityTerenziani, P. / Anselma, L. et al. | 2003
- 47
-
Temporal queries in XML document archives and web warehousesFusheng Wang, / Zaniolo, C. et al. | 2003
- 56
-
Intelligent navigation process for autonomous underwater vehicles (AUVs) using time-based fuzzy temporal reasoningAnvar, A.M. et al. | 2003
- 62
-
Tableaux for temporal logics of knowledge: synchronous systems of perfect recall or no learningDixon, C. / Nalon, C. / Fisher, M. et al. | 2003
- 72
-
Towards the implementation of first-order temporal resolution: the expanding domain caseKonev, B. / Dixon, C. / Degtyarev, A. / Fisher, M. / Hustadt, U. et al. | 2003
- 83
-
A temporal-logic extension of role-based access control covering dynamic separation of dutiesMossakowski, T. / Drouineaud, M. / Sohr, K. et al. | 2003
- 91
-
On the computational complexity of decidable fragments of first-order linear temporal logicsHodkinson, I. / Kontchakov, R. / Kurucz, A. / Wolter, F. / Zakharyaschev, M. et al. | 2003
- 99
-
On completeness of multi-dimensional first-order temporal logicsToman, D. et al. | 2003
- 99
-
On Incompleteness of Multi-Dimensional First-Order Temporal LogicsToman, D. et al. | 2003
- 107
-
A clausal resolution method for extended computation tree logic ECTLBolotov, A. et al. | 2003
- 118
-
Efficient aggregation over moving objectsRevesz, P. / Yi Chen, et al. | 2003
- 128
-
A model to perform knowledge-based temporal abstraction over multiple signalsOtero, A. / Felix, P. / Regueiro, C.V. / Rodriguez, M. / Barro, S. et al. | 2003
- 137
-
Towards symbolic strategy synthesis for <>-LTLHarding, A. / Ryan, M. / Schobbens, P.-Y. et al. | 2003
- 147
-
Deciding consistency of a point-duration network with metric constraintsNavarrete, I. / Sattar, A. / Marin, R. et al. | 2003
- 155
-
Quantified propositional temporal logic with repeating statesFrench, T. et al. | 2003
- 166
-
Hybrid logics on linear structures: expressivity and complexityFranceschet, M. / de Rijke, M. / Schlingloff, B.-H. et al. | 2003
- 174
-
A novel approach to model NOW in temporal databasesStantic, B. / Thornton, J. / Sattar, A. et al. | 2003
- 181
-
Spatio-temporal data mining with expected distribution domain generalization graphsHamilton, H.J. / Liqiang Geng, / Findlater, L. / Randall, D.J. et al. | 2003
- 192
-
Definability and decidability of binary predicates for time granularityFranceschet, M. / Peron, A. / Montanari, A. / Sciavicco, G. et al. | 2003
- 203
-
On the consistency problem for the INDU calculusBalbiani, P. / Condotta, J.-F. / Ligozat, G. et al. | 2003
- 210
-
A new effcient algorithm for solving the simple temporal problemLin Xu, / Choueiry, B.Y. et al. | 2003
- 212
-
A New Efficient Algorithm for Solving the Simple Temporal ProblemXu, L. / Choueiry, B. et al. | 2003
- 221
-
Author index| 2003
-
Proceedings 10th International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic. TIME-ICTL 2003| 2003