Using the TPTP Language for Writing Derivations and Finite Interpretations.

Geoff Sutcliffe Stephan Schulz Koen Claessen Allen Van Gelder

Published in: IJCAR (2006)

Keyphrases

programming language
concurrent programming
natural language
object oriented programming
english language
language learning
language processing
function free horn
data sets
information systems
information extraction
finite number
operational semantics
collaborative writing