Minimal Cut Vectors and Logical Differential Calculus.

Miroslav Kvassay Elena N. Zaitseva Vitaly G. Levashenko Jozef Kostolny

Published in: ISMVL (2014)

Keyphrases

logical operations
feature vectors
vector space
neural network
logical reasoning
information retrieval
artificial intelligence
search engine
description logics
principal components
predicate calculus
logical representation
lambda calculus