ILP Modulo Theories.

Panagiotis Manolios Vasilis Papavasileiou

Published in: CAV (2013)

Keyphrases

modulo theories
inductive logic programming
answer set programming
satisfiability modulo theories
logic programming
relational learning
stable model semantics
background knowledge
computational complexity
programming language
np complete