ICFCA 2009: Darmstadt, Germany

Sébastien Ferré, Sebastian Rudolph (Eds.): Formal Concept Analysis, 7th International Conference, ICFCA 2009, Darmstadt, Germany, May 21-24, 2009, Proceedings. Lecture Notes in Computer Science 5548 Springer 2009, ISBN 978-3-642-01814-5

Invited Talks

Franz Baader, Baris Sertkaya:
Usability Issues in Description Logic Knowledge Base Completion. 1-21
Daniel Borchmann, Bernhard Ganter:
Concept Lattice Orbifolds - First Steps. 22-37
Frithjof Dau:
The Advent of Formal Diagrammatic Reasoning Systems. 38-56
Luc De Raedt:
The Logic of Learning. 57
Rokia Missaoui, Léonard Kwuida:
What Can Formal Concept Analysis Do for Data Warehouses?. 58-65
Peter Øhrstrøm:
Time and Logic: A.N. Prior's Formal Analysis of Temporal Concepts. 66-81
Boris Wyssusek:
Can Ontology Inform Ontologies?. 82

Radim Belohlávek, Vilém Vychodil:
Factor Analysis of Incidence Data via Novel Decomposition of Matrices. 83-97
Raoul Medina, Lhouari Nourine:
A Unified Hierarchy for Functional Dependencies, Conditional Functional Dependencies and Association Rules. 98-113
Christian Meschke:
Robust Elements in Rough Set Abstractions. 114-129
Baris Sertkaya:
Some Computational Problems Related to Pseudo-intents. 130-145

Franz Baader, Felix Distel:
Exploring Finite Models in the Description Logic . 146-161
Jaume Baixeries, Laszlo Szathmary, Petko Valtchev, Robert Godin:
Yet a Faster Algorithm for Building the Hasse Diagram of a Concept Lattice. 162-177
Jens Kötters, Heinz Schmidt, David McG. Squire:
Context Graphs - Representing Formal Concepts by Connected Subgraphs. 178-193
Andrei Rimsa, Luis E. Zárate, Mark A. J. Song:
Handling Large Formal Context Using BDD - Perspectives and Limitations. 194-209

Radim Belohlávek, Niranjan Kulkarni, Vilém Vychodil:
A Novel Approach to Cell Formation. 210-223
Aurélie Bertaux, Florence Le Ber, Agnès Braud, Michèle Trémolières:
Identifying Ecological Traits: A Concrete FCA-Based Approach. 224-236
Claudio Carpineto, Carla Michini, Raffaele Nicolussi:
A Concept Lattice-Based Kernel for SVM Text Classification. 237-250
Mehdi Kaytoue-Uberall, Sébastien Duplessis, Sergei O. Kuznetsov, Amedeo Napoli:
Two FCA-Based Methods for Mining Gene Expression Data. 251-266
Telung Pan, Kwoting Fang:
Ontology-Based Formal Concept Differences Analysis in Radiology Report Impact by the Adoption of PACS. 267-283
Uta Priss, L. John Old:
Revisiting the Potentialities of a Mechanical Thesaurus. 284-298
Fritz Venter, Derrick G. Kourie, Bruce W. Watson:
FCA-Based Two Dimensional Pattern Matching. 299-313

Rudolf Wille:
Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts. 314-339