Login / Signup
Linear Temporal Justification Logics with Past Operators.
Meghdad Ghari
Published in:
CoRR (2018)
Keyphrases
</>
temporal constraints
spatio temporal
temporal information
temporal analysis
differential operators
expressive power
spatial and temporal
temporal patterns
temporal dimension
building blocks
inference rules
temporal data
temporal databases
modal logic
temporal reasoning
linear model