Title: Formal Methods for Mining Structured Objects
Subjects: Data mining, Lattice theory, Artificial intelligence, Computational intelligence