conftrace_

logic inference

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

stochastic logic program (1) logical inference (1) positive interpretation (1) neuro-symbolic ai (1) knowledge graph (1) markov decision process (1) knowledge graph reasoning (1) graph structure (1) semantic representation (1) abstract meaning representation (1)

Papers

DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs AAAI 2026 Representing Implicit Positive Meaning of Negated Statements in AMR EMNLP 2021