Artificial Intelligence · 1987 · 268 citations · 7 references
ComputingComputer ScienceArtificial IntelligenceKnowledge RepresentationSemanticsFormal OntologyModal LogicOntology EngineeringPhilosophy Of Artificial IntelligenceTemporal Knowledge RepresentationTemporal LogicTemporal Deontic LogicTemporal Logic ReasoningTemporal OntologiesTemporal OperatorsTemporal Reasoning
7
Towards a general theory of action and time
James F. Allen · Artificial Intelligence · 1984 · 2.6K citations
A temporal logic for reasoning about processes and plans
Drew McDermott · Cognitive Science · 1982 · 760 citations · Full text
A Temporal Logic for Reasoning about Processes and Plans*
Drew McDermott · Cognitive Science · 1982 · 493 citations
Interval semantics for tense logic: Some remarks
Lloyd Humberstone · Journal of Philosophical Logic · 1979 · 112 citations
A Propositional Model Logic of Time Intervals
Joseph Y. Halpern, Yoav Shoham · Logic in Computer Science · 1986 · 79 citations