A realization of the negative interpretation of the Axiom of Choice.

Stefano Berardi Marc Bezem Thierry Coquand

Published in: TLCA (1995)

Keyphrases

positive and negative
high level
modal logic
data mining
preprocessing
image interpretation
neural network
image processing
three dimensional
multi agent
search algorithm
multiresolution
inference rules
semantic interpretation