Logic

Recent momentum

emerging

0 papers in the last 28 days · 0.0% of indexed attention

Twelve weeks of publication activity for this topic as it is defined today.

Weekly history

Recent digests

What was published in this field, kept on the site without email delivery.

Period ending 2026-09-14

4 new papers

A weekly snapshot of new work published in Logic.

Period ending 2026-09-07

1 new paper

A weekly snapshot of new work published in Logic.

Inside this field

Focused directions

197 papers

Latest in Logic

Open your feed →
CardsList
  1. Moose: Latent concept learning with reasoning-shortcut awareness in \mathcal{EL}^{++}

    Aug 13, 2026Olga Mashkova, Asaad Mohammedsaleh, Fernando Zhapa-Camacho +1OntologyLatent Reasoning

  2. A second-order theory of texture for depth from focus

    Aug 11, 2026Sreekar Ranganathan, Ioannis GkioulekasOpticalSpeckle

  3. Language Models Encode the Contextual Truth of Propositions

    Aug 4, 2026Rupak Sarkar, Pritika Ramu, Rachel RudingerTruthFalsehood

  4. Recovering Explanations from Transformed Rule-Based Ontologies

    Jul 31, 2026Alex Ivliev, Markus Krötzsch, Maximilian MarxOntologyRecursive Reasoner

  5. Logical Regression for Planning with Axioms

    Jul 23, 2026Connor Little, Christian MuiseAxiomClassical Planning

  6. Towards a Certifying Grounder

    Jul 23, 2026Daimy Van Caudenberg, Alexander Ek, Carlos Cantero +1First-Order LogicCertification

  7. Case study: solving P-99 with LPTP and an LLM

    Jul 23, 2026Fred Mesnard, Thierry Marianne, Étienne Payet +1TheoremInductive Logic Programming

  8. Explaining Weather Bulletins via ILP

    Jul 23, 2026Enrico Santi, Alessandro Dal Palù, Agostino Dovier +2Inductive Logic ProgrammingWeather Models

  9. The Dynamic Turn in Paraconsistency

    Jul 22, 2026Rafael Ongaratto, Hans van DitmarschFirst-Order LogicAxiom