Incorporating Quotation and Evaluation into Church's Type Theory: Syntax and Semantics.

William M. Farmer

Published in: CICM (2016)

Keyphrases

feature selection
machine learning
theoretical framework
theoretical basis
data mining
multi agent
multiresolution
empirical evaluation
conceptual framework
gold standard
database
three dimensional