Proofs from Temporal Hypotheses by Symbolic Simulation.

Published in: Hybrid Systems (1995)

Keyphrases

spatio temporal
temporal constraints
numerical simulations
spatial and temporal
temporal information
temporal reasoning
temporal relations
machine learning
high level
knowledge base
simulation study
simulation model
temporal data