000 02748nam a22004697a 4500
001 sulb-eb0024780
003 BD-SySUS
005 20160413122456.0
007 cr nn 008mamaa
008 130228s2013 gw | s |||| 0|eng d
020 _a9783642366819
_9978-3-642-36681-9
024 7 _a10.1007/978-3-642-36681-9
_2doi
050 4 _aQ342
072 7 _aUYQ
_2bicssc
072 7 _aCOM004000
_2bisacsh
082 0 4 _a006.3
_223
100 1 _aGarriga, Gemma C.
_eauthor.
245 1 0 _aFormal Methods for Mining Structured Objects
_h[electronic resource] /
_cby Gemma C Garriga.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2013.
300 _aX, 109 p. 50 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aStudies in Computational Intelligence,
_x1860-949X ;
_v475
505 0 _aIntroduction -- Preliminaries -- Horn Axiomatizations for Sequences -- Transformations on Injective Partial Orders -- Transformations on General Partial Orders -- Towards Other Structured Data.
520 _aIn 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.
650 0 _aEngineering.
650 0 _aArtificial intelligence.
650 0 _aComputational intelligence.
650 1 4 _aEngineering.
650 2 4 _aComputational Intelligence.
650 2 4 _aArtificial Intelligence (incl. Robotics).
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642366802
830 0 _aStudies in Computational Intelligence,
_x1860-949X ;
_v475
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-36681-9
912 _aZDB-2-ENG
942 _2Dewey Decimal Classification
_ceBooks
999 _c46872
_d46872