The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause (Q1959491)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause |
scientific article |
Statements
The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause (English)
0 references
7 October 2010
0 references
subsumption lattice
0 references
refinement operators
0 references
ordered clauses
0 references
sequential subsumption
0 references
subsumption relative to a bottom clause
0 references
inductive logic programming
0 references
