An Axiomatization of G'3.

Mauricio Osorio José R. Arrazola Ramírez José Luis Carballido Oscar Estrada

Published in: LoLaCOM (2006)

Keyphrases

situation calculus
general theory
complete axiomatization
neural network
multiscale
search algorithm
genetic algorithm
image processing
bayesian networks
pattern recognition
query processing