Probabilistic justification logic.
Ioannis KokkinisZoran OgnjanovicThomas StuderPublished in: J. Log. Comput. (2020)
Keyphrases
- probabilistic logic
- probability theory
- multi valued
- logical inference
- generative model
- bayesian networks
- classical logic
- data driven
- modal logic
- predicate logic
- probabilistic approaches
- conditional probabilities
- data sets
- artificial intelligence
- computational properties
- probabilistic knowledge
- asynchronous circuits
- neural network