No label defined (Q4013732)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
27 September 1992
0 references
inverse of resolution
0 references
induction of logic programs
0 references
inversion of logical entailment
0 references
semantic model of induction
0 references
