Batch Processing for Proofs of Partial Knowledge and Its Applications.

Koji Chida Go Yamamoto

Published in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2008)

Keyphrases

partial knowledge
batch processing
scheduling jobs
theorem prover
theorem proving
formal proof
formal proofs
belief state
learning algorithm
domain knowledge
machine learning
image segmentation
feature space
maximum likelihood
automated theorem provers