Learning First-Order Rules with Differentiable Logic Program Semantics.

Kun Gao Katsumi Inoue Yongzhi Cao Hanpin Wang

Published in: IJCAI (2022)

Keyphrases

logic programs
logic programming
background knowledge
answer sets
extended logic programs
programming language
inductive logic programming
formal semantics
stable model semantics
normal logic programs
inside outside algorithm