Formal Methods for Mining Structured Objects

• Κύριος συγγραφέας: Garriga, Gemma C. (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Σειρά: Studies in Computational Intelligence, 475
• Θέματα: 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...

Πίνακας περιεχομένων:

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