Implementing Digital Twins of Smart Factories with Interval Algebra.
Piotr DziurzanskiJerry SwanLeandro Soares IndrusiakJ. M. RamosPublished in: ICIT (2019)
Keyphrases
- interval algebra
- temporal reasoning
- temporal constraints
- constraint networks
- temporal information
- path consistency
- constraint propagation
- temporal relations
- qualitative spatial and temporal reasoning
- reasoning tasks
- point algebra
- search algorithm
- description logics
- constraint satisfaction problems
- constraint programming
- reasoning problems