Integration of Linear Constraints with a Temporal Logic Programming Language.
Qian MaZhenhua DuanMengfei YangPublished in: TASE (2013)
Keyphrases
- linear constraints
- logic programming language
- logic programming
- constraint logic programming
- inference rules
- constraint databases
- linearly constrained
- situation calculus
- temporal reasoning
- temporal information
- equality constraints
- temporal constraints
- logic programs
- temporal data
- quadratic program
- high level
- relational databases
- training data