Gabriele Venturato

20212022202320241 6 2 4

Openbare toegang

2 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Angelo MontanariProfessor of Computer Science, Univ. of UdineGeverifieerd e-mailadres voor uniud.it
Luca GeattiUniversity of UdineGeverifieerd e-mailadres voor uniud.it
Nicola GiganteLibera Università di BolzanoGeverifieerd e-mailadres voor unibz.it
Pedro Zuidberg Dos MartiresÖrebro UniversityGeverifieerd e-mailadres voor oru.se
Vincent DerkinderenPostdoctoral researcher, DTAI, KU LeuvenGeverifieerd e-mailadres voor kuleuven.be
Luc De Raedtprofessor, KU Leuven & guestprofessor, Örebro UniversityGeverifieerd e-mailadres voor cs.kuleuven.be

Gabriele Venturato

Geverifieerd e-mailadres voor kuleuven.be - Homepage


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
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

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–4

Citaties per jaar