Qualitative Spatial and Temporal Reasoning with AND/OR Linear Programming.
Arne KreutzmannDiedrich WolterPublished in: ECAI (2014)
Keyphrases
- linear programming
- qualitative spatial and temporal reasoning
- constraint satisfaction problems
- answer set programming
- linear program
- constraint networks
- np hard
- dynamic programming
- constraint propagation
- objective function
- point algebra
- interval algebra
- general purpose
- constraint satisfaction
- optimal solution
- theorem proving
- worst case
- special case