publications

2025

2025

1. AAAI 2025

   Relational Neurosymbolic Markov Models

   Lennert De Smet, Gabriele Venturato, Luc De Raedt, and Giuseppe Marra

   Proceedings of the AAAI Conference on Artificial Intelligence, 2025

   Bib arXiv Code

   @article{DeSmetEtAl2025,
     title = {Relational Neurosymbolic Markov Models},
     author = {De Smet, Lennert and Venturato, Gabriele and De Raedt, Luc and Marra, Giuseppe},
     year = {2025},
     journal = {Proceedings of the AAAI Conference on Artificial Intelligence},
     annotation = {accepted for publication}
   }

2. AAAI 2025

   Neurosymbolic Reinforcement Learning: Playing MiniHack With Probabilistic Logic Shields

   David Debot, Gabriele Venturato, Luc De Raedt, and Giuseppe Marra

   Proceedings of the AAAI Conference on Artificial Intelligence, 2025

   Bib Video Code Website

   @article{DebotEtAl2025,
     title = {Neurosymbolic Reinforcement Learning: Playing MiniHack With Probabilistic Logic Shields},
     author = {Debot, David and Venturato, Gabriele and De Raedt, Luc and Marra, Giuseppe},
     year = {2025},
     journal = {Proceedings of the AAAI Conference on Artificial Intelligence},
     annotation = {accepted for publication}
   }

3. ICAART 2025

   Belief Re-Use in Partially Observable Monte Carlo Tree Search

   Ebert Theeuwes, Gabriele Venturato, and Gavin Rens

   International Conference on Agents and Artificial Intelligence, 2025

   Bib

   @article{TheeuwesEtAl2025,
     title = {Belief Re-Use in Partially Observable Monte Carlo Tree Search},
     author = {Theeuwes, Ebert and Venturato, Gabriele and Rens, Gavin},
     year = {2025},
     journal = {International Conference on Agents and Artificial Intelligence},
     annotation = {accepted for publication}
   }

2024

2024

1. JAR

   SAT Meets Tableaux for Linear Temporal Logic Satisfiability

   Luca Geatti, Nicola Gigante, Angelo Montanari, and Gabriele Venturato

   Journal of Automated Reasoning, Mar 2024

   Bib DOI

   @article{GeattiEtAl2024,
     title = {{{SAT Meets Tableaux}} for {{Linear Temporal Logic Satisfiability}}},
     author = {Geatti, Luca and Gigante, Nicola and Montanari, Angelo and Venturato, Gabriele},
     year = {2024},
     month = mar,
     journal = {Journal of Automated Reasoning},
     volume = {68},
     number = {2},
     pages = {6},
     issn = {1573-0670},
     doi = {10.1007/s10817-023-09691-1}
   }

2. AAAI 2024

   Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation

   Gabriele Venturato, Vincent Derkinderen, Pedro Zuidberg Dos Martires, and Luc De Raedt

   Proceedings of the AAAI Conference on Artificial Intelligence, Mar 2024

   Bib DOI Code Poster

   @article{VenturatoEtAl2024,
     title = {Inference and {{Learning}} in {{Dynamic Decision Networks Using Knowledge Compilation}}},
     author = {Venturato, Gabriele and Derkinderen, Vincent and Zuidberg Dos Martires, Pedro and De Raedt, Luc},
     year = {2024},
     month = mar,
     journal = {Proceedings of the AAAI Conference on Artificial Intelligence},
     volume = {38},
     number = {18},
     pages = {20567--20576},
     issn = {2374-3468},
     doi = {10.1609/aaai.v38i18.30042},
   }

3. SPIGM 2024

   Neurosymbolic Markov Models

   Lennert De Smet, Gabriele Venturato, Luc De Raedt, and Giuseppe Marra

   Jul 2024

   Bib PDF Video

   @techreport{DeSmetEtAl2024,
     type = {Workshop Paper},
     title = {Neurosymbolic Markov Models},
     author = {De Smet, Lennert and Venturato, Gabriele and De Raedt, Luc and Marra, Giuseppe},
     year = {2024},
     month = jul,
     institution = {ICML 2024 Workshop on Structured Probabilistic Inference and Generative Modeling},
   }

4. arXiv

   Can Large Language Models Reason? A Characterization via 3-SAT

   Rishi Hazra, Gabriele Venturato, Pedro Zuidberg Dos Martires , and Luc De Raedt

   arXiv preprint arXiv:2408.07215, Jul 2024

   Bib arXiv

   @article{HazraEtAl2024,
     title = {Can Large Language Models Reason? A Characterization via 3-SAT},
     author = {Hazra, Rishi and Venturato, Gabriele and Martires, Pedro Zuidberg Dos and De Raedt, Luc},
     journal = {arXiv preprint arXiv:2408.07215},
     year = {2024},
   }

2022

2022

1. TPM 2022

   Towards Tractable Dynamic Decision Making With Circuits

   Gabriele Venturato, Vincent Derkinderen, Pedro Zuidberg Dos Martires, and Luc De Raedt

   Aug 2022

   Bib PDF Poster

   @techreport{VenturatoEtAl2022,
     type = {Workshop Paper},
     title = {Towards Tractable Dynamic Decision Making With Circuits},
     author = {Venturato, Gabriele and Derkinderen, Vincent and Zuidberg Dos Martires, Pedro and De Raedt, Luc},
     year = {2022},
     month = aug,
     institution = {5th Workshop on Tractable Probabilistic Modeling},
   }

2021

2021

1. TIME 2021

   Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker

   Luca Geatti, Nicola Gigante, Angelo Montanari, and Gabriele Venturato

   In 28th International Symposium on Temporal Representation and Reasoning (TIME 2021) , Aug 2021

   Bib DOI

   @inproceedings{GeattiEtAl2021,
     author = {Geatti, Luca and Gigante, Nicola and Montanari, Angelo and Venturato, Gabriele},
     title = {{Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker}},
     booktitle = {28th International Symposium on Temporal Representation and Reasoning (TIME 2021)},
     pages = {8:1--8:17},
     series = {Leibniz International Proceedings in Informatics (LIPIcs)},
     isbn = {978-3-95977-206-8},
     issn = {1868-8969},
     year = {2021},
     volume = {206},
     editor = {Combi, Carlo and Eder, Johann and Reynolds, Mark},
     publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
     address = {Dagstuhl, Germany},
     url = {https://drops.dagstuhl.de/opus/volltexte/2021/14784},
     urn = {urn:nbn:de:0030-drops-147846},
     doi = {10.4230/LIPIcs.TIME.2021.8},
     annote = {Keywords: SAT, LTL, LTL+Past, Tableaux}
   }