Dynamic definability.

Erich Grädel Sebastian Siebertz

Published in: ICDT (2012)

Keyphrases

artificial intelligence
computer vision
real time
dynamic environments
fixed point
neural network
machine learning
learning algorithm
decision making
high level
preprocessing
multiresolution
propositional logic
changing environment
dynamically changing