Deep Probabilistic Logics

Project Information

DeepLog

Grant agreement ID: 101142702

DOI

10.3030/101142702

EC signature date 16 May 2024

Start date 1 November 2024

End date 31 October 2029

Funded under

• European Research Council (ERC)

Total cost

€ 2 500 000,00

EU contribution

€ 2 500 000,00

Coordinated by

KATHOLIEKE UNIVERSITEIT LEUVEN
Belgium

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (9)

Relational Neurosymbolic Markov Models

Author(s): Lennert De Smet, Gabriele Venturato, Luc De Raedt, Giuseppe Marra
Published in: Proceedings of the AAAI Conference on Artificial Intelligence, Issue 39, 2025, ISSN 2374-3468
Publisher: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V39I15.33777

The Gradient of Algebraic Model Counting

Author(s): Jaron Maene, Luc De Raedt
Published in: Proceedings of the AAAI Conference on Artificial Intelligence, Issue 39, 2025, ISSN 2374-3468
Publisher: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V39I18.34132

DEEPGRAPHLOG for Layered Neurosymbolic AI

Author(s): Adem Kikaj, Giuseppe Marra, Floris Geerts, Robin Manhaeve, Luc De Raedt
Published in: Frontiers in Artificial Intelligence and Applications, ECAI 2025, 2025
Publisher: IOS Press
DOI: 10.3233/FAIA250979

Model Reconciliation via Cost-Optimal Explanations in Probabilistic Logic Programming

Author(s): Yinxu Tang, Stylianos Loukas Vasileiou, Vincent Derkinderen, William Yeoh
Published in: Advances in Neural Information Processing Systems, Issue 39, 2025
Publisher: Curran Associates

Neurosymbolic OCR for Handwritten Tax Forms

Author(s): Quinten Dewulf, Robin Manhaeve, Wannes Meert, Luc De Raedt
Published in: Frontiers in Artificial Intelligence and Applications, ECAI 2025, 2025, ISSN 1879-8314
Publisher: IOS Press
DOI: 10.3233/FAIA251429LAUNCH

ProbLog4Fairness: A Neurosymbolic Approach to Modeling and Mitigating Bias

Author(s): Rik Adriaensen, Lucas Van Praet, Jessa Bekker, Robin Manhaeve, Pieter Delobelle, Maarten Buyl
Published in: Proceedings of the AAAI Conference on Artificial Intelligence, Issue 40, 2026, ISSN 2374-3468
Publisher: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V40I24.39033

KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI

Author(s): Jaron Maene, Vincent Derkinderen, Pedro Zuidberg Dos Martires
Published in: Proceedings of the International Conference on Learning Representations, 2025
Publisher: OpenReview.net

Neurosymbolic Reinforcement Learning: Playing MiniHack with Probabilistic Logic Shields

Author(s): David Debot, Gabriele Venturato, Giuseppe Marra, Luc De Raedt
Published in: Proceedings of the AAAI Conference on Artificial Intelligence, Issue 39, 2025, ISSN 2374-3468
Publisher: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V39I28.35349LAUNCH

Extracting Moore Machines from Transformers Using Queries and Counterexamples

Author(s): Rik Adriaensen, Jaron Maene
Published in: Lecture Notes in Computer Science, Advances in Intelligent Data Analysis XXIII, 2025
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-91398-3_31LAUNCH

Peer reviewed articles (1)

DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs

Author(s): Ying Jiao, Rodrigo Castellano Ontiveros, Luc De Raedt, Marco Gori, Francesco Giannini, Michelangelo Diligenti, Giuseppe Marra
Published in: Proceedings of the AAAI Conference on Artificial Intelligence, Issue 40, 2026, ISSN 2374-3468
Publisher: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V40I27.39396