Syntactic foundations for unawareness of theorems.

Published in: TARK (2009)

Keyphrases

natural language
artificial intelligence
semantic representation
structural pattern recognition
decision trees
pattern recognition
digital topology
real world
database systems
image sequences
semantic role labeling