A Statistical Relational Learning Challenge - extracting proof strategies from exemplar proofs. (2012)
Attributed to:
Computational Logic in Artificial Neural Networks
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://tsi.wfubmc.edu/labs/strait/SRL/srl.html
Type: Other