Deep Probabilistic Logics

Informazioni relative al progetto

DeepLog

ID dell’accordo di sovvenzione: 101142702

DOI

10.3030/101142702

Data della firma CE 16 Maggio 2024

Data di avvio 1 Novembre 2024

Data di completamento 31 Ottobre 2029

Finanziato da

• European Research Council (ERC)

Costo totale

€ 2 500 000,00

Contributo UE

€ 2 500 000,00

Coordinato da

KATHOLIEKE UNIVERSITEIT LEUVEN
Belgium

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Conference proceedings (9)

Relational Neurosymbolic Markov Models

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

The Gradient of Algebraic Model Counting

Autori: Jaron Maene, Luc De Raedt
Pubblicato in: Proceedings of the AAAI Conference on Artificial Intelligence, Numero 39, 2025, ISSN 2374-3468
Editore: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V39I18.34132

DEEPGRAPHLOG for Layered Neurosymbolic AI

Autori: Adem Kikaj, Giuseppe Marra, Floris Geerts, Robin Manhaeve, Luc De Raedt
Pubblicato in: Frontiers in Artificial Intelligence and Applications, ECAI 2025, 2025
Editore: IOS Press
DOI: 10.3233/FAIA250979

Model Reconciliation via Cost-Optimal Explanations in Probabilistic Logic Programming

Autori: Yinxu Tang, Stylianos Loukas Vasileiou, Vincent Derkinderen, William Yeoh
Pubblicato in: Advances in Neural Information Processing Systems, Numero 39, 2025
Editore: Curran Associates

Neurosymbolic OCR for Handwritten Tax Forms

Autori: Quinten Dewulf, Robin Manhaeve, Wannes Meert, Luc De Raedt
Pubblicato in: Frontiers in Artificial Intelligence and Applications, ECAI 2025, 2025, ISSN 1879-8314
Editore: IOS Press
DOI: 10.3233/FAIA251429LAUNCH

ProbLog4Fairness: A Neurosymbolic Approach to Modeling and Mitigating Bias

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

KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI

Autori: Jaron Maene, Vincent Derkinderen, Pedro Zuidberg Dos Martires
Pubblicato in: Proceedings of the International Conference on Learning Representations, 2025
Editore: OpenReview.net

Neurosymbolic Reinforcement Learning: Playing MiniHack with Probabilistic Logic Shields

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

Extracting Moore Machines from Transformers Using Queries and Counterexamples

Autori: Rik Adriaensen, Jaron Maene
Pubblicato in: Lecture Notes in Computer Science, Advances in Intelligent Data Analysis XXIII, 2025
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-91398-3_31LAUNCH

Peer reviewed articles (1)

DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs

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