Model Counting, its Relationship to Symbolic Quantitative AI, and a Glimpse into Practical Solving.

Johannes Klaus Fichte

Published in: SAFA@COMMA (2022)

Keyphrases

model counting
artificial intelligence
expert systems
weighted model counting
knowledge representation
objective function
relational databases
combinatorial optimization
constraint programming