publications | Gabriele Venturato

2024

JAR

SAT Meets Tableaux for Linear Temporal Logic Satisfiability

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

Journal of Automated Reasoning, Mar 2024

@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}
}

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},
}

2022

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

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}
}