Deep Probabilistic Logics

Projektinformationen

DeepLog

ID Finanzhilfevereinbarung: 101142702

DOI

10.3030/101142702

EK-Unterschriftsdatum 16 Mai 2024

Startdatum 1 November 2024

Enddatum 31 Oktober 2029

Finanziert unter

• European Research Council (ERC)

Gesamtkosten

€ 2 500 000,00

EU-Beitrag

€ 2 500 000,00

Koordiniert durch

KATHOLIEKE UNIVERSITEIT LEUVEN
Belgium

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (9)

Relational Neurosymbolic Markov Models

Autoren: Lennert De Smet, Gabriele Venturato, Luc De Raedt, Giuseppe Marra
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence, Ausgabe 39, 2025, ISSN 2374-3468
Herausgeber: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V39I15.33777

The Gradient of Algebraic Model Counting

Autoren: Jaron Maene, Luc De Raedt
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence, Ausgabe 39, 2025, ISSN 2374-3468
Herausgeber: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V39I18.34132

DEEPGRAPHLOG for Layered Neurosymbolic AI

Autoren: Adem Kikaj, Giuseppe Marra, Floris Geerts, Robin Manhaeve, Luc De Raedt
Veröffentlicht in: Frontiers in Artificial Intelligence and Applications, ECAI 2025, 2025
Herausgeber: IOS Press
DOI: 10.3233/FAIA250979

Model Reconciliation via Cost-Optimal Explanations in Probabilistic Logic Programming

Autoren: Yinxu Tang, Stylianos Loukas Vasileiou, Vincent Derkinderen, William Yeoh
Veröffentlicht in: Advances in Neural Information Processing Systems, Ausgabe 39, 2025
Herausgeber: Curran Associates

Neurosymbolic OCR for Handwritten Tax Forms

Autoren: Quinten Dewulf, Robin Manhaeve, Wannes Meert, Luc De Raedt
Veröffentlicht in: Frontiers in Artificial Intelligence and Applications, ECAI 2025, 2025, ISSN 1879-8314
Herausgeber: IOS Press
DOI: 10.3233/FAIA251429LAUNCH

ProbLog4Fairness: A Neurosymbolic Approach to Modeling and Mitigating Bias

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

KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI

Autoren: Jaron Maene, Vincent Derkinderen, Pedro Zuidberg Dos Martires
Veröffentlicht in: Proceedings of the International Conference on Learning Representations, 2025
Herausgeber: OpenReview.net

Neurosymbolic Reinforcement Learning: Playing MiniHack with Probabilistic Logic Shields

Autoren: David Debot, Gabriele Venturato, Giuseppe Marra, Luc De Raedt
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence, Ausgabe 39, 2025, ISSN 2374-3468
Herausgeber: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V39I28.35349LAUNCH

Extracting Moore Machines from Transformers Using Queries and Counterexamples

Autoren: Rik Adriaensen, Jaron Maene
Veröffentlicht in: Lecture Notes in Computer Science, Advances in Intelligent Data Analysis XXIII, 2025
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-91398-3_31LAUNCH

Peer reviewed articles (1)

DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs

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