Inproceedings,

Generalizing Refinement Operators to Learn Prenex Conjunctive Normal Forms.

, , , and .
ILP, volume 1634 of Lecture Notes in Computer Science, page 245-256. Springer, (1999)

Meta data

Tags

Users

  • @dblp

Comments and Reviews