Temporal Reasoning
Temporal Reasoning is a formal method for representing and inferring relationships among events and states over time within dynamic domains, distinguished from other reasoning methods by its explicit treatment of temporal intervals, duration, precedence, and change in accordance with logical, ontological, or computational models of time.
813
Publications
53.8K
Citations
1.5K
Authors
543
Institutions
Publications per year
2017–2026
128
813
The temporal logic of programs
Amir Pnueli · 1977 · 5.7K citations
Rina Dechter, Itay Meiri, Judea Pearl · Artificial Intelligence · 1991 · 1.8K citations
A logic for reasoning about time and reliability
Hans Hansson, Bengt Jönsson · Formal Aspects of Computing · 1994 · 1.4K citations · Full text
A model for reasoning about persistence and causation
Thomas Dean, Keiji Kanazawa · Computational Intelligence · 1989 · 999 citations
Algorithms for constraint-satisfaction problems: a survey
Vipin Kumar · 1992 · 891 citations
1–5 of 813
1.5K
12
h-index
Università degli Studi del Piemonte Orientale “Amedeo Avogadro”, Italy
15 publications · 360 citations
12
h-index
9
h-index
9
h-index
9
h-index
1–5 of 1.5K
543
Stanford University
Stanford, United States
20 h-index
47 publications
4.4K citations

University of Rochester
Rochester, United States
16 h-index
24 publications
3.4K citations

Centre National de la Recherche Scientifique
Paris, France
15 h-index
25 publications
1.8K citations

Università degli Studi del Piemonte Orientale “Amedeo Avogadro”
Vercelli, Italy
12 h-index
22 publications
498 citations

University of Turin
Turin, Italy
12 h-index
27 publications
648 citations

Linköping University
Linköping, Sweden
12 h-index
19 publications
674 citations
Carnegie Mellon University
Pittsburgh, United States
11 h-index
24 publications
1.1K citations
University of California, Irvine
Irvine, United States
11 h-index
21 publications
3.4K citations
1–8 of 543
27 publications · 4.7K citations
24
h-index
Repository · 31 publications · 1.1K citations
22
h-index
Conference · 19 publications · 1.8K citations
15
h-index
Conference · 18 publications · 856 citations
15
h-index
14 publications · 1.6K citations
13
h-index
1–5