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

Do LLMs Really Struggle at NL-FOL Translation? Revealing Their Strengths via a Novel Benchmarking Strategy AAAI 2026
NL2Logic: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models EACL 2026
Inverting the Shield: Systematically Generating Safety Tests from Policy Specifications ACL 2026
ReEfBench: Quantifying the Reasoning Efficiency of LLMs ACL 2026
FOL-Traces: Verified First-Order Logic Reasoning Traces at Scale EACL 2026
Expressive Power of Graph Transformers via Logic AAAI 2026
Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence AAAI 2026
Extending First-Order Logic for Factual Reasoning over Knowledge Graphs ACL 2026
The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic AAAI 2026
ComLQ: Benchmarking Complex Logical Queries in Information Retrieval AAAI 2026
Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning AAAI 2026
Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving EMNLP 2025
MedEx: Enhancing Medical Question-Answering with First-Order Logic based Reasoning and Knowledge Injection COLING 2025
On Action Theories with Iterable First-Order Progression AAAI 2025
Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection IJCNLP 2025
Grounding Methods for Neural-Symbolic AI IJCAI 2025
Extending Complex Logical Queries on Uncertain Knowledge Graphs ACL 2025
Complete Symmetry Breaking for Finite Models AAAI 2025
Polynomial-Time Relational Probabilistic Inference in Open Universes IJCAI 2025
Assessing the Sensitivity and Alignment of FOL Closeness Metrics EMNLP 2025
Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence AAAI 2025
Entailment-Preserving First-order Logic Representations in Natural Language Entailment ACL 2025
A Theorem-Proving-Based Evaluation of Neural Semantic Parsing EMNLP 2025
First-Order Coalition Logic IJCAI 2025
Featured Argumentation Framework: Semantics and Complexity IJCAI 2025