Probability Logic for Harsanyi Type Spaces.

Published in: Log. Methods Comput. Sci. (2014)

Keyphrases

quantum computation
probability theory
probability distribution
logic programming
classical logic
information retrieval
learning algorithm
feature selection
lower bound
evolutionary algorithm
query language
first order logic
theorem prover