Skip to main content

Formal Methods for Mining Structured Objects

  • Book
  • © 2013

Overview

  • 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)

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

Access this book

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

Licence this eBook for your library

Institutional subscriptions

Table of contents (8 chapters)

Keywords

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

Publish with us