first-order logic

Learning Semantic Structure through First-Order-Logic Translation EMNLP 2024 Lifted Planning: Recent Advances in Planning Using First-Order Representations IJCAI 2024 Logical Languages Accepted by Transformer Encoders with Hard Attention ICLR 2024 LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models ACL 2024 LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation NeurIPS 2024 LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints ICLR 2024 MedLogic-AQA: Enhancing Medicare Question Answering with Abstractive Models Focusing on Logical Structures EMNLP 2024 Out-of-Distribution Detection With Logical Reasoning WACV 2024 Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic AAAI 2024 Rethinking Complex Queries on Knowledge Graphs with Neural Link Predictors ICLR 2024 RulE: Knowledge Graph Reasoning with Rule Embedding ACL 2024 Scaling Synthetic Logical Reasoning Datasets with Context-Sensitive Declarative Grammars EMNLP 2024 Towards Generalizable and Faithful Logic Reasoning over Natural Language via Resolution Refutation COLING 2024 Using Symmetries to Lift Satisfiability Checking AAAI 2024 A Logic for Expressing Log-Precision Transformers NeurIPS 2023 Automatically Verifying Expressive Epistemic Properties of Programs AAAI 2023 Calibrate and Boost Logical Expressiveness of GNN Over Multi-Relational and Temporal Graphs NeurIPS 2023 Complex Query Answering on Eventuality Knowledge Graph with Implicit Logical Constraints NeurIPS 2023 Counting and Sampling Models in First-Order Logic IJCAI 2023 CylE: Cylinder Embeddings for Multi-hop Reasoning over Knowledge Graphs EACL 2023 DeepPSL: End-to-End Perception and Reasoning IJCAI 2023 Dividing and Conquering a BlackBox to a Mixture of Interpretable Models: Route, Interpret, Repeat ICML 2023 Document-Level Event Argument Extraction With a Chain Reasoning Paradigm ACL 2023 Efficient Embeddings of Logical Variables for Query Answering over Incomplete Knowledge Graphs AAAI 2023 Explainable Claim Verification via Knowledge-Grounded Reasoning with Large Language Models EMNLP 2023