On Dynamic Topological and Metric Logics.

Boris Konev Roman Kontchakov Frank Wolter Michael Zakharyaschev

Published in: Stud Logica (2006)

Keyphrases

dynamic environments
distance measure
similarity metric
topological map
databases
machine learning
artificial intelligence
image sequences
bayesian networks
high dimensional
distance metric
inference rules
proof theory