first-order logic

Lifting Symmetry Breaking Constraints with Inductive Logic Programming IJCAI 2021 LNN-EL: A Neuro-Symbolic Approach to Short-text Entity Linking ACL 2021 Neuro-Symbolic Reinforcement Learning with First-Order Logic EMNLP 2021 Parameterized Logical Theories AAAI 2021 Successor-Invariant First-Order Logic on Classes of Bounded Degree (Extended Abstract) IJCAI 2021 A Constraint-Based Approach to Learning and Explanation AAAI 2020 A Continuation Semantics for Abstract Meaning Representation COLING 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 NeurIPS 2020 Decidability Results in First-Order Epistemic Planning IJCAI 2020 Domain-Liftability of Relational Marginal Polytopes AISTATS 2020 Human-Driven FOL Explanations of Deep Learning IJCAI 2020 Inductive Relation Prediction by Subgraph Reasoning ICML 2020 Integrating Deep Learning with Logic Fusion for Information Extraction AAAI 2020 Learning Explainable Linguistic Expressions with Neural Inductive Logic Programming for Sentence Classification EMNLP 2020 Learn to Explain Efficiently via Neural Logic Inductive Learning ICLR 2020 Leveraging Declarative Knowledge in Text and First-Order Logic for Fine-Grained Propaganda Detection EMNLP 2020 Logic Constrained Pointer Networks for Interpretable Textual Similarity IJCAI 2020 Measuring Systematic Generalization in Neural Proof Generation with Transformers NeurIPS 2020 NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification NSDI 2020 Proving Semantic Properties as First-Order Satisfiability (Extended Abstract) IJCAI 2020 The Logical Expressiveness of Graph Neural Networks ICLR 2020 A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief IJCAI 2019 Augmenting Neural Networks with First-order Logic ACL 2019 Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics IJCAI 2019