Formal Methods for Mining Structured Objects

• Main Author: Garriga, Gemma C. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Series: Studies in Computational Intelligence, 475
• Subjects: Engineering.; Artificial intelligence.; Computational intelligence.; Computational Intelligence.; Artificial Intelligence (incl. Robotics).

In the field of knowledge discovery, graphs of concepts are an expressive and versatile modeling technique providing ways to reason about information implicit in a set of data. Interesting examples of this can be found under the mathematical theory of formal concept analysis, dedicated to the constr...

Table of Contents:

• Introduction
• Preliminaries
• Horn Axiomatizations for Sequences
• Transformations on Injective Partial Orders
• Transformations on General Partial Orders
• Towards Other Structured Data.