conftrace_

first-order logic

188 papers

Explore in graph

Also known as

FOL

Co-occurring keywords · papers mentioning both

logical reasoning (31) knowledge graph (19) lifted inference (15) neural network (13) inductive logic programming (12) markov logic network (11) large language model (11) knowledge base (11) symbolic reasoning (11) neuro-symbolic reasoning (9)

Papers

Featured Argumentation Framework: Semantics and Complexity IJCAI 2025 Few-Shot Natural Language to First-Order Logic Translation via Code Generation NAACL 2025 First-Order Automata AAAI 2025 First-Order Coalition Logic IJCAI 2025 Grounding Methods for Neural-Symbolic AI IJCAI 2025 Improving Complex Reasoning over Knowledge Graph with Logic-Aware Curriculum Tuning AAAI 2025 Is uniform expressivity too restrictive? Towards efficient expressivity of GNNs ICLR 2025 Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation ICLR 2025 Learning First-Order Logic Rules for Argumentation Mining ACL 2025 Logical Consistency is Vital: Neural-Symbolic Information Retrieval for Negative-Constraint Queries ACL 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 Polynomial-Time Relational Probabilistic Inference in Open Universes IJCAI 2025 Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence AAAI 2025 SafeAuto: Knowledge-Enhanced Safe Autonomous Driving with Multimodal Foundation Models ICML 2025 Towards a Complete Logical Framework for GNN Expressiveness ICLR 2025 Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving EMNLP 2025 A differentiable first-order rule learner for inductive logic programming (Abstract Reprint) IJCAI 2024 Evaluating Step-by-Step Reasoning through Symbolic Verification NAACL 2024 Faithful Logical Reasoning via Symbolic Chain-of-Thought ACL 2024 First-Order Progression beyond Local-Effect and Normal Actions IJCAI 2024 FOLIO: Natural Language Reasoning with First-Order Logic EMNLP 2024 Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation ACL 2024 Improving Multi-hop Logical Reasoning in Knowledge Graphs with Context-Aware Query Representation Learning ACL 2024 Knowledge-Enhanced Historical Document Segmentation and Recognition AAAI 2024