Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula.
Sagar MalhotraLuciano SerafiniPublished in: AAAI (2022)
Keyphrases
- closed form
- weighted model counting
- model counting
- cardinality constraints
- propositional formulas
- constraint query languages
- first order logic
- propositional logic
- constraint databases
- expressive power
- boolean algebra
- functional dependencies
- inference rules
- normal form
- probabilistic inference
- knowledge compilation
- satisfiability testing
- bayesian inference
- polynomial size
- entity relationship
- database schema
- relational databases
- database
- cnf formula
- natural language
- relational model
- integrity constraints
- query evaluation
- database design
- xml documents