Gabriele Venturato

Gabriele Venturato

Catholic University of Leuven - Leuven / Belgium
Others
AD Scientific Index ID: 5672461
Katholieke Universiteit Leuven
person_outline Gabriele Venturato's MOST POPULAR ARTICLES
1-) Past Matters: Supporting LTL+ Past in the BLACK Satisfiability CheckerL Geatti, N Gigante, A Montanari, G Venturato28th International Symposium on Temporal Representation and Reasoning (TIME …, 2021112021
2-) SAT meets tableaux for linear temporal logic satisfiabilityL Geatti, N Gigante, A Montanari, G VenturatoJournal of Automated Reasoning 68 (2), 6, 202422024
3-) Towards Tractable Dynamic Decision Making With CircuitsG Venturato, V Derkinderen, PZ Dos Martires, L De RaedtThe 5th Workshop on Tractable Probabilistic Modeling, 202222022
4-) Can Large Language Models Reason? A Characterization via 3-SATR Hazra, G Venturato, PZD Martires, L De RaedtarXiv preprint arXiv:2408.07215, 202412024
5-) Inference and Learning in Dynamic Decision Networks Using Knowledge CompilationG Venturato, V Derkinderen, PZ Dos Martires, L De RaedtProceedings of the AAAI Conference on Artificial Intelligence 38 (18), 20567 …, 202412024