000891794 000__ 05941cam\a2200589Ii\4500 000891794 001__ 891794 000891794 005__ 20230306150221.0 000891794 007__ cr\cn\nnnunnun 000891794 008__ 190703s2019\\\\sz\a\\\\ob\\\\101\0\eng\d 000891794 020__ $$a9783030214623$$q(electronic book) 000891794 020__ $$z9783030214616 000891794 020__ $$a3030214621$$q(electronic book) 000891794 035__ $$aSP(OCoLC)on1107323703 000891794 035__ $$aSP(OCoLC)1107323703 000891794 040__ $$aZ5A$$beng$$erda$$cZ5A$$dGW5XE 000891794 049__ $$aISEA 000891794 050_4 $$aQA76.9.M35$$bI58 2019eb 000891794 08204 $$a004.01/51$$223 000891794 1112_ $$aInternational Conference on Formal Concept Analysis$$n(15th :$$d2019 :$$cFrankfurt, Germany) 000891794 24510 $$aFormal Concept Analysis:$$b15th International Conference, ICFCA 2019: Frankfurt, Germany, June 25–28, 2019: proceedings /$$cDiana Cristea, Florence Le Ber, Baris Sertkaya (Eds.) (eds.). 000891794 2463_ $$aICFCA 2019 000891794 264_1 $$aBasel, Switzerland:$$bSpringer,$$c[2019] 000891794 264_4 $$c©2019 000891794 300__ $$a1 online resource (xiii, 349 pages) :$$billustrations 000891794 336__ $$atext$$btxt$$2rdacontent 000891794 337__ $$acomputer$$bc$$2rdamedia 000891794 338__ $$aonline resource$$bcr$$2rdacarrier 000891794 347__ $$atext file$$bPDF$$2rda 000891794 4901_ $$aLecture notes in artificial intelligence,$$x0302-9743 ;$$v11511 000891794 4901_ $$aLNCS sublibrary. SL 7, Artificial intelligence 000891794 500__ $$aInternational conference proceedings. 000891794 500__ $$aIncludes author index. 000891794 504__ $$aIncludes bibliographical references. 000891794 50500 $$tInvited Papers --$$tElements About Exploratory, Knowledge-Based, Hybrid, and Explainable Knowledge Discovery /$$rMiguel Couceiro, Amedeo Napoli --$$tToo Much Information: Can AI Cope with Modern Knowledge Graphs? --$$tMarkus Krötzsch --$$tLearning Implications from Data and from Queries /$$rSergei Obiedkov --$$tConcepts in Application Context /$$rSteffen Staab --$$tTheory --$$tDirect and Binary Direct Bases for One-Set Updates of a Closure System /$$rKira Adaricheva, Taylor Ninesling --$$tReduction and Introducers in d-contexts /$$rAlexandre Bazin, Giacomo Kahn --$$tDualization in Lattices Given by Implicational Bases /$$rOscar Defrain, Lhouari Nourine --$$t"Properties of Finite Lattices" by S. Reeg and W. Weiß, Revisited /$$rBernhard Ganter --$$tJoining Implications in Formal Contexts and Inductive Learning in a Horn Description Logic /$$rFrancesco Kriegel --$$tLattices of Orders /$$rChristian Meschke --$$tMethods and Applications --$$tOn-demand Relational Concept Analysis /$$rAlexandre Bazin, Jessie Carbonnel, Marianne Huchard, Giacomo Kahn, Priscilla Keip, Amirouche Ouzerdine --$$tMining Formal Concepts Using Implications Between Items /$$rAimene Belfodil, Adnene Belfodil, Mehdi Kaytoue --$$tEffects of Input Data Formalisation in Relational Concept Analysis for a Data Model with a Ternary Relation /$$rPriscilla Keip, Alain Gutierrez, Marianne Huchard, Florence Le Ber, Samira Sarter, Pierre Silvie et al. --$$tParallelization of the GreConD Algorithm for Boolean Matrix Factorization /$$rPetr Krajča, Martin Trnecka --$$tSimultaneous, Polynomial-Time Layout of Context Bigraph and Lattice Digraph /$$rTim Pattison, Aaron Ceglar --$$tUsing Redescriptions and Formal Concept Analysis for Mining Definitions in Linked Data /$$rJustine Reynaud, Yannick Toussaint, Amedeo Napoli --$$tEnhanced FCA --$$tA Formal Context for Closures of Acyclic Hypergraphs /$$rJaume Baixeries --$$tConcept Lattices as a Search Space for Graph Compression /$$rLucas Bourneuf, Jacques Nicolas --$$tA Relational Extension of Galois Connections /$$rInma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego --$$tShort Papers --$$tSampling Representation Contexts with Attribute Exploration /$$rVictor Codocedo, Jaume Baixeries, Mehdi Kaytoue, Amedeo Napoli --$$tDiscovering Implicational Knowledge in Wikidata /$$rTom Hanika, Maximilian Marx, Gerd Stumme --$$tA Characterization Theorem for Continuous Lattices by Closure Spaces /$$rGuozhi Ma, Lankun Guo, Cheng Yang --$$tOn Coupling FCA and MDL in Pattern Mining /$$rTatiana Makhalova, Sergei O. Kuznetsov, Amedeo Napoli --$$tA Study of Boolean Matrix Factorization Under Supervised Settings /$$rTatiana Makhalova, Martin Trnecka. 000891794 506__ $$aAccess limited to authorized users. 000891794 520__ $$a"This book constitutes the proceedings of the 15th International Conference on Formal Concept Analysis, ICFCA 2019, held in Frankfurt am Main, Germany, in June 2019. The 15 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The book also contains four invited contributions in full paper length. The field of Formal Concept Analysis (FCA) originated in the 1980s in Darmstadt as a subfield of mathematical order theory, with prior developments in other research groups. Its original motivation was to consider complete lattices as lattices of concepts, drawing motivation from philosophy and mathematics alike. FCA has since then developed into a wide research area with applications much beyond its original motivation, for example in logic, data mining, learning, and psychology."--Publisher's website. 000891794 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed July 4, 2019). 000891794 650_0 $$aComputer science$$xMathematics$$vCongresses. 000891794 650_0 $$aLogic, Symbolic and mathematical$$vCongresses. 000891794 650_0 $$aFormal methods (Computer science)$$vCongresses. 000891794 655_7 $$aConference papers and proceedings.$$2lcgft 000891794 7001_ $$aCristea, Diana,$$eeditor. 000891794 7001_ $$aLe Ber, Florence,$$eeditor. 000891794 7001_ $$aCellier, Peggy,$$eeditor. 000891794 7001_ $$aSertkaya, Baris,$$eeditor. 000891794 77608 $$iPrint version: $$z9783030214616 000891794 830_0 $$aLecture notes in computer science.$$pLecture notes in artificial intelligence ;$$v11511. 000891794 830_0 $$aLNCS sublibrary.$$nSL 7,$$pArtificial intelligence. 000891794 852__ $$bebk 000891794 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-21462-3$$zOnline Access$$91397441.1 000891794 909CO $$ooai:library.usi.edu:891794$$pGLOBAL_SET 000891794 980__ $$aEBOOK 000891794 980__ $$aBIB 000891794 982__ $$aEbook 000891794 983__ $$aOnline 000891794 994__ $$a92$$bISE