2013 20th International Symposium on Temporal Representation and Reasoning
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By IEEE

9781479922413, 9781479922406
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Making Time Just Another Axis in Geospatial Services

2013 ◽  
Author(s):  
Piero Campalani ◽  
Dimitar Misev ◽  
Alan Beccati ◽  
Peter Baumann
Keyword(s):  
Geospatial Services

scholarly journals LTL Satisfiability Checking Revisited

2013 ◽  
Author(s):  
Jianwen Li ◽  
Lijun Zhang ◽  
Geguang Pu ◽  
Moshe Y. Vardi ◽  
Jifeng He
Keyword(s):  
Satisfiability Checking ◽  
Ltl Satisfiability Checking

scholarly journals Relaxation of Temporal Planning Problems

2013 ◽  
Author(s):  
Martin C. Cooper ◽  
Frédéric Maris ◽  
Pierre Régnier
Keyword(s):  
Temporal Planning ◽  
Planning Problems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document