Reinforcement learning meets logic programming: towards explainable AI

DOI10.1007/978-3-032-04587-4_2MaRDI QIDQ6884760zbMATH OpenFDO

Authors Luciano Caroprese, Ester Zumpano, D. Ursino

Publication date 15 December 2025

Full work available at URL https://doi.org/10.1007/978-3-032-04587-4_2

zbMATH Keywords

explainable AIlogic programmingneuro-symbolic systemreinforcement learning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites work

• \(\alpha\)ILP: thinking visual scenes as differentiable logic programs
• FFNSL: Feed-forward neural-symbolic learner
• Learning explanatory rules from noisy data
• Learning from interpretation transition using differentiable logic programming semantics
• Lifted relational neural networks: efficient learning of latent relational structures
• Logic programming revisited: logic programs as inductive definitions
• Making sense of raw input
• Symbolic knowledge extraction from trained neural networks: A sound approach

This page was built for publication: Reinforcement learning meets logic programming: towards explainable AI

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6884760)