Weighted First Order Model Counting with Directed Acyclic Graph Axioms.
Sagar MalhotraLuciano SerafiniPublished in: CoRR (2023)
Keyphrases
- directed acyclic graph
- model counting
- polynomial size
- first order logic
- weighted model counting
- directed graph
- conditional independence
- random variables
- knowledge compilation
- knowledge base
- equivalence classes
- boolean functions
- undirected graph
- satisfiability testing
- propositional logic
- data model
- inductive logic programming
- expressive power
- relational databases
- optimal solution