publications

2024

2024

1. JAR

   SAT Meets Tableaux for Linear Temporal Logic Satisfiability

   Luca Geatti, Nicola Gigante, Angelo Montanari, and Gabriele Venturato

   Journal of Automated Reasoning, Mar 2024

   Bib DOI

   @article{GeattiEtAl2024,
     title = {{{SAT Meets Tableaux}} for {{Linear Temporal Logic Satisfiability}}},
     author = {Geatti, Luca and Gigante, Nicola and Montanari, Angelo and Venturato, Gabriele},
     year = {2024},
     month = mar,
     journal = {Journal of Automated Reasoning},
     volume = {68},
     number = {2},
     pages = {6},
     issn = {1573-0670},
     doi = {10.1007/s10817-023-09691-1}
   }

2. AAAI 2024

   Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation

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

   Proceedings of the AAAI Conference on Artificial Intelligence, Mar 2024

   Bib DOI Code Poster

   @article{VenturatoEtAl2024,
     title = {Inference and {{Learning}} in {{Dynamic Decision Networks Using Knowledge Compilation}}},
     author = {Venturato, Gabriele and Derkinderen, Vincent and Zuidberg Dos Martires, Pedro and De Raedt, Luc},
     year = {2024},
     month = mar,
     journal = {Proceedings of the AAAI Conference on Artificial Intelligence},
     volume = {38},
     number = {18},
     pages = {20567--20576},
     issn = {2374-3468},
     doi = {10.1609/aaai.v38i18.30042},
   }

3. SPIGM 2024

   Neurosymbolic Markov Models

   Lennert De Smet, Gabriele Venturato, Luc De Raedt, and Giuseppe Marra

   Jul 2024

   Bib PDF Video

   @techreport{DeSmetEtAl2024,
     type = {Workshop Paper},
     title = {Neurosymbolic Markov Models},
     author = {De Smet, Lennert and Venturato, Gabriele and De Raedt, Luc and Marra, Giuseppe},
     year = {2024},
     month = jul,
     institution = {ICML 2024 Workshop on Structured Probabilistic Inference and Generative Modeling},
   }

2022

2022

1. TPM 2022

   Towards Tractable Dynamic Decision Making With Circuits

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

   Aug 2022

   Bib PDF Poster

   @techreport{VenturatoEtAl2022,
     type = {Workshop Paper},
     title = {Towards Tractable Dynamic Decision Making With Circuits},
     author = {Venturato, Gabriele and Derkinderen, Vincent and Zuidberg Dos Martires, Pedro and De Raedt, Luc},
     year = {2022},
     month = aug,
     institution = {5th Workshop on Tractable Probabilistic Modeling},
   }

2021

2021

1. TIME 2021

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

   Luca Geatti, Nicola Gigante, Angelo Montanari, and Gabriele Venturato

   In 28th International Symposium on Temporal Representation and Reasoning (TIME 2021) , Aug 2021

   Bib DOI

   @inproceedings{GeattiEtAl2021,
     author = {Geatti, Luca and Gigante, Nicola and Montanari, Angelo and Venturato, Gabriele},
     title = {{Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker}},
     booktitle = {28th International Symposium on Temporal Representation and Reasoning (TIME 2021)},
     pages = {8:1--8:17},
     series = {Leibniz International Proceedings in Informatics (LIPIcs)},
     isbn = {978-3-95977-206-8},
     issn = {1868-8969},
     year = {2021},
     volume = {206},
     editor = {Combi, Carlo and Eder, Johann and Reynolds, Mark},
     publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
     address = {Dagstuhl, Germany},
     url = {https://drops.dagstuhl.de/opus/volltexte/2021/14784},
     urn = {urn:nbn:de:0030-drops-147846},
     doi = {10.4230/LIPIcs.TIME.2021.8},
     annote = {Keywords: SAT, LTL, LTL+Past, Tableaux}
   }