A theory of overloading.

Peter J. Stuckey Martin Sulzmann

Published in: ICFP (2002)

Keyphrases

theoretical basis
real world
multiresolution
theoretical framework
neural network
artificial intelligence
three dimensional
search algorithm
computational models
belief functions
general theory