Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker. - Luca Geatti; Nicola Gigante; Angelo Montanari; Gabriele Venturato (TIME, 2021)

Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation. - Gabriele Venturato; Vincent Derkinderen; Pedro Zuidberg Dos Martires; Luc De Raedt (AAAI, 2024)

Can Large Language Models Reason? A Characterization via 3-SAT. - Rishi Hazra; Gabriele Venturato; Pedro Zuidberg Dos Martires; Luc De Raedt (CoRR, 2024)

SAT Meets Tableaux for Linear Temporal Logic Satisfiability. - Luca Geatti; Nicola Gigante; Angelo Montanari; Gabriele Venturato (J. Autom. Reason., 2024)

Neurosymbolic Reinforcement Learning: Playing MiniHack with Probabilistic Logic Shields. - David Debot; Gabriele Venturato; Giuseppe Marra; Luc De Raedt (AAAI, 2025)

Relational Neurosymbolic Markov Models. - Lennert De Smet; Gabriele Venturato; Luc De Raedt; Giuseppe Marra (AAAI, 2025)

Belief Re-Use in Partially Observable Monte Carlo Tree Search. - Ebert Theeuwes; Gabriele Venturato; Gavin Rens (ICAART (2), 2025)

Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition. - Rishi Hazra; Gabriele Venturato; Pedro Zuidberg Dos Martires; Luc De Raedt (CoRR, 2025)