A First Order Calculus for Temporal Knowledge.

Mira Balaban Neil V. Murray

Published in: ISMIS (1987)

Keyphrases

temporal knowledge
first order logic
temporal reasoning
temporal information
temporal logic
representation language
formal representation
temporal constraints
knowledge representation
conceptual modeling
inductive logic programming
video sequences
domain knowledge
object oriented
model checking