Switch to: References

Add citations

You must login to add citations.
  1. A Road Map of Interval Temporal Logics and Duration Calculi.Valentin Goranko, Angelo Montanari & Guido Sciavicco - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):9-54.
    We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • The token reification approach to temporal reasoning.Lluís Vila & Han Reichgelt - 1996 - Artificial Intelligence 83 (1):59-74.
    Download  
     
    Export citation  
     
    Bookmark   4 citations