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

Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection IJCNLP 2025
Logical Consistency is Vital: Neural-Symbolic Information Retrieval for Negative-Constraint Queries ACL 2025
Grounding Methods for Neural-Symbolic AI IJCAI 2025
Learning First-Order Logic Rules for Argumentation Mining ACL 2025
Improving Complex Reasoning over Knowledge Graph with Logic-Aware Curriculum Tuning AAAI 2025
First-Order Automata AAAI 2025
Out-of-Distribution Detection With Logical Reasoning WACV 2024
Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic AAAI 2024
Knowledge-Enhanced Historical Document Segmentation and Recognition AAAI 2024
RulE: Knowledge Graph Reasoning with Rule Embedding ACL 2024
Towards Generalizable and Faithful Logic Reasoning over Natural Language via Resolution Refutation COLING 2024
Lifted Planning: Recent Advances in Planning Using First-Order Representations IJCAI 2024
Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation ACL 2024
A differentiable first-order rule learner for inductive logic programming (Abstract Reprint) IJCAI 2024
Improving Multi-hop Logical Reasoning in Knowledge Graphs with Context-Aware Query Representation Learning ACL 2024
Using Symmetries to Lift Satisfiability Checking AAAI 2024
MedLogic-AQA: Enhancing Medicare Question Answering with Abstractive Models Focusing on Logical Structures EMNLP 2024
Evaluating Step-by-Step Reasoning through Symbolic Verification NAACL 2024
FOLIO: Natural Language Reasoning with First-Order Logic EMNLP 2024
Scaling Synthetic Logical Reasoning Datasets with Context-Sensitive Declarative Grammars EMNLP 2024
Learning Semantic Structure through First-Order-Logic Translation EMNLP 2024
First-Order Progression beyond Local-Effect and Normal Actions IJCAI 2024
LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation NIPS 2024
LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models ACL 2024
Faithful Logical Reasoning via Symbolic Chain-of-Thought ACL 2024