10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings.
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc

0769519121

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A new effcient algorithm for solving the simple temporal problem

10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. ◽

10.1109/time.2003.1214898 ◽

2005 ◽

Cited By ~ 1

Author(s):

Lin Xu ◽

B.Y. Choueiry

Download Full-text

On-line transportation scheduling using spatio-temporal reasoning

10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. ◽

10.1109/time.2003.1214876 ◽

2004 ◽

Cited By ~ 4

Author(s):

M. Bouzid

Keyword(s):

Temporal Reasoning ◽

On Line ◽

Transportation Scheduling ◽

Spatio Temporal

Download Full-text

A clausal resolution method for extended computation tree logic ECTL

10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. ◽

10.1109/time.2003.1214886 ◽

2004 ◽

Cited By ~ 3

Author(s):

A. Bolotov

Keyword(s):

Resolution Method ◽

Computation Tree Logic ◽

Computation Tree

Download Full-text

On completeness of multi-dimensional first-order temporal logics

10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. ◽

10.1109/time.2003.1214885 ◽

2004 ◽

Cited By ~ 1

Author(s):

D. Toman

Keyword(s):

Temporal Logics ◽

First Order

Download Full-text

Intelligent navigation process for autonomous underwater vehicles (AUVs) using time-based fuzzy temporal reasoning

10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. ◽

10.1109/time.2003.1214880 ◽

2004 ◽

Cited By ~ 2

Author(s):

A.M. Anvar

Keyword(s):

Autonomous Underwater Vehicles ◽

Temporal Reasoning ◽

Underwater Vehicles

Download Full-text

A temporal-logic extension of role-based access control covering dynamic separation of duties

10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. ◽

10.1109/time.2003.1214883 ◽

2004 ◽

Cited By ~ 10

Author(s):

T. Mossakowski ◽

M. Drouineaud ◽

K. Sohr

Keyword(s):

Access Control ◽

Temporal Logic ◽

Role Based Access Control ◽

Role Based

Download Full-text

Spatio-temporal data mining with expected distribution domain generalization graphs

10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. ◽

10.1109/time.2003.1214895 ◽

2004 ◽

Cited By ~ 2

Author(s):

H.J. Hamilton ◽

Liqiang Geng ◽

L. Findlater ◽

D.J. Randall

Keyword(s):

Data Mining ◽

Temporal Data Mining ◽

Temporal Data ◽

Spatio Temporal ◽

Domain Generalization Graphs

Download Full-text

On the consistency problem for the INDU calculus

10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. ◽

10.1109/time.2003.1214897 ◽

2004 ◽

Cited By ~ 4

Author(s):

P. Balbiani ◽

J.-F. Condotta ◽

G. Ligozat

Keyword(s):

Consistency Problem

Download Full-text

Modal logics of knowledge and time

10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. ◽

10.1109/time.2003.1214872 ◽

2004 ◽

Author(s):

R. van der Meyden

Keyword(s):

Modal Logics

Download Full-text

Quantified propositional temporal logic with repeating states

10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. ◽

10.1109/time.2003.1214891 ◽

2004 ◽

Cited By ~ 6

Author(s):

T. French

Keyword(s):

Temporal Logic

Download Full-text

10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings.Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc

A new effcient algorithm for solving the simple temporal problem

On-line transportation scheduling using spatio-temporal reasoning

A clausal resolution method for extended computation tree logic ECTL

On completeness of multi-dimensional first-order temporal logics

Intelligent navigation process for autonomous underwater vehicles (AUVs) using time-based fuzzy temporal reasoning

A temporal-logic extension of role-based access control covering dynamic separation of duties

Spatio-temporal data mining with expected distribution domain generalization graphs

On the consistency problem for the INDU calculus

Modal logics of knowledge and time

Quantified propositional temporal logic with repeating states

10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings.
Latest Publications