Descriptive complexity of real computation and probabilistic independence logic.
Miika HannulaJuha KontinenJan Van den BusscheJonni VirtemaPublished in: CoRR (2020)
Keyphrases
- probabilistic logic
- real world
- logical inference
- bayesian networks
- probabilistic model
- modal logic
- computational complexity
- computational cost
- logic programming
- information theoretic
- epistemic logic
- uncertain data
- probability theory
- independence assumption
- uncertain databases
- knowledge base
- asynchronous circuits
- predicate logic
- digital circuits
- classical logic
- case study
- multi valued
- neural network
- memory requirements
- generative model
- worst case