CP-Logic Theory Inference with Contextual Variable Elimination and Comparison to BDD Based Inference Methods

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]

Authors

Wannes Meert

This author has not been identified. Look up 'Wannes Meert' in Google

Jan Struyf

This author has not been identified. Look up 'Jan Struyf' in Google

Hendrik Blockeel

This author has not been identified. Look up 'Hendrik Blockeel' in Google