关注
Gabriele Venturato
Gabriele Venturato
KU Leuven
在 kuleuven.be 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Past Matters: Supporting LTL+ Past in the BLACK Satisfiability Checker
L Geatti, N Gigante, A Montanari, G Venturato
28th International Symposium on Temporal Representation and Reasoning (TIME …, 2021
112021
SAT meets tableaux for linear temporal logic satisfiability
L Geatti, N Gigante, A Montanari, G Venturato
Journal of Automated Reasoning 68 (2), 6, 2024
32024
Towards Tractable Dynamic Decision Making With Circuits
G Venturato, V Derkinderen, P Zuidberg Dos Martires, L De Raedt
5th Workshop on Tractable Probabilistic Modeling, Location: Eindhoven, 2022
22022
Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation
G Venturato, V Derkinderen, PZ Dos Martires, L De Raedt
Proceedings of the AAAI Conference on Artificial Intelligence 38 (18), 20567 …, 2024
12024
Neurosymbolic Markov Models
L De Smet, G Venturato, L De Raedt, G Marra
ICML 2024 Workshop on Structured Probabilistic Inference {\&} Generative …, 0
系统目前无法执行此操作，请稍后再试。
文章 1–5