Some Post-complete extensions of S2 and S3.

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

Keyphrases

case study
artificial neural networks
information retrieval
multiscale
pattern recognition
efficient implementation
database
data sets
learning algorithm
artificial intelligence
similarity measure
object recognition
pairwise
default theories