Proceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0818684739

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Revision and updating in dynamic doxastic logic

Proceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157) ◽

10.1109/time.1998.674149 ◽

2002 ◽

Author(s):

U. Wille

Keyword(s):

Doxastic Logic ◽

Dynamic Doxastic Logic

Download Full-text

Efficient temporal propagation algorithm for scheduling

Proceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157) ◽

10.1109/time.1998.674145 ◽

2002 ◽

Author(s):

R. Loganantharaj

Keyword(s):

Propagation Algorithm

Download Full-text

Quantitative structural temporal constraints on repeating events

Proceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157) ◽

10.1109/time.1998.674135 ◽

2002 ◽

Cited By ~ 1

Author(s):

R.A. Morris ◽

L. Khatib

Keyword(s):

Temporal Constraints

Download Full-text

The Set of Support strategy in temporal resolution

Proceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157) ◽

10.1109/time.1998.674140 ◽

2002 ◽

Cited By ~ 2

Author(s):

C. Dixon ◽

M. Fisher

Keyword(s):

Temporal Resolution ◽

Support Strategy

Download Full-text

Time, communication and synchronisation in an agent-based programming language

Proceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157) ◽

10.1109/time.1998.674147 ◽

2002 ◽

Author(s):

R. Ramirez

Keyword(s):

Programming Language ◽

Agent Based

Download Full-text

Accounting for temporal evolutions in highly reactive decision-making

Proceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157) ◽

10.1109/time.1998.674125 ◽

2002 ◽

Author(s):

S. Coradeschi ◽

T. Vidal

Keyword(s):

Decision Making

Download Full-text

Embedding a timing system in TLC

Proceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157) ◽

10.1109/time.1998.674139 ◽

2002 ◽

Cited By ~ 1

Author(s):

Chuchang Liu ◽

M.A. Orgun

Keyword(s):

Timing System

Download Full-text

Qualitative and quantitative temporal reasoning with points and durations

Proceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157) ◽

10.1109/time.1998.674134 ◽

2002 ◽

Cited By ~ 4

Author(s):

R. Wetprasit ◽

A. Sattar

Keyword(s):

Temporal Reasoning ◽

Qualitative And Quantitative

Download Full-text

Event Calculus with explicit quantifiers

Proceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157) ◽

10.1109/time.1998.674136 ◽

2002 ◽

Author(s):

I. Cervesato ◽

M. Franceschet ◽

A. Montanari

Keyword(s):

Event Calculus

Download Full-text

Model-based visualization of temporal abstractions

Proceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157) ◽

10.1109/time.1998.674126 ◽

2002 ◽

Cited By ~ 2

Author(s):

Y. Shahar ◽

C. Cheng

Keyword(s):

Model Based ◽

Temporal Abstractions

Download Full-text

Proceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Revision and updating in dynamic doxastic logic

Efficient temporal propagation algorithm for scheduling

Quantitative structural temporal constraints on repeating events

The Set of Support strategy in temporal resolution

Time, communication and synchronisation in an agent-based programming language

Accounting for temporal evolutions in highly reactive decision-making

Embedding a timing system in TLC

Qualitative and quantitative temporal reasoning with points and durations

Event Calculus with explicit quantifiers

Model-based visualization of temporal abstractions

Proceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157)
Latest Publications