Co-analytic mad families and definable wellorders.

Vera Fischer Sy-David Friedman Yurii Khomskii

Published in: Arch. Math. Log. (2013)

Keyphrases

machine learning
artificial intelligence
decision making
computer vision
image processing
search algorithm
lower bound
artificial neural networks
np complete
first order logic
answer sets
transitive closure