Deep Probabilistic Logics

Información del proyecto

DeepLog

Identificador del acuerdo de subvención: 101142702

DOI

10.3030/101142702

Fecha de la firma de la CE 16 Mayo 2024

Fecha de inicio 1 Noviembre 2024

Fecha de finalización 31 Octubre 2029

Financiado con arreglo a

• European Research Council (ERC)

Coste total

€ 2 500 000,00

Aportación de la UE

€ 2 500 000,00

Coordinado por

KATHOLIEKE UNIVERSITEIT LEUVEN
Belgium

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Conference proceedings (9)

Relational Neurosymbolic Markov Models

Autores: Lennert De Smet, Gabriele Venturato, Luc De Raedt, Giuseppe Marra
Publicado en: Proceedings of the AAAI Conference on Artificial Intelligence, Edición 39, 2025, ISSN 2374-3468
Editor: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V39I15.33777

The Gradient of Algebraic Model Counting

Autores: Jaron Maene, Luc De Raedt
Publicado en: Proceedings of the AAAI Conference on Artificial Intelligence, Edición 39, 2025, ISSN 2374-3468
Editor: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V39I18.34132

DEEPGRAPHLOG for Layered Neurosymbolic AI

Autores: Adem Kikaj, Giuseppe Marra, Floris Geerts, Robin Manhaeve, Luc De Raedt
Publicado en: Frontiers in Artificial Intelligence and Applications, ECAI 2025, 2025
Editor: IOS Press
DOI: 10.3233/FAIA250979

Model Reconciliation via Cost-Optimal Explanations in Probabilistic Logic Programming

Autores: Yinxu Tang, Stylianos Loukas Vasileiou, Vincent Derkinderen, William Yeoh
Publicado en: Advances in Neural Information Processing Systems, Edición 39, 2025
Editor: Curran Associates

Neurosymbolic OCR for Handwritten Tax Forms

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

ProbLog4Fairness: A Neurosymbolic Approach to Modeling and Mitigating Bias

Autores: Rik Adriaensen, Lucas Van Praet, Jessa Bekker, Robin Manhaeve, Pieter Delobelle, Maarten Buyl
Publicado en: Proceedings of the AAAI Conference on Artificial Intelligence, Edición 40, 2026, ISSN 2374-3468
Editor: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V40I24.39033

KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI

Autores: Jaron Maene, Vincent Derkinderen, Pedro Zuidberg Dos Martires
Publicado en: Proceedings of the International Conference on Learning Representations, 2025
Editor: OpenReview.net

Neurosymbolic Reinforcement Learning: Playing MiniHack with Probabilistic Logic Shields

Autores: David Debot, Gabriele Venturato, Giuseppe Marra, Luc De Raedt
Publicado en: Proceedings of the AAAI Conference on Artificial Intelligence, Edición 39, 2025, ISSN 2374-3468
Editor: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V39I28.35349LAUNCH

Extracting Moore Machines from Transformers Using Queries and Counterexamples

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

Peer reviewed articles (1)

DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs

Autores: Ying Jiao, Rodrigo Castellano Ontiveros, Luc De Raedt, Marco Gori, Francesco Giannini, Michelangelo Diligenti, Giuseppe Marra
Publicado en: Proceedings of the AAAI Conference on Artificial Intelligence, Edición 40, 2026, ISSN 2374-3468
Editor: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V40I27.39396