Relative decidability and definability in henselian valued fields.

Published in: J. Symb. Log. (2011)

Keyphrases

propositional logic
machine learning
computer vision
fixed point
artificial intelligence
description logics
decision procedures
real time
neural network
decision making
similarity measure
query answering