The Temporal Logic Of Actions

·1994·DOI
Health Data Science
Computational Modeling and Optimization
Temporal Logic and Reasoning

Role in the Field

Neutralin Health Data Science
Neutralin Computational Modeling and Optimization
Neutralin Temporal Logic and Reasoning

Abstract

Citations

1,014

Year

1994

PageRank

4.3 / 10

Relative influence (log-scaled)

Related Papers

10 of 10 papers

Temporal Networks
·2012·2,143 citations
Temporal Construal.
·2003·2,577 citations
Alternating-time Temporal Logic
·2002·814 citations
The Temporal Logic Of Reactive And Concurrent Systems
·1992·1,488 citations
Temporal Constraint Networks
·1991·914 citations
Nonmonotonic Reasoning, Preferential Models And Cumulative Logics
·1990·999 citations
Temporal And Modal Logic
·1990·826 citations
Specifying Real-Time Properties With Metric Temporal Logic
·1990·799 citations
Maintaining Knowledge About Temporal Intervals
·1983·4,618 citations
The Temporal Logic Of Programs
·1977·3,082 citations