conftrace_

proof tree

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

explainable reasoning (1) hierarchical inference (1) neuro-symbolic inference (1) kernel methods (1) proof generation (1) deductive reasoning (1) knowledge grounding (1) inductive logic programming (1) query answering (1) sat solver (1)

Papers

Computing the Why-Provenance for Datalog Queries via SAT Solvers AAAI 2024 NELLIE: A Neuro-Symbolic Inference Engine for Grounded, Compositional, and Explainable Reasoning IJCAI 2024 ProofInfer: Generating Proof via Iterative Hierarchical Inference EMNLP 2022 Kernels on Prolog Proof Trees: Statistical Learning in the ILP Setting JMLR 2006