Temporal logics in AI: Semantical and ontological considerations

Some Philosophical Problems from the Standpoint of Artificial Intelligence

1981 • 3,219 citations

Towards a general theory of action and time

1984 • 2,602 citations

Semantical Considerations on Modal Logic

2012 • 1,568 citations

A temporal logic for reasoning about processes and plans

1982 • 753 citations

Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence

1987 • 535 citations

A Temporal Logic for Reasoning about Processes and Plans*

1982 • 496 citations

Executing temporal logic programs

1985 • 400 citations

Readings in Artificial Intelligence

1981 • 240 citations

Interval semantics for tense logic: Some remarks

1979 • 101 citations

A Propositional Model Logic of Time Intervals

1986 • 80 citations

Intervals and tenses

1980 • 58 citations

Ten requirements for a theory of change

1985 • 26 citations