1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.LO2026★ 1 cited
Semiring Provenance for Lightweight Description Logics
Camille Bourgaux, Ana Ozaki, Rafael Peñaloza
We investigate semiring provenance--a successful framework originally defined in the relational database setting--for description logics. In this context, the ontology axioms are a…
cs.AI2025
When No Paths Lead to Rome: Benchmarking Systematic Neural Relational Reasoning
Anirban Das, Irtaza Khalid, Rafael Peñaloza +1
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 spe…
cs.AI2025
NAEL: Non-Anthropocentric Ethical Logic
Bianca Maria Lerma, Rafael Peñaloza
We introduce NAEL (Non-Anthropocentric Ethical Logic), a novel ethical framework for artificial agents grounded in active inference and symbolic reasoning. Departing from conventio…