Skip to content

Tags: kovvalsky/LangPro

Tags

starSEM-20

Toggle starSEM-20's commit message
Learning as abduction: replicating reported results

emnlp15

Toggle emnlp15's commit message
the prover version presented at EMNLP 2015

0.1

Toggle 0.1's commit message
Update README.md