Gabriele Venturato

According to our database, Gabriele Venturato authored at least 3 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

SAT Meets Tableaux for Linear Temporal Logic Satisfiability.

Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato

J. Autom. Reason., June, 2024

Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation.

Gabriele Venturato, Vincent Derkinderen, Pedro Zuidberg Dos Martires, Luc De Raedt

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2021

Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker.

Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato

Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021