Deep Probabilistic Logics

Informacje na temat projektu

DeepLog

Identyfikator umowy o grant: 101142702

DOI

10.3030/101142702

Data podpisania przez KE 16 Maja 2024

Data rozpoczęcia 1 Listopada 2024

Data zakończenia 31 Października 2029

Finansowanie w ramach

• European Research Council (ERC)

Koszt całkowity

€ 2 500 000,00

Wkład UE

€ 2 500 000,00

Koordynowany przez

KATHOLIEKE UNIVERSITEIT LEUVEN
Belgium

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Conference proceedings (9)

Relational Neurosymbolic Markov Models

Autorzy: Lennert De Smet, Gabriele Venturato, Luc De Raedt, Giuseppe Marra
Opublikowane w: Proceedings of the AAAI Conference on Artificial Intelligence, Numer 39, 2025, ISSN 2374-3468
Wydawca: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V39I15.33777

The Gradient of Algebraic Model Counting

Autorzy: Jaron Maene, Luc De Raedt
Opublikowane w: Proceedings of the AAAI Conference on Artificial Intelligence, Numer 39, 2025, ISSN 2374-3468
Wydawca: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V39I18.34132

DEEPGRAPHLOG for Layered Neurosymbolic AI

Autorzy: Adem Kikaj, Giuseppe Marra, Floris Geerts, Robin Manhaeve, Luc De Raedt
Opublikowane w: Frontiers in Artificial Intelligence and Applications, ECAI 2025, 2025
Wydawca: IOS Press
DOI: 10.3233/FAIA250979

Model Reconciliation via Cost-Optimal Explanations in Probabilistic Logic Programming

Autorzy: Yinxu Tang, Stylianos Loukas Vasileiou, Vincent Derkinderen, William Yeoh
Opublikowane w: Advances in Neural Information Processing Systems, Numer 39, 2025
Wydawca: Curran Associates

Neurosymbolic OCR for Handwritten Tax Forms

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

ProbLog4Fairness: A Neurosymbolic Approach to Modeling and Mitigating Bias

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

KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI

Autorzy: Jaron Maene, Vincent Derkinderen, Pedro Zuidberg Dos Martires
Opublikowane w: Proceedings of the International Conference on Learning Representations, 2025
Wydawca: OpenReview.net

Neurosymbolic Reinforcement Learning: Playing MiniHack with Probabilistic Logic Shields

Autorzy: David Debot, Gabriele Venturato, Giuseppe Marra, Luc De Raedt
Opublikowane w: Proceedings of the AAAI Conference on Artificial Intelligence, Numer 39, 2025, ISSN 2374-3468
Wydawca: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/AAAI.V39I28.35349LAUNCH

Extracting Moore Machines from Transformers Using Queries and Counterexamples

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

Peer reviewed articles (1)

DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs

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