Sign in
Enhancing SMT-based Weighted Model Integration by structure awareness.
Giuseppe Spallitta
Gabriele Masina
Paolo Morettin
Andrea Passerini
Roberto Sebastiani
Published in:
Artif. Intell. (2024)
Keyphrases
</>
probabilistic model
case study
formal model
computational model
theoretical framework
multi agent systems
management system
least squares
em algorithm
mathematical model
network model
hierarchical structure
parameter estimation
theoretical analysis
multi agent
objective function
similarity measure