Probabilistic Justification Logic.
Ioannis KokkinisZoran OgnjanovicThomas StuderPublished in: LFCS (2016)
Keyphrases
- probabilistic logic
- logical inference
- probability theory
- data driven
- probabilistic reasoning
- information theoretic
- probabilistic model
- search engine
- probabilistic approaches
- uncertain data
- probabilistic knowledge
- digital circuits
- logical framework
- information retrieval
- formal theory
- predicate logic
- defeasible logic
- computational properties
- genetic algorithm
- multi valued
- data mining
- default reasoning
- maximum entropy
- logic programming