Domain-Specific Heuristics in Answer Set Programming.
Martin GebserBenjamin KaufmannJavier RomeroRamón OteroTorsten SchaubPhilipp WankoPublished in: AAAI (2013)
Keyphrases
- answer set programming
- domain specific
- logic programming
- answer sets
- logic programs
- reasoning tasks
- answer set programs
- general purpose
- domain independent
- causal theories
- constraint logic programming
- stable model semantics
- search algorithm
- stable models
- heuristic search
- disjunctive logic programming
- haplotype inference
- knowledge representation
- orders of magnitude
- update semantics
- high level
- qualitative spatial and temporal reasoning