Cutting Down the TPTP Language (And Others).

Nahku Saidy Hanna Siegfried Stephan Schulz Geoff Sutcliffe

Published in: PAAR+SC²@IJCAR (2020)

Keyphrases

language learning
specification language
natural language
english language
real world
representation language
real time
machine learning
general purpose
programming language
inductive inference
conceptual graphs
computer programs
language processing
programming environment
java programming