Login / Signup
Learning First-Order Rules with Differentiable Logic Program Semantics.
Kun Gao
Katsumi Inoue
Yongzhi Cao
Hanpin Wang
Published in:
CoRR (2022)
Keyphrases
</>
logic programs
logic programming
background knowledge
stable models
knowledge base
inductive logic programming
answer sets
logic program updates