Inproceedings,

Commonsense Reasoning Using Theorem Proving and Machine Learning.

, , and .
CD-MAKE, volume 11713 of Lecture Notes in Computer Science, page 395-413. Springer, (2019)

Meta data

Tags

Users

  • @cschon
  • @dblp

Comments and Reviews