Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818675284

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Guiding and refining simulation using temporal logic

Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96) ◽

10.1109/time.1996.555693 ◽

2002 ◽

Author(s):

G. Brajnik ◽

D.J. Clancy

Keyword(s):

Temporal Logic

Download Full-text

First order modal temporal logics with generalized intervals

Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96) ◽

10.1109/time.1996.555696 ◽

2002 ◽

Cited By ~ 1

Author(s):

G. Becher

Keyword(s):

Temporal Logics ◽

First Order

Download Full-text

Irrelevance in uncertain temporal reasoning

Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96) ◽

10.1109/time.1996.555700 ◽

2002 ◽

Cited By ~ 4

Author(s):

A.Y. Tawfik ◽

E.M. Neufeld

Keyword(s):

Temporal Reasoning

Download Full-text

Reasoning about concurrent actions within features and fluents

Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96) ◽

10.1109/time.1996.555668 ◽

2002 ◽

Cited By ~ 1

Author(s):

Choong-Ho Yi

Download Full-text

Remodeling temporal geometry

Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96) ◽

10.1109/time.1996.555667 ◽

2002 ◽

Cited By ~ 1

Author(s):

J. van Benthem

Download Full-text

Nonmonotonic reasoning on a constructive time structure

Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96) ◽

10.1109/time.1996.555699 ◽

2002 ◽

Author(s):

A. Fusaoka

Keyword(s):

Nonmonotonic Reasoning ◽

Time Structure

Download Full-text

Managing time granularity of narrative clinical information: the temporal data model TIME-NESIS

Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96) ◽

10.1109/time.1996.555686 ◽

2002 ◽

Cited By ~ 7

Author(s):

C. Combi ◽

F. Pinciroli ◽

G. Pozzi

Keyword(s):

Data Model ◽

Clinical Information ◽

Temporal Data

Download Full-text

Networks of qualitative interval relations: combining circuit consistency and path consistency in the search for a solution

Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96) ◽

10.1109/time.1996.555682 ◽

2002 ◽

Cited By ~ 3

Author(s):

A. Isli ◽

H. Bennaceur

Download Full-text

Gaining efficiency and flexibility in the simple temporal problem

Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96) ◽

10.1109/time.1996.555676 ◽

2002 ◽

Cited By ~ 14

Author(s):

A. Cesta ◽

A. Oddi

Download Full-text

Characterizing temporal repetition

Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96) ◽

10.1109/time.1996.555685 ◽

2002 ◽

Cited By ~ 7

Author(s):

D. Cukierman ◽

J. Delgrande

Download Full-text

Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc. Press

Guiding and refining simulation using temporal logic

First order modal temporal logics with generalized intervals

Irrelevance in uncertain temporal reasoning

Reasoning about concurrent actions within features and fluents

Remodeling temporal geometry

Nonmonotonic reasoning on a constructive time structure

Managing time granularity of narrative clinical information: the temporal data model TIME-NESIS

Networks of qualitative interval relations: combining circuit consistency and path consistency in the search for a solution

Gaining efficiency and flexibility in the simple temporal problem

Characterizing temporal repetition

Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96)
Latest Publications