Model Counting and Sampling in First-Order Logic (Abstract of Invited Talk).
Ondrej KuzelkaPublished in: Description Logics (2024)
Keyphrases
- first order logic
- invited talk
- model counting
- propositional logic
- expressive power
- satisfiability testing
- theorem proving
- knowledge discovery and data mining
- selected papers
- inference rules
- knowledge representation
- inductive logic programming
- probabilistic reasoning
- theorem prover
- knowledge compilation
- propositional formulas
- polynomial size
- databases
- np complete
- logic programs
- expert systems
- learning algorithm
- machine learning
- data mining