Deep Probabilistic Logics

Informations projet

DeepLog

N° de convention de subvention: 101142702

DOI

10.3030/101142702

Date de signature de la CE 16 Mai 2024

Date de début 1 Novembre 2024

Date de fin 31 Octobre 2029

Financé au titre de

• European Research Council (ERC)

Coût total

€ 2 500 000,00

Contribution de l’UE

€ 2 500 000,00

Coordonné par

KATHOLIEKE UNIVERSITEIT LEUVEN
Belgium

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (9)

Relational Neurosymbolic Markov Models

Auteurs: Lennert De Smet, Gabriele Venturato, Luc De Raedt, Giuseppe Marra
Publié dans: Proceedings of the AAAI Conference on Artificial Intelligence, Numéro 39, 2025, ISSN 2374-3468
Éditeur: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V39I15.33777

The Gradient of Algebraic Model Counting

Auteurs: Jaron Maene, Luc De Raedt
Publié dans: Proceedings of the AAAI Conference on Artificial Intelligence, Numéro 39, 2025, ISSN 2374-3468
Éditeur: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V39I18.34132

DEEPGRAPHLOG for Layered Neurosymbolic AI

Auteurs: Adem Kikaj, Giuseppe Marra, Floris Geerts, Robin Manhaeve, Luc De Raedt
Publié dans: Frontiers in Artificial Intelligence and Applications, ECAI 2025, 2025
Éditeur: IOS Press
DOI: 10.3233/FAIA250979

Model Reconciliation via Cost-Optimal Explanations in Probabilistic Logic Programming

Auteurs: Yinxu Tang, Stylianos Loukas Vasileiou, Vincent Derkinderen, William Yeoh
Publié dans: Advances in Neural Information Processing Systems, Numéro 39, 2025
Éditeur: Curran Associates

Neurosymbolic OCR for Handwritten Tax Forms

Auteurs: Quinten Dewulf, Robin Manhaeve, Wannes Meert, Luc De Raedt
Publié dans: Frontiers in Artificial Intelligence and Applications, ECAI 2025, 2025, ISSN 1879-8314
Éditeur: IOS Press
DOI: 10.3233/FAIA251429LAUNCH

ProbLog4Fairness: A Neurosymbolic Approach to Modeling and Mitigating Bias

Auteurs: Rik Adriaensen, Lucas Van Praet, Jessa Bekker, Robin Manhaeve, Pieter Delobelle, Maarten Buyl
Publié dans: Proceedings of the AAAI Conference on Artificial Intelligence, Numéro 40, 2026, ISSN 2374-3468
Éditeur: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V40I24.39033

KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI

Auteurs: Jaron Maene, Vincent Derkinderen, Pedro Zuidberg Dos Martires
Publié dans: Proceedings of the International Conference on Learning Representations, 2025
Éditeur: OpenReview.net

Neurosymbolic Reinforcement Learning: Playing MiniHack with Probabilistic Logic Shields

Auteurs: David Debot, Gabriele Venturato, Giuseppe Marra, Luc De Raedt
Publié dans: Proceedings of the AAAI Conference on Artificial Intelligence, Numéro 39, 2025, ISSN 2374-3468
Éditeur: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V39I28.35349LAUNCH

Extracting Moore Machines from Transformers Using Queries and Counterexamples

Auteurs: Rik Adriaensen, Jaron Maene
Publié dans: Lecture Notes in Computer Science, Advances in Intelligent Data Analysis XXIII, 2025
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-91398-3_31LAUNCH

Peer reviewed articles (1)

DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs

Auteurs: Ying Jiao, Rodrigo Castellano Ontiveros, Luc De Raedt, Marco Gori, Francesco Giannini, Michelangelo Diligenti, Giuseppe Marra
Publié dans: Proceedings of the AAAI Conference on Artificial Intelligence, Numéro 40, 2026, ISSN 2374-3468
Éditeur: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V40I27.39396