Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions.
Yuanhong WangTimothy van BremenYuyi WangOndrej KuzelkaPublished in: AAAI (2022)
Keyphrases
- domain specific
- domain independent
- multi valued
- sample size
- probabilistic inference
- graphical models
- modal logic
- sampling strategy
- classical logic
- knowledge representation formalisms
- database
- nonmonotonic logics
- computational properties
- sampling methods
- automated reasoning
- efficient implementation
- expressive power
- domain experts
- reinforcement learning
- training data
- knowledge base
- genetic algorithm