Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata.
Abdulrazaq AbbaAna CavalcantiJeremy JacobPublished in: SBMF (2021)
Keyphrases
- temporal reasoning
- timed automata
- disjunctive temporal
- constraint networks
- model checking
- temporal constraints
- constraint satisfaction problems
- path consistency
- tree decomposition
- reachability analysis
- constraint propagation
- qualitative and quantitative
- theorem prover
- temporal information
- event calculus
- temporal constraint networks
- first order logic
- reasoning tasks
- spatial reasoning
- theorem proving
- uncertainty management
- constraint satisfaction
- arc consistency
- simple temporal
- temporal knowledge
- real time systems
- series parallel
- constraint programming
- decomposition methods
- temporal logic
- interval algebra
- temporal relations
- real time
- constraint reasoning
- three dimensional
- high level
- np complete
- computer vision