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]
@inproceedings{MeertSB09,
title = {CP-Logic Theory Inference with Contextual Variable Elimination and Comparison to BDD Based Inference Methods},
author = {Wannes Meert and Jan Struyf and Hendrik Blockeel},
year = {2009},
doi = {10.1007/978-3-642-13840-9_10},
url = {http://dx.doi.org/10.1007/978-3-642-13840-9_10},
tags = {rule-based, logic},
researchr = {https://researchr.org/publication/MeertSB09},
cites = {0},
citedby = {0},
pages = {96-109},
booktitle = {Inductive Logic Programming, 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers},
editor = {Luc De Raedt},
volume = {5989},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-13839-3},
}