Logical Inference as Cost Minimization in Vector Spaces.

Taisuke Sato, Ryosuke Kojima

Browse the full IJCAI paper archive.