On the Linear Programming Duals of Temporal Reasoning Problems.
T. K. Satish KumarZhi WangAnoop KumarCraig Milo RogersCraig A. KnoblockPublished in: ISAIM (2018)
Keyphrases
- reasoning problems
- linear programming
- reasoning tasks
- description logics
- decision procedures
- temporal reasoning
- computational properties
- constraint satisfaction problems
- tree decomposition
- temporal constraints
- temporal information
- np hard
- objective function
- constraint propagation
- modal logic
- database
- theorem proving
- search algorithm
- optimal solution
- knowledge base
- information systems