Keyphrases
- modulo theories
- inductive logic programming
- answer set programming
- relational learning
- background knowledge
- satisfiability modulo theories
- logic programs
- stable model semantics
- artificial intelligence
- logic programming
- first order logic
- answer sets
- machine learning
- learning algorithm
- orders of magnitude
- stable models