Rafael Peñaloza — accepted AI-conference papers

2026

Enumerating Minimal Unsatisfiable Cores of LTLf Formulae

Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca

AAAI 2026technical

Linear Temporal Logic over finite traces (LTLf) is a widely used formalism with applications in AI, process mining, model checking, and more. The primary reasoning task for LTLf is satisfiability checking; yet, the recent focus on explainable AI has increased interest in analyzing inconsistent form

Cited by 0 Source ↗PDF ↗Scholar ↗

2025

When No Paths Lead to Rome: Benchmarking Systematic Neural Relational Reasoning

Anirban Das, Irtaza Khalid, Rafael Peñaloza, Steven Schockaert

NeurIPS 2025poster

Designing models that can learn to reason in a systematic way is an important and long-standing challenge. In recent years, a wide range of solutions have been proposed for the specific case of systematic relational reasoning, including Neuro-Symbolic approaches, variants of the Transformer architec…

Cited by 0 Source ↗Scholar ↗