Hereditarily Structurally Complete Modals Logics.

Vladimir V. Rybakov

Published in: J. Symb. Log. (1995)

Keyphrases

neural network
expressive power
computer vision
inference rules
linearly ordered
machine learning
information retrieval
image processing
face recognition
learning environment
digital libraries
computational properties
propositional calculus