Follow
Paolo Morettin
Paolo Morettin
Post-doctoral researcher, KU Leuven
Verified email at kuleuven.be
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
272019
Efficient weighted model integration via smt-based predicate abstraction
P Morettin, A Passerini, R Sebastiani
def 1 (x1), x2, 2017
272017
TN-Grid and gene@ home project: Volunteer Computing for Bioinformatics
F Asnicar, N Sella, L Masera, P Morettin, T Tolio, S Semeniuta, C Moser, ...
Ivashko, E.(ed.) Second International Conference BOINC-based High …, 2015
172015
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
142020
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
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
112019
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
92015
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
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
82020
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
52020
Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey.
P Morettin, PZ Dos Martires, S Kolb, A Passerini
IJCAI, 4533-4542, 2021
42021
Efficient generation of structured objects with Constrained Adversarial Networks
J Gobbi, L Di Liello, P Ardino, P Morettin, S Teso, A Passerini
22020
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
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
2022
Co-creating Platformer Levels with Constrained Adversarial Networks
P Morettin, A Passerini, S Teso
Proceedings of the 2nd Workshop on Human-AI Co-Creation with Generative Models, 2021
2021
Discovering candidates for gene network expansion by variable subsetting and ranking aggregation
L Erculiani, F Galante, C Gallo, F Asnicar, L Masera, P Morettin, N Sella, ...
Network Biology Community-ISMB meeting (NetBio _SIG_2015), Dublin, Ireland …, 2015
2015
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, 0
Probabilistic Inference with Algebraic Constraints
Z Zeng, P Morettin, F Yan, A Vergari, G Van den Broeck
Relax, compensate and then integrate
Z Zeng, P Morettin, F Yan, A Vergari, G Van den Broeck
The system can't perform the operation now. Try again later.
Articles 1–19