05468nam 22007455 450 99646628290331620200703221949.03-030-21462-110.1007/978-3-030-21462-3(CKB)4100000008424402(DE-He213)978-3-030-21462-3(MiAaPQ)EBC5918486(PPN)242823548(EXLCZ)99410000000842440220190522d2019 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierFormal Concept Analysis[electronic resource] 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019, Proceedings /edited by Diana Cristea, Florence Le Ber, Baris Sertkaya1st ed. 2019.Cham :Springer International Publishing :Imprint: Springer,2019.1 online resource (XIII, 349 p. 560 illus., 33 illus. in color.) Lecture Notes in Artificial Intelligence ;115113-030-21461-3 Includes bibliographical references and index.Invited papers -- Elements about Hybrid, Exploratory, and Explainable Knowledge Discovery -- Too Much Information: Can AI Cope With Modern Knowledge Graphs -- Learning Implications from Data and from Queries -- Concepts in Application Context -- Theory -- Direct and Binary Direct Bases for One-set Updates of a Closure System -- Dualization in lattices given by implicational bases -- Properties of Finite Lattices -- Joining Implications in Formal Contexts and Inductive Learning in a Horn Description Logic -- Methods and Applications -- On-demand Relational Concept Analysis -- Mining Formal Concepts using Implications between Items -- Effects of Input Data Formalisation in Relational Concept Analysis for a Data Model with a Ternary Relation -- Parallelization of the GreConD Algorithm for Boolean Matrix Factorization -- Simultaneous, polynomial-time layout of Context Bigraph and Lattice Digraph -- Using Redescriptions and Formal Concept Analysis for Mining Definitions in Linked Data -- Enhanced FCA -- A Formal Context for Closures of Acyclic Hypergraphs -- Concept lattices as a search space for graph compression -- A relational extension of Galois Connections -- Short Papers -- Sampling Representation Contexts with Attribute Exploration -- Discovering Implicational Knowledge in Wikidata -- A characterization theorem for continuous lattices by closure spaces -- On Coupling FCA and MDL in Pattern Mining -- A Study of Boolean Matrix Factorization Under Supervised Settings.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.Lecture Notes in Artificial Intelligence ;11511Artificial intelligenceDatabase managementData miningMathematical logicApplication softwareNumerical analysisArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Database Managementhttps://scigraph.springernature.com/ontologies/product-market-codes/I18024Data Mining and Knowledge Discoveryhttps://scigraph.springernature.com/ontologies/product-market-codes/I18030Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Computer Appl. in Administrative Data Processinghttps://scigraph.springernature.com/ontologies/product-market-codes/I2301XNumeric Computinghttps://scigraph.springernature.com/ontologies/product-market-codes/I1701XArtificial intelligence.Database management.Data mining.Mathematical logic.Application software.Numerical analysis.Artificial Intelligence.Database Management.Data Mining and Knowledge Discovery.Mathematical Logic and Formal Languages.Computer Appl. in Administrative Data Processing.Numeric Computing.004.0151Cristea Dianaedthttp://id.loc.gov/vocabulary/relators/edtLe Ber Florenceedthttp://id.loc.gov/vocabulary/relators/edtSertkaya Barisedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466282903316Formal Concept Analysis772457UNISA