Propositional Probabilistic Reasoning at Maximum Entropy Modulo Theories.
Marco WilhelmGabriele Kern-IsbernerAndreas EckePublished in: FLAIRS Conference (2016)
Keyphrases
- maximum entropy
- probabilistic reasoning
- probabilistic logic
- modulo theories
- first order logic
- answer set programming
- statistical relational learning
- maximum entropy principle
- propositional logic
- bayesian networks
- logic programming
- knowledge representation
- satisfiability modulo theories
- belief networks
- stable model semantics
- probabilistic knowledge
- inference rules
- conditional random fields
- default reasoning
- probabilistic inference
- markov networks
- inductive logic programming
- knowledge base
- training set
- high level