Login / Signup
An efficient reasoning method on logic programming using partial evaluation in vector spaces.
Hien D. Nguyen
Chiaki Sakama
Taisuke Sato
Katsumi Inoue
Published in:
J. Log. Comput. (2021)
Keyphrases
</>
logic programming
vector space
knowledge representation
programming language
partial evaluation
similarity measure
pairwise
logic programs
inductive logic programming
database
distance measure
training samples
nonmonotonic reasoning
explanation based generalization