Integrating Typed Model Counting into First-Order Maximum Entropy Computations and the Connection to Markov Logic Networks.
Marco WilhelmGabriele Kern-IsbernerMarc FinthammerChristoph BeierlePublished in: FLAIRS Conference (2019)
Keyphrases
- maximum entropy
- markov logic networks
- first order logic
- higher order
- probabilistic logic
- markov networks
- propositional logic
- conditional random fields
- structure learning
- probabilistic reasoning
- polynomial size
- knowledge representation
- graphical models
- active learning
- bayesian networks
- inductive logic programming
- max margin
- posterior probability
- lower bound