Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs.

Jort Martinus Bergfeld Joshua Sack

Published in: Soft Comput. (2017)

Keyphrases

probabilistic logic
maximum entropy
probabilistic reasoning
statistical relational learning
default reasoning
probability theory
neural network
machine learning
knowledge base
fuzzy logic
theoretical framework
rationality postulates