conftrace_

first-order logic

171 papers

Explore in graph

Also known as

FOL

Co-occurring keywords

logical reasoning (310) knowledge graph (1837) lifted inference (46) neural network (6616) inductive logic programming (64) large language model (13587) knowledge base (804) symbolic reasoning (189) markov logic network (36) knowledge representation (301)

Papers

Consistent Inference for Dialogue Relation Extraction IJCAI 2021
Abductive Learning with Ground Knowledge Base IJCAI 2021
Abductive Knowledge Induction from Raw Data IJCAI 2021
Parameterized Logical Theories AAAI 2021
Compositional Neural Logic Programming IJCAI 2021
Lifting Symmetry Breaking Constraints with Inductive Logic Programming IJCAI 2021
Learning Generalized Unsolvability Heuristics for Classical Planning IJCAI 2021
Diagnosing the First-Order Logical Reasoning Ability Through LogicNLI EMNLP 2021
Faster lifting for two-variable logic using cell graphs UAI 2021
A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving AAAI 2021
LNN-EL: A Neuro-Symbolic Approach to Short-text Entity Linking ACL 2021
LNN-EL: A Neuro-Symbolic Approach to Short-text Entity Linking IJCNLP 2021
ConE: Cone Embeddings for Multi-Hop Reasoning over Knowledge Graphs NIPS 2021
Neuro-Symbolic Reinforcement Learning with First-Order Logic EMNLP 2021
Knowledge Enhanced Machine Learning Pipeline against Diverse Adversarial Attacks ICML 2021
Measuring Systematic Generalization in Neural Proof Generation with Transformers NIPS 2020
Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry IJCAI 2020
Beta Embeddings for Multi-Hop Logical Reasoning in Knowledge Graphs NIPS 2020
Domain-Liftability of Relational Marginal Polytopes AISTATS 2020
NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification NSDI 2020
A Continuation Semantics for Abstract Meaning Representation COLING 2020
Human-Driven FOL Explanations of Deep Learning IJCAI 2020
Proving Semantic Properties as First-Order Satisfiability (Extended Abstract) IJCAI 2020
Inductive Relation Prediction by Subgraph Reasoning ICML 2020
Decidability Results in First-Order Epistemic Planning IJCAI 2020