Optimal Partial-Order Plan Relaxation via MaxSAT.
Christian J. MuiseJ. Christopher BeckSheila A. McIlraithPublished in: J. Artif. Intell. Res. (2016)
Keyphrases
- partial order
- total order
- partial ordering
- partially ordered
- causal links
- stable marriage
- set theory
- dynamic programming
- lattice structure
- search algorithm
- totally ordered
- vertex cover
- sequential patterns
- objective function
- preference relations
- dominance relation
- temporal reasoning
- logic programming
- rough sets
- upper bound
- data structure