first-order logic

FOLL-E: Teaching First Order Logic to Children AAAI 2023 Identifying the limits of transformers when performing model-checking with natural language EACL 2023 Investigating Transformer-Guided Chaining for Interpretable Natural Logic Reasoning ACL 2023 Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought ICLR 2023 LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers EMNLP 2023 LogicSeg: Parsing Visual Semantics with Neural Logic Learning and Reasoning ICCV 2023 NQE: N-ary Query Embedding for Complex Query Answering over Hyper-Relational Knowledge Graphs AAAI 2023 On Discovering Interesting Combinatorial Integer Sequences IJCAI 2023 Principled and Efficient Motif Finding for Structure Learning of Lifted Graphical Models AAAI 2023 Rule Induction in Knowledge Graphs Using Linear Programming AAAI 2023 SConE: Simplified Cone Embeddings with Symbolic Operators for Complex Logical Queries ACL 2023 Tighter Bounds on the Expressivity of Transformer Encoders ICML 2023 A Probabilistic Graphical Model Based on Neural-Symbolic Reasoning for Visual Relationship Detection CVPR 2022 Cross-lingual Short-text Entity Linking: Generating Features for Neuro-Symbolic Methods EMNLP 2022 Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions AAAI 2022 Enhancing and Evaluating the Grammatical Framework Approach to Logic-to-Text Generation EMNLP 2022 Entropy-Based Logic Explanations of Neural Networks AAAI 2022 Extended Goal Recognition Design with First-Order Computation Tree Logic AAAI 2022 First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics AAAI 2022 Fuzzy Logic Based Logical Query Answering on Knowledge Graphs AAAI 2022 Homomorphisms of Lifted Planning Tasks: The Case for Delete-Free Relaxation Heuristics AAAI 2022 Learning First-Order Rules with Differentiable Logic Program Semantics IJCAI 2022 Learning Parameterized Task Structure for Generalization to Unseen Entities AAAI 2022 Neural-based Mixture Probabilistic Query Embedding for Answering FOL queries on Knowledge Graphs EMNLP 2022 Neural Methods for Logical Reasoning over Knowledge Graphs ICLR 2022