Wannes Meert, Jan Struyf, Hendrik Blockeel. CP-Logic Theory Inference with Contextual Variable Elimination and Comparison to BDD Based Inference Methods. In Luc De Raedt, editor, Inductive Logic Programming, 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers. Volume 5989 of Lecture Notes in Computer Science, pages 96-109, Springer, 2009. [doi]
Abstract is missing.