Substitutions and refinement operators for PCNF

SH Cheng, W van Laer, L de Raedt

Research output: Chapter/Conference proceeding › Chapter › Academic

Original language	Undefined/Unknown
Title of host publication	Proceedings Xth Netherlands/Belgium Conference on Artifical Intelligence
Editors	H. la Poutre, J. van den Herik
Place of Publication	Amsterdam
Pages	87-96
Number of pages	10
Publication status	Published - 1998
Externally published	Yes

Research programs

@inbook{bde568572ac5463781592952548cb9ff,

title = "Substitutions and refinement operators for PCNF",

author = "SH Cheng and {van Laer}, W and {de Raedt}, L",

year = "1998",

language = "Undefined/Unknown",

pages = "87--96",

editor = "{la Poutre}, H. and {van den Herik}, J.",

booktitle = "Proceedings Xth Netherlands/Belgium Conference on Artifical Intelligence",

}