Automated Refinement of First-Order Horn-Clause Domain Theories


Authored By:Bradley L. Richards and Raymond J. Mooney
Paper Title:Automated Refinement of First-Order Horn-Clause Domain Theories
In:Machine Learning
Number 2 Vol. 19
Publisher:Kluwer Academic Publishers, Boston
Publication Date: 1995
Pages:95-131

BibTeX Record:
@Article{rm-arfhdt-95,
journal = "Machine Learning",
title = "Automated Refinement of First-Order Horn-Clause Domain Theories",
author = "Bradley L. Richards and Raymond J. Mooney",
pages = "95--131",
volume = "19",
number = "2",
year = "1995",
publisher = "Kluwer Academic Publishers, Boston",
}

Hide BibTeX Record