Department of Philosophy

20 Article
17 Conference contribution
7 Conference article
3 Chapter
More

1 results

Filter

2021
Talking with the Theorem Prover to Interactively Solve Natural Language Inference
Sumita, A., Mineshima, K. & Miyao, Y., 2021, p. 321-330. 10 p.
Research output: Contribution to conference › Paper › peer-review