Unifiability in extensions of K4.

Çigdem Gencer Dick De Jongh

Published in: Log. J. IGPL (2009)

Keyphrases

databases
high level
default theories
neural network
information systems
decision trees
pattern recognition
natural language
feature space
special case