Keyphrases
- answer set programming
- clause learning
- answer sets
- logic programs
- sat solvers
- logic programming
- answer set programs
- causal theories
- stable model semantics
- satisfiability problem
- stable models
- sat problem
- machine learning
- update semantics
- disjunctive logic programming
- propositional satisfiability
- haplotype inference
- constraint satisfaction
- expert systems