A Combinatorial Approach to Weighted Model Counting in the Two-Variable Fragment with Cardinality Constraints.

Sagar Malhotra Luciano Serafini

Published in: AI*IA (2021)

Keyphrases

cardinality constraints
weighted model counting
probabilistic inference
bayesian inference
model counting
functional dependencies
graphical models
integrity constraints
deductive databases
database schema
object oriented
message passing
entity relationship
satisfiability testing