Formalized Metatheory with Terms Represented by an Indexed Family of Types.

Published in: TYPES (2004)

Keyphrases

neural network
decision making
high level
special case
database
real time
artificial intelligence
search engine
multimedia
search algorithm
evolutionary algorithm