Skip to content
conftrace_

first-order rule

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

first-order logic (3) inductive logic programming (2) differentiable logic program (1) interpretable matrix (1) logical rule (1) plan synthesis (1) rule induction (1) neuro-symbolic model (1) state space pruning (1) rule embedding (1)

Papers

Satisficing and Optimal Generalised Planning via Goal Regression AAAI 2026 RulE: Knowledge Graph Reasoning with Rule Embedding ACL 2024 Learning First-Order Rules with Differentiable Logic Program Semantics IJCAI 2022 Neuro-Symbolic Hierarchical Rule Induction ICML 2022 Cautious Rule-Based Collective Inference IJCAI 2019