Formalization of Algorithms and Logical Inference Systems in Proof Assistants.

Anders Schlichtkrull

Published in: SCAI (2015)

Keyphrases

logical inference
theorem proving
learning algorithm
domain knowledge
information retrieval
artificial intelligence
similarity measure
graphical models