Solving B Constraints with Goal-directed Answer Set Programming.
Alexandros EfremidisPublished in: ICLP Workshops (2021)
Keyphrases
- goal directed
- answer set programming
- constraint logic programming
- finite domain
- logic programming
- logic programs
- answer sets
- causal theories
- function symbols
- autonomous robots
- reasoning tasks
- stable model semantics
- constraint programming
- constraint satisfaction
- stable models
- knowledge representation
- constraint solving
- constraint problems
- update semantics
- answer set programs
- haplotype inference
- disjunctive logic programming
- knowledge base
- modulo theories
- mobile robot