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

Taisuke Sato Chiaki Sakama Katsumi Inoue

Published in: ICAART (2) (2020)

Keyphrases

logic programs
vector space
logic programming
background knowledge
computational properties
databases
programming language
distance measure
incomplete information
inductive logic programming
answer sets
fixpoint
stable models