|
|
C. Rouveirol (1992): Extensions of Inversion of Resolution Applied to Theory Completion
| Title: |
Extensions of Inversion of Resolution Applied to Theory Completion |
| Author(s): |
C. Rouveirol |
| Year: |
1992 |
| Booktitle: |
Inductive Logic Programming. |
| Editor(s): |
Stephen Muggleton |
| Number: |
38 |
| Chapter: |
3 |
| Pages: |
64-92 |
| Publisher: |
Academic Press |
| Address: |
London [u.a.] |
Concepts
|
|
