Papers

• Representative Sets in Propositional Abduction (2026)
  Johannes Schmidt (J\"onk\"oping University) et al.
  5.01
• AGM-like Paraconsistent Partial Meet Abductive Expansion Operation (2026)
  Ulisses Franceschi Eliano
  4.39
• Explaining Weather Bulletins via ILP (2026)
  Enrico Santi (University of Udine et al.
  4.39
• Case study: proving sqrt(2) irrational with LPTP and an LLM (2026)
  Fred Mesnard et al.
  4.39
• Animation, Verification and Visualisation of Prolog Transition Systems with ProB (2026)
  Jan Gruteser (Heinrich Heine University D\"usseldorf) et al.
  4.39
• Towards a Certifying Grounder (2026)
  Daimy Van Caudenberg et al.
  4.39
• A New Well-Supported Semantics for Description Logic Programs (2026)
  Spencer Killen et al.
  4.39
• Logical Regression for Planning with Axioms (2026)
  Connor Little et al.
  4.39
• DINGO: Constrained Inference for Diffusion LLMs (2025)
  Tarun Suresh et al.
  1.28
• Sound and Complete Neuro-symbolic Reasoning with LLM-Grounded Interpretations (2025)
  Bradley P. Allen et al.
  1.28
• Unveiling Intrinsic Dimension of Texts: from Academic Abstract to Creative Story (2025)
  Vladislav Pedashenko et al.
  1.28
• SymbolicAI: A framework for logic-based approaches combining generative models and solvers (2024)
  Marius-Constantin Dinu et al.
  —