The number of nonnormal extensions of S4.

George F. Schumm

Published in: Notre Dame J. Formal Log. (1988)

Keyphrases

small number
computational complexity
database
database systems
probabilistic model
real world
information systems
knowledge base
multiresolution
knowledge representation
multi class
expectation maximization
computational effort
fixed number