Theory completion using inverse entailment. Muggleton, S. H. & Bryant, C. H. In International Conference on Inductive Logic Programming, pages 130–146, 2000. Springer.
bibtex   
@inproceedings{muggleton2000,
  title={Theory completion using inverse entailment},
  author={Muggleton, Stephen H. and Bryant, Christopher H.},
  booktitle={International Conference on Inductive Logic Programming},
  pages={130--146},
  year={2000},
  organization={Springer}
}

Downloads: 0