Description |
1 online resource (xiii, 349 pages) : illustrations |
Series |
Lecture notes in artificial intelligence, 0302-9743 ; 11511 |
|
LNCS sublibrary. SL 7, Artificial intelligence |
|
Lecture notes in computer science. Lecture notes in artificial intelligence ; 11511
|
|
LNCS sublibrary. SL 7, Artificial intelligence
|
Contents |
Invited Papers -- Elements About Exploratory, Knowledge-Based, Hybrid, and Explainable Knowledge Discovery / Miguel Couceiro, Amedeo Napoli -- Too Much Information: Can AI Cope with Modern Knowledge Graphs? -- Markus Krötzsch -- Learning Implications from Data and from Queries / Sergei Obiedkov -- Concepts in Application Context / Steffen Staab -- Theory -- Direct and Binary Direct Bases for One-Set Updates of a Closure System / Kira Adaricheva, Taylor Ninesling -- Reduction and Introducers in d-contexts / Alexandre Bazin, Giacomo Kahn -- Dualization in Lattices Given by Implicational Bases / Oscar Defrain, Lhouari Nourine -- "Properties of Finite Lattices" by S. Reeg and W. Weiß, Revisited / Bernhard Ganter -- Joining Implications in Formal Contexts and Inductive Learning in a Horn Description Logic / Francesco Kriegel -- Lattices of Orders / Christian Meschke -- Methods and Applications -- On-demand Relational Concept Analysis / Alexandre Bazin, Jessie Carbonnel, Marianne Huchard, Giacomo Kahn, Priscilla Keip, Amirouche Ouzerdine -- Mining Formal Concepts Using Implications Between Items / Aimene Belfodil, Adnene Belfodil, Mehdi Kaytoue -- Effects of Input Data Formalisation in Relational Concept Analysis for a Data Model with a Ternary Relation / Priscilla Keip, Alain Gutierrez, Marianne Huchard, Florence Le Ber, Samira Sarter, Pierre Silvie et al. -- Parallelization of the GreConD Algorithm for Boolean Matrix Factorization / Petr Krajča, Martin Trnecka -- Simultaneous, Polynomial-Time Layout of Context Bigraph and Lattice Digraph / Tim Pattison, Aaron Ceglar -- Using Redescriptions and Formal Concept Analysis for Mining Definitions in Linked Data / Justine Reynaud, Yannick Toussaint, Amedeo Napoli -- Enhanced FCA -- A Formal Context for Closures of Acyclic Hypergraphs / Jaume Baixeries -- Concept Lattices as a Search Space for Graph Compression / Lucas Bourneuf, Jacques Nicolas -- A Relational Extension of Galois Connections / Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego -- Short Papers -- Sampling Representation Contexts with Attribute Exploration / Victor Codocedo, Jaume Baixeries, Mehdi Kaytoue, Amedeo Napoli -- Discovering Implicational Knowledge in Wikidata / Tom Hanika, Maximilian Marx, Gerd Stumme -- A Characterization Theorem for Continuous Lattices by Closure Spaces / Guozhi Ma, Lankun Guo, Cheng Yang -- On Coupling FCA and MDL in Pattern Mining / Tatiana Makhalova, Sergei O. Kuznetsov, Amedeo Napoli -- A Study of Boolean Matrix Factorization Under Supervised Settings / Tatiana Makhalova, Martin Trnecka |
Summary |
"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 |
Notes |
International conference proceedings |
Bibliography |
Includes bibliographical references |
Notes |
Includes author index |
|
Online resource; title from PDF title page (SpringerLink, viewed July 4, 2019) |
Subject |
Computer science -- Mathematics -- Congresses
|
|
Logic, Symbolic and mathematical -- Congresses
|
|
Formal methods (Computer science) -- Congresses
|
|
Computer science -- Mathematics
|
|
Formal methods (Computer science)
|
|
Logic, Symbolic and mathematical
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Cristea, Diana, editor
|
|
Le Ber, Florence, editor
|
|
Cellier, Peggy, editor
|
|
Sertkaya, Baris, editor
|
ISBN |
9783030214623 |
|
3030214621 |
|