Paolo Morettin

According to our database, Paolo Morettin authored at least 21 papers between 2015 and 2024.

Collaborative distances:

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

2024

Enhancing SMT-based Weighted Model Integration by structure awareness.

Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, Roberto Sebastiani

Artif. Intell., March, 2024

A Benchmark Suite for Systematically Evaluating Reasoning Shortcuts.

Samuele Bortolotti, Emanuele Marconato, Tommaso Carraro, Paolo Morettin, Emile van Krieken, Antonio Vergari, Stefano Teso, Andrea Passerini

CoRR, 2024

Semantic Loss Functions for Neuro-Symbolic Structured Prediction.

Kareem Ahmed, Stefano Teso, Paolo Morettin, Luca Di Liello, Pierfrancesco Ardino, Jacopo Gobbi, Yitao Liang, Eric Wang, Kai-Wei Chang, Andrea Passerini, Guy Van den Broeck

CoRR, 2024

A Unified Framework for Probabilistic Verification of AI Systems via Weighted Model Integration.

Paolo Morettin, Andrea Passerini, Roberto Sebastiani

CoRR, 2024

2023

Semantic Loss Functions for Neuro-Symbolic Structured Prediction.

Kareem Ahmed, Stefano Teso, Paolo Morettin, Luca Di Liello, Pierfrancesco Ardino, Jacopo Gobbi, Yitao Liang, Eric Wang, Kai-Wei Chang, Andrea Passerini, Guy Van den Broeck

Proceedings of the Compendium of Neurosymbolic Artificial Intelligence, 2023

Top-Down Knowledge Compilation for Counting Modulo Theories.

Vincent Derkinderen, Pedro Zuidberg Dos Martires, Samuel Kolb, Paolo Morettin

CoRR, 2023

2022

Learning and Reasoning in Hybrid Structured Spaces

Paolo Morettin

Frontiers in Artificial Intelligence and Applications 350, IOS Press, ISBN: 978-1-64368-267-9, 2022

SMT-based weighted model integration with structure awareness.

Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, Roberto Sebastiani

Proceedings of the Uncertainty in Artificial Intelligence, 2022

2021

Co-creating Platformer Levels with Constrained Adversarial Networks.

Paolo Morettin, Andrea Passerini, Stefano Teso

Proceedings of the Joint Proceedings of the ACM IUI 2021 Workshops co-located with 26th ACM Conference on Intelligent User Interfaces (ACM IUI 2021), 2021

Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey.

Paolo Morettin, Pedro Zuidberg Dos Martires, Samuel Kolb, Andrea Passerini

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020

Probabilistic Inference with Algebraic Constraints: Theoretical Limits and Practical Approximations.

Zhe Zeng, Paolo Morettin, Fanqi Yan, Antonio Vergari, Guy Van den Broeck

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Efficient Generation of Structured Objects with Constrained Adversarial Networks.

Luca Di Liello, Pierfrancesco Ardino, Jacopo Gobbi, Paolo Morettin, Stefano Teso, Andrea Passerini

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing.

Zhe Zeng, Paolo Morettin, Fanqi Yan, Antonio Vergari, Guy Van den Broeck

Proceedings of the 37th International Conference on Machine Learning, 2020

Learning Weighted Model Integration Distributions.

Paolo Morettin, Samuel Kolb, Stefano Teso, Andrea Passerini

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Hybrid Probabilistic Inference with Logical Constraints: Tractability and Message Passing.

Zhe Zeng, Fanqi Yan, Paolo Morettin, Antonio Vergari, Guy Van den Broeck

CoRR, 2019

Advanced SMT techniques for weighted model integration.

Paolo Morettin, Andrea Passerini, Roberto Sebastiani

Artif. Intell., 2019

The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration.

Samuel Kolb, Paolo Morettin, Pedro Zuidberg Dos Martires, Francesco Sommavilla, Andrea Passerini, Roberto Sebastiani, Luc De Raedt

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018

NES²RA.

Francesco Asnicar, Luca Masera, Emanuela Coller, Caterina Gallo, Nadir Sella, Thomas Tolio, Paolo Morettin, Luca Erculiani, Francesca Galante, Stanislau Semeniuta, Giulia Malacarne, Kristof Engelen, Andrea Argentini, Valter Cavecchia, Claudio Moser, Enrico Blanzieri

Int. J. High Perform. Comput. Appl., 2018

2017

Efficient Weighted Model Integration via SMT-Based Predicate Abstraction.

Paolo Morettin, Andrea Passerini, Roberto Sebastiani

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Probabilistic Inference in Hybrid Domains.

Paolo Morettin

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2015

Discovering Candidates for Gene Network Expansion by Distributed Volunteer Computing.

Francesco Asnicar, Luca Erculiani, Francesca Galante, Caterina Gallo, Luca Masera, Paolo Morettin, Nadir Sella, Stanislau Semeniuta, Thomas Tolio, Giulia Malacarne, Kristof Engelen, Andrea Argentini, Valter Cavecchia, Claudio Moser, Enrico Blanzieri

Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015