Research output per year
Research output per year
Search results
-
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
-
Visual representation of negation: Real world data analysis on comic image design
Sato, Y., Mineshima, K. & Ueda, K., 2021, p. 1166-1172. 7 p.Research output: Contribution to conference › Paper › peer-review
2 Citations (Scopus)