|
|||||
|
|
A Hybrid Abductive Inductive Proof Procedure |
|
| Authors: | Ray, Oliver Broda, Krysia Russo, Alessandra |
| Affiliation: | Department of Computing, Imperial College London, 180 Queen's Gate, South Kensington Campus, SW7 2AZ, UK. E-mail: or{at}doc.ic.ac.uk, kb{at}doc.ic.ac.uk, ar3{at}doc.ic.ac.uk |
| Abstract: | |
| Keywords: | Abductive Logic Programming Inductive Logic Programming Machine Learning |
| 本文献已被 Oxford 等数据库收录！ | |