Follow
Paolo Morettin
Paolo Morettin
Assistant professor (RTD-A), University of Trento
Verified email at unitn.it - Homepage
Title
Cited by
Cited by
Year
Advanced SMT techniques for weighted model integration
P Morettin, A Passerini, R Sebastiani
Artificial Intelligence 275, 1-27, 2019
332019
Efficient weighted model integration via smt-based predicate abstraction
P Morettin, A Passerini, R Sebastiani
def 1 (x1), x2, 2017
322017
Efficient generation of structured objects with constrained adversarial networks
L Di Liello, P Ardino, J Gobbi, P Morettin, S Teso, A Passerini
Advances in neural information processing systems 33, 14663-14674, 2020
252020
TN-Grid and gene@ home project: Volunteer Computing for Bioinformatics
F Asnicar, N Sella, L Masera, P Morettin, T Tolio, S Semeniuta, C Moser, ...
CEUR WORKSHOP PROCEEDINGS, 1-15, 2015
182015
Learning weighted model integration distributions
P Morettin, S Kolb, S Teso, A Passerini
Proceedings of the AAAI Conference on Artificial Intelligence 34 (04), 5224-5231, 2020
142020
The pywmi framework and toolbox for probabilistic inference using weighted model integration
S Kolb, P Morettin, P Zuidberg Dos Martires, F Sommavilla, A Passerini, ...
Proceedings of the Twenty-Eighth International Joint Conference on …, 2019
132019
NES2RA: Network expansion by stratified variable subsetting and ranking aggregation
F Asnicar, L Masera, E Coller, C Gallo, N Sella, T Tolio, P Morettin, ...
The International Journal of High Performance Computing Applications 32 (3 …, 2018
122018
Probabilistic inference with algebraic constraints: Theoretical limits and practical approximations
Z Zeng, P Morettin, F Yan, A Vergari, G Van den Broeck
Advances in Neural Information Processing Systems 33, 11564-11575, 2020
112020
Hybrid probabilistic inference with logical and algebraic constraints: a survey
P Morettin, P Zuidberg Dos Martires, S Kolb, A Passerini
IJCAI, 4533-4542, 2021
102021
Discovering candidates for gene network expansion by distributed volunteer computing
F Asnicar, L Erculiani, F Galante, C Gallo, L Masera, P Morettin, N Sella, ...
2015 IEEE Trustcom/BigDataSE/ISPA 3, 248-253, 2015
102015
SMT-based weighted model integration with structure awareness
G Spallitta, G Masina, P Morettin, A Passerini, R Sebastiani
Uncertainty in Artificial Intelligence, 1876-1885, 2022
82022
Scaling up hybrid probabilistic inference with logical and arithmetic constraints via message passing
Z Zeng, P Morettin, F Yan, A Vergari, G Van den Broeck
International Conference on Machine Learning, 10990-11000, 2020
82020
Zuidberg Dos Martires
S Kolb, P Morettin
P., Sommavilla, F., Passerini, A., Sebastiani, R., and De Raedt, L. The …, 2019
62019
Is Parameter Learning via Weighted Model Integration Tractable?
Z Zeng, P Morettin, F Yan, A Passerini, G Van den Broeck
The 4th Workshop on Tractable Probabilistic Modeling, 2021
32021
Efficient generation of structured objects with Constrained Adversarial Networks
J Gobbi, L Di Liello, P Ardino, P Morettin, S Teso, A Passerini
32019
Enhancing SMT-based Weighted Model Integration by structure awareness
G Spallitta, G Masina, P Morettin, A Passerini, R Sebastiani
Artificial Intelligence 328, 104067, 2024
12024
Hybrid Probabilistic Inference with Logical Constraints: Tractability and Message Passing
Z Zeng, F Yan, P Morettin, A Vergari, GV Broeck
arXiv preprint arXiv:1909.09362, 2019
12019
A Unified Framework for Probabilistic Verification of AI Systems via Weighted Model Integration
P Morettin, A Passerini, R Sebastiani
arXiv preprint arXiv:2402.04892, 2024
2024
Top-Down Knowledge Compilation for Counting Modulo Theories
V Derkinderen, PZD Martires, S Kolb, P Morettin
arXiv preprint arXiv:2306.04541, 2023
2023
Semantic Loss Functions for Neuro-Symbolic Structured Prediction
K Ahmed, S Teso, P Morettin, L Di Liello, P Ardino, J Gobbi, Y Liang, ...
Compendium of Neurosymbolic Artificial Intelligence, 485-505, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20