Mechanizing Temporal Knowledge.

Kenneth M. Kahn G. Anthony Gorry

Published in: Artif. Intell. (1977)

Keyphrases

temporal knowledge
temporal reasoning
temporal information
temporal logic
temporal constraints
formal representation
first order logic
representation language
model checking
conceptual modeling
temporal patterns
spatial reasoning
information systems
natural language
knowledge representation
np complete