Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
Solving Hard XAI Queries Based on a Compiled Dual-Rail Encoding
Arthur Ledaguenel, Florent Capelli, Jean-Marie Lagniez
The widespread adoption of artificial intelligence (AI) within real-world applications has raised a lot of concerns regarding their trustworthiness, especially in critical applicat…
cs.AI2024
A Complexity Map of Probabilistic Reasoning for Neurosymbolic Classification Techniques
Arthur Ledaguenel, Céline Hudelot, Mostepha Khouadjia
Neurosymbolic artificial intelligence is a growing field of research aiming to combine neural network learning capabilities with the reasoning abilities of symbolic systems. Inform…
cs.AI2024
Improving Neural-based Classification with Logical Background Knowledge
Arthur Ledaguenel, Céline Hudelot, Mostepha Khouadjia
Neurosymbolic AI is a growing field of research aiming to combine neural networks learning capabilities with the reasoning abilities of symbolic systems. This hybridization can tak…