1982 · 12 citations · 3 references
ComputingComputer ScienceArtificial IntelligenceFormal MethodsLogicMonitoringPredicate LogicQuestion AnsweringTemporal Knowledge RepresentationTemporal LogicCurrent-state ModelingPropositional Logic SemanticsPropositional Temporal LogicTemporal Logic ReasoningTemporal Logic SpecificationTemporal Reasoning
This paper discusses the application of a propositional temporal logic to determining the competence of a monitor offer as an extended response by a question-answering system. Determining monitor competence involves reasoning about the possibility of some future state given a description of the current state and possible transitions. I
3
The temporal logic of branching time
Mordechai Ben‐Ari, Amir Pnueli, Zohar Manna · Acta Informatica · 1983 · 371 citations
The temporal logic of branching time
Mordechai Ben‐Ari, Zohar Manna, Amir Pnueli · 1981 · 216 citations · Full text