Keyphrases
- modulo theories
- inductive learning
- statistical machine translation
- satisfiability modulo theories
- answer set programming
- program synthesis
- rule induction
- concept formation
- version space
- inductive inference
- explanation based learning
- stable model semantics
- highly optimized
- sequence prediction
- data mining
- neural network
- sat solvers
- knowledge acquisition
- decision trees
- sat solving
- information retrieval