Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick.

Published in: MPC (2012)

Keyphrases

machine learning
genetic algorithm
neural network
database systems
computer programs
databases
information retrieval
social networks
default logic
default theories
program execution