From 3-valued Semantics to Supported Model Computation for Logic Programs in Vector Spaces.

Taisuke Sato, Chiaki Sakama, Katsumi Inoue

Browse the full ICAART paper archive.