Interval Temporal Logic is a temporal logic system in which the fundamental temporal entities are intervals rather than time points, enabling the formal representation and reasoning about propositions qualified in terms of durations or extended periods.
159
Publications
6.5K
Citations
233
Authors
137
Institutions
Publications per year
2017–2026
17
Parents
Publications
159
Constraint propagation algorithms for temporal reasoning
Marc Vilain, Henry Kautz · 1986 · 643 citations
A system for reasoning about time
Marc Vilain · National Conference on Artificial Intelligence · 1982 · 168 citations
1–5 of 159
Authors
233
- AM
15
h-index
- GS
14
h-index
- PS
12
h-index
- DB
11
h-index
- DD
10
h-index
1–5 of 233
Institutions
137
University of Udine
Udine, Italy
16 h-index
45 publications
1.2K citations
University of Verona
Verona, Italy
13 h-index
26 publications
455 citations
Universidad de Murcia
Murcia, Spain
12 h-index
14 publications
293 citations
Technical University of Denmark
Kongens Lyngby, Denmark
10 h-index
13 publications
472 citations
De Montfort University
Leicester, United Kingdom
9 h-index
21 publications
437 citations
University of California, Santa Barbara
Santa Barbara, United States
8 h-index
30 publications
1.2K citations
Centre National de la Recherche Scientifique
Paris, France
7 h-index
7 publications
145 citations
Reykjavík University
Reykjavik, Iceland
5 h-index
7 publications
137 citations
1–8 of 137
Venues
- Journal of Logic and Computation
8 publications · 616 citations
8
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 6 publications · 102 citations
6
h-index
- Journal of Applied Non-Classical Logics
JANCL · 5 publications · 219 citations
5
h-index
- Theoretical Computer Science
4 publications · 95 citations
4
h-index
- Logical Methods in Computer Science
LMCS · 3 publications · 52 citations
3
h-index
1–5