Quantum Probabilistic Dyadic Second-Order Logic.
Alexandru BaltagJort BergfeldKohei KishidaJoshua SackSonja SmetsShengyang ZhongPublished in: WoLLIC (2013)
Keyphrases
- probabilistic logic
- quantum computation
- logic circuits
- probability theory
- automated reasoning
- logical inference
- probabilistic model
- logic synthesis
- multi valued
- probabilistic reasoning
- data sets
- proof theory
- bayesian networks
- generative model
- higher order
- computational properties
- predicate logic
- abductive reasoning
- quantum mechanics
- default reasoning
- uncertain data
- channel capacity
- quantum computing
- multi agent systems