Morettin, Paolo

Morettin, Paolo  

Ingegneria e scienza dell'Informaz (29/10/12-)  

Mostra records
Risultati 1 - 15 di 15 (tempo di esecuzione: 0.051 secondi).
Titolo Anno di pubblicazione Autori Unitn File
Advanced SMT techniques for weighted model integration 1-gen-2019 Morettin, PaoloPasserini, AndreaSebastiani, Roberto
Chapter 22. Semantic Loss Functions for Neuro-Symbolic Structured Prediction 1-gen-2023 Teso, StefanoMorettin, PaoloDi Liello, LucaArdino, PierfrancescoPasserini, Andrea +
Co-creating Platformer Levels with Constrained Adversarial Networks 1-gen-2021 Morettin, PaoloPasserini, AndreaTeso, Stefano
Efficient Generation of Structured Objects with Constrained Adversarial Networks 1-gen-2020 Di Liello LucaArdino PierfrancescoMorettin PaoloTeso StefanoPasserini Andrea +
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction 1-gen-2017 Morettin, PaoloPasserini, AndreaSebastiani, Roberto
Enhancing SMT-based Weighted Model Integration by structure awareness 1-gen-2024 Spallitta G.Masina G.Morettin P.Passerini A.Sebastiani R.
Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey 1-gen-2021 Morettin, PaoloKolb, SamuelPasserini, Andrea +
Is Parameter Learning via Weighted Model Integration Tractable? 1-gen-2021 Morettin, PaoloPasserini, Andrea +
Learning and Reasoning in Hybrid Structured Spaces 29-mag-2020 Morettin, Paolo
Learning Weighted Model Integration Distributions 1-gen-2020 Paolo MorettinStefano TesoAndrea Passerini +
NES2RA: Network expansion by stratified variable subsetting and ranking aggregation 1-gen-2018 Asnicar, FrancescoMasera, LucaColler, EmanuelaMorettin, PaoloErculiani, LucaMalacarne, GiuliaArgentini, AndreaCavecchia, ValterMoser, ClaudioBlanzieri, Enrico +
SMT-based Weighted Model Integration with Structure Awareness 1-gen-2022 Spallitta GiuseppeMasina GabrieleMorettin PaoloPasserini AndreaSebastiani Roberto
The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration 1-gen-2019 Morettin, PaoloPasserini, AndreaSebastiani, Roberto +
TN-Grid and gene@home Project: Volunteer Computing for Bioinformatics 1-gen-2015 Asnicar, FrancescoMasera, LucaMorettin, PaoloMoser, ClaudioBlanzieri, EnricoCavecchia, Valter +
Towards a Unified Framework for Probabilistic Verification of AI Systems 1-gen-2023 Paolo MorettinAndrea PasseriniRoberto Sebastiani