Localized Operational Termination in General Logics.

Salvador Lucas José Meseguer

Published in: Software, Services, and Systems (2015)

Keyphrases

neural network
evolutionary algorithm
special case
closely related
data sets
genetic algorithm
artificial intelligence
higher order
expressive power
active databases