Reasoning.

Alexandre Rademaker Edward Hermann Haeusler

Published in: J. Univers. Comput. Sci. (2010)

Keyphrases

automated reasoning
resource bounded
knowledge base
database systems
reasoning systems
meta level
spatial reasoning
analogical reasoning
databases
computer vision
information systems
image sequences
inference engine
fuzzy reasoning
computational properties