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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.