Skip to main content
  • Book
  • © 2013

Formal Methods for Mining Structured Objects

Authors:

  • Recent research on Mining Structured Objects
  • State-of-the art of Formal Methods for Mining Structured Objects
  • Written by a leading expert in the field

Part of the book series: Studies in Computational Intelligence (SCI, volume 475)

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (8 chapters)

  1. Front Matter

    Pages 1-8
  2. Introduction

    • Gemma C. Garriga
    Pages 1-11
  3. Preliminaries

    • Gemma C. Garriga
    Pages 13-19
  4. Lattice Theory for Sequences

    • Gemma C. Garriga
    Pages 21-37
  5. Horn Axiomatizations for Sequences

    • Gemma C. Garriga
    Pages 39-50
  6. Transformations on Injective Partial Orders

    • Gemma C. Garriga
    Pages 51-63
  7. Transformations on General Partial Orders

    • Gemma C. Garriga
    Pages 65-83
  8. Towards Other Structured Data

    • Gemma C. Garriga
    Pages 85-97
  9. Summary of Results

    • Gemma C. Garriga
    Pages 99-100
  10. Back Matter

    Pages 101-109

About this book

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 construction of a lattice of concepts by defining a Galois connection on a binary relationship. This book present such graph of concepts under the more complex case of data that comes in a set of structured objects; e.g. a set of sequences, trees or graphs. Nodes of this graph will represent patterns in the data and edges will correspond to relationships of specificity. From this combinatorial object results are derived such as a full characterization of  logical implications and closed partial orders. The results presented in this book are coupled with examples and empirical experiments that illustrate the derived theoretical contributions.

Reviews

From the reviews:

 

“This book deals with graph representations of data coming from sets of sequences, trees, or more general combinatorial structures. … Several examples and applications are given in the book, along with empirical experiments, with a view of providing new insights into the mining of various sorts of acyclic structured objects. … The book is a valuable addition to the literature on knowledge discovery.” (Daniele Mundici, zbMATH, Vol. 1280, 2014)

Authors and Affiliations

  • , Parc Scientifique de la Haute Borne, INRIA Lille Nord Europe, Villeneuve d'Ascq, France

    Gemma C Garriga

Bibliographic Information

  • Book Title: Formal Methods for Mining Structured Objects

  • Authors: Gemma C Garriga

  • Series Title: Studies in Computational Intelligence

  • DOI: https://doi.org/10.1007/978-3-642-36681-9

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Engineering, Engineering (R0)

  • Copyright Information: Springe -Verlag Berlin Heidelberg 2013

  • Hardcover ISBN: 978-3-642-36680-2Published: 21 March 2013

  • Softcover ISBN: 978-3-642-43063-3Published: 07 March 2015

  • eBook ISBN: 978-3-642-36681-9Published: 26 February 2013

  • Series ISSN: 1860-949X

  • Series E-ISSN: 1860-9503

  • Edition Number: 1

  • Number of Pages: X, 109

  • Number of Illustrations: 50 b/w illustrations

  • Topics: Computational Intelligence, Artificial Intelligence

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access