Commonsense Reasoning Meets Theorem Proving.
U. Furbach, and C. Schon.
Bridging@IJCAI , volume 1651 of CEUR Workshop Proceedings, page 74-85., (2016)

  • @cschon
  • @dblp
This publication has not been reviewed yet.

rating distribution
average user rating0.0 out of 5.0 based on 0 reviews
    Please log in to take part in the discussion (add own reviews or comments).