A formal theory of generalized intermediate syllogisms.

Petra Murinová Vilém Novák

Published in: Fuzzy Sets Syst. (2012)

Keyphrases

formal theory
belief update
commonsense reasoning
spatial reasoning
database
neural network
real world
learning algorithm