First-Order Typed Model Counting for Probabilistic Conditional Reasoning at Maximum Entropy.
Marco WilhelmMarc FinthammerGabriele Kern-IsbernerChristoph BeierlePublished in: SUM (2017)
Keyphrases
- maximum entropy
- probabilistic logic
- model counting
- probabilistic knowledge
- maximum entropy principle
- default reasoning from conditional knowledge bases
- principle of maximum entropy
- maximum entropy model
- higher order
- polynomial size
- lexicographic entailment
- transformation based learning
- conditional random fields
- satisfiability testing
- minimum cross entropy
- knowledge compilation
- conditional probabilities
- relational databases