Combining Relational Learning with SMT Solvers Using CEGAR.
Arun Tejasvi ChagantyAkash LalAditya V. NoriSriram K. RajamaniPublished in: CAV (2013)
Keyphrases
- relational learning
- inductive logic programming
- relational data
- information extraction
- statistical relational learning
- learning problems
- modulo theories
- phase transition
- rule learning
- background knowledge
- relational databases
- gaussian processes
- information retrieval
- learning algorithm
- machine learning
- rule learner
- cellular automata
- expert systems
- artificial intelligence
- database