Automated Theorem Proving using the TPTP Process Instruction Language.

Muhammad Nassar Geoff Sutcliffe

Published in: PAAR@IJCAR (2014)

Keyphrases

automated theorem proving
theorem prover
theorem proving
programming language
language learning
answer set programming
neural network
knowledge base
training data
general purpose
conceptual model