Localizing the axioms.

Athanassios Tzouvaras

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

Keyphrases

knowledge base
first order logic
computer vision
decision making
real time
information retrieval
multiscale
cooperative
high dimensional
information extraction
axiomatic characterization
complete axiomatization