Formal Methods for Mining Structured Objects

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...

Full description

Bibliographic Details
Main Author: Garriga, Gemma C. (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Series:Studies in Computational Intelligence, 475
Subjects:
Online Access:https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-36681-9
Table of Contents:
  • Introduction
  • Preliminaries
  • Horn Axiomatizations for Sequences
  • Transformations on Injective Partial Orders
  • Transformations on General Partial Orders
  • Towards Other Structured Data.