|
|
Richards, B. J. and Mooney, R. J. (1995): Automated refinement of first-order Horn-clause domain theories
| Title: |
Automated refinement of first-order Horn-clause domain theories |
| Author(s): |
Richards, B. J. and Mooney, R. J. |
| Year: |
1995 |
| Journal: |
Machine Learning |
| Volume: |
19 |
| Pages: |
95-131 |
Concepts
|
|