First-Order Logic

Also known as FOL

Follow this topic Ask about this topic

Latest papers

9 papers2 papers in the last four weeks, with none the four weeks before. 0.0% of all new papers.

FOLLIE: Automated Reasoning over the First Dataset of Sentences with their First-Order Logical Representation for French
Nov 1, 2026Maximos SkandalisFirst-Order Logic Natural Language Inference
LIRMM, CNRS & University of Montpellier, Montpellier, France
Automated Theorem Generation in First-Order Logic by Construction from Triangular Standard Contradictions
Oct 30, 2026Yang Xu, Shuwei Chen, Hailin Guo +1First-Order Logic Logical Reasoning
School of Mathematics, Southwest Jiaotong University, Chengdu, 611756, China · National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, Southwest Jiaotong University, Chengdu, 611756, Sichuan, China · School of Computing, Faculty of Computing, Engineering and the Built Environment, Ulster University, Belfast, Northern Ireland, United Kingdom
Public Machine Learning Solver Framework for Novices in the Machine Learning Domain
Jun 6, 2026Lokman Saleh, Hafedh Mili, Mounir BoukadoumAI-Assisted Decision Making First-Order Logic
LATECE Lab, Universit´e du Qu´ebec `a Montr´eal, Montr´eal, Canada
Expressive Power of Deep Homomorphism Networks over Relational Databases
May 18, 2026Moritz Schönherr, Balder ten Cate, Maurice Funk +3Logical Reasoning Graph Neural Networks
Leipzig University · University of Amsterdam · Technion & RelationalAI
NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
Apr 27, 2026Daniel Romero Schellhorn, Till MossakowskiProbabilistic Logic Logical Reasoning
University of Osnabrück, Osnabrück, Germany.
Plausible Reasoning and First-Order Plausible Logic
Apr 21, 2026David BillingtonLogical Reasoning Nonmonotonic Reasoning
School of Information and Communication Technology, Nathan campus, Griffith University, Brisbane, Queensland 4111, Australia.
Technical Report -- A Context-Sensitive Multi-Level Similarity Framework for First-Order Logic Arguments: An Axiomatic Study
Apr 14, 2026Victor David, Jérôme Delobelle, Jean-Guy MaillyFirst-Order Logic Computational Argumentation
University Cˆote d’Azur, Inria, CNRS, I3S, Sophia-Antipolis, France · Universit´e Paris Cit´e, LIPADE, Paris, France · Universit´e Toulouse Capitole, IRIT, Toulouse, France
Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality
Apr 2, 2026Simon Coumes, Pierre-Henri Paris, François Schwarzentruber +1First-Order Logic Logical Reasoning
LTCI, LaHDAK · Telecom Paris, Institut Polytechnique de Paris, France · Université Paris-Saclay, France +3
A First Step Towards Even More Sparse Encodings of Probability Distributions
Mar 31, 2026Florian Andreas Marwitz, Tanya Braun, Ralf MöllerFirst-Order Logic Probabilistic Logic
Institute of Information Systems, University of Lübeck, Lübeck, Germany

Nov 1, 2026J/K move · Enter open · S save

FOLLIE: Automated Reasoning over the First Dataset of Sentences with their First-Order Logical Representation for French

Maximos Skandalis

LIRMM, CNRS & University of Montpellier, Montpellier, France

First-Order Logic Natural Language Inference Logical Reasoning Semantic Parsing

Open paper AskPDF arXiv

FOLLIE (for First-Order Logic for Language Inference and Entailment for French) connects French sentences, compositional first-order representations and automated natural language inference (NLI). The first French NLI-ready, NL-to-FOL resource, it contains 19,983 inference records and 36,987 non-empty sentence-slot--formula mappings from six heterogeneous NLI sources, retaining French lexical material and source problem structure. Its silver annotations are produced by a neural--symbolic pipeline, with 111 separately identified LLM-assisted additions. The construction combines morphosyntactic analysis, probability-conditioned categorial multitagging, grammatical proof search, discourse representation and first-order semantic construction. Stage-wise experiments show substantial gains in derivation coverage; analyses of conjunction distributions, logical-operator incidence and scope alternation characterise the resulting resource. We then develop an automatic inference engine whose input-conditioned background theories address lexical relations, quantification, quantities, event structure and temporal dependencies. Prover9 supplies proofs for entailment and contradiction, while Mace4 supports bounded consistency checks. Three-way accuracies are 65.37% on all 335 FraCaS-FR problems, 70.33% on 300 GQNLI-FR problems and 71.35% on 9,399 eligible SICK-FR records pooled across splits. Agreement with reference labels among committed decisions is 93.53%, 100.00% and 98.66%, at commitment coverage of 41.49%, 37.00% and 15.05%, respectively. Worked constructions, axiom schemas and proof analyses explain these outcomes and identify the contributions of scope, reference, lexical knowledge and numerical structure. FOLLIE provides a French experimental basis for studying the representations and assumptions that connect sentence interpretation to deductive inference.