Keyphrases
- probabilistic logic
- probability theory
- logical inference
- uncertain data
- data driven
- logic programming
- automated reasoning
- probabilistic model
- asynchronous circuits
- generative model
- information theoretic
- neural network
- probabilistic knowledge
- multi valued
- classical logic
- real world
- relational databases
- formal theory
- computational properties
- logical framework
- social networks
- bayesian networks
- logic programs
- hidden markov models