Gabriele Venturato

20212022202320241 6 2 4

Public access

2 articles

0 articles

available

not available

Based on funding mandates

Angelo MontanariProfessor of Computer Science, Univ. of UdineVerified email at uniud.it
Luca GeattiUniversity of UdineVerified email at uniud.it
Nicola GiganteLibera Università di BolzanoVerified email at unibz.it
Pedro Zuidberg Dos MartiresÖrebro UniversityVerified email at oru.se
Vincent DerkinderenPostdoctoral researcher, DTAI, KU LeuvenVerified email at kuleuven.be
Luc De Raedtprofessor, KU Leuven & guestprofessor, Örebro UniversityVerified email at cs.kuleuven.be

Gabriele Venturato

Verified email at kuleuven.be - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	10	2021
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	2	2022
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	1	2024
SAT Meets Tableaux for Linear Temporal Logic Satisfiability L Geatti, N Gigante, A Montanari, G Venturato Journal of Automated Reasoning 68 (2), 1-32, 2024		2024

The system can't perform the operation now. Try again later.

Articles 1–4

Citations per year