Propositional Probabilistic Reasoning at Maximum Entropy Modulo Theories.

Marco Wilhelm Gabriele Kern-Isberner Andreas Ecke

Published 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