conftrace_

unification function

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

logical explanation (1) neural network (1) explanation graph (1) probabilistic rule (1) neural-symbolic reasoning (1) knowledge acquisition (1) knowledge graph (1) logical reasoning (1) symbolic reasoning (1)

Papers

Braid: Weaving Symbolic and Neural Knowledge into Coherent Logical Explanations AAAI 2022