Answer Set Programming via Mixed Integer Programming.
Guohua LiuTomi JanhunenIlkka NiemeläPublished in: KR (2012)
Keyphrases
- mixed integer programming
- answer set programming
- logic programming
- logic programs
- answer sets
- lot sizing
- mixed integer
- column generation
- production planning
- causal theories
- answer set programs
- stable model semantics
- haplotype inference
- stable models
- lagrangian relaxation
- multistage
- search space
- artificial intelligence