Inductive Inference of Theories From Facts
| Authored By: | E. Y. Shapiro |
| Paper Title: | Inductive Inference of Theories From Facts |
| Number Research Report 192 | |
| Publisher: | Yale University Department of Computer Science |
| Publication Date: | February 1981 |
BibTeX Record:
@TechReport{s-iitf-81,
author = "E. Y. Shapiro",
title = "Inductive Inference of Theories From Facts",
number = "Research Report 192",
institution = "Yale University Department of Computer Science",
month = feb,
year = "1981",
comment = "Uses Horn clauses as representation and backtracing as a method to discover axiom system for a given set of examples",
}
Hide BibTeX Record
@TechReport{s-iitf-81,
author = "E. Y. Shapiro",
title = "Inductive Inference of Theories From Facts",
number = "Research Report 192",
institution = "Yale University Department of Computer Science",
month = feb,
year = "1981",
comment = "Uses Horn clauses as representation and backtracing as a method to discover axiom system for a given set of examples",
}