Translating Between Implicit and Explicit Versions of Proof.

Roberto Blanco Zakaria Chihani Dale Miller

Published in: CADE (2017)

Keyphrases

explicit feedback
theorem prover
explicit knowledge
theorem proving
multiple versions
explicit or implicit
multimedia
explicitly represented
data mining
computer vision
three dimensional
multi agent systems
evolutionary algorithm
probabilistic model