From Bisimulation Quantifiers to Classifying Toposes.

Silvio Ghilardi Marek W. Zawadowski

Published in: Advances in Modal Logic (2000)

Keyphrases

automatic classification
neural network
hierarchical classification
database
artificial intelligence
pattern recognition
special case
domain knowledge