Labelled Unit Superposition Calculi for Instantiation-Based Reasoning.

Konstantin Korovin Christoph Sticksel

Published in: LPAR (Yogyakarta) (2010)

Keyphrases

sequent calculi
real time
neural network
computer vision
multiresolution
theorem proving
data sets
machine learning
information retrieval
genetic algorithm
decision making
qualitative spatial reasoning