Forschungszentrum Begriffliche Wissensverarbeitung
Program
Thursday February 27, 2003; 9 am 7.00 pm
|
9.00 |
Bernhard Ganter |
Contextual Attribute Logic and Many-Valued Contexts |
|
9.45 |
Serge Kutznetsov |
Russian Schools of Taxonomy and Data Analysis: Approaches Based on Order and Lattice Theory |
|
10.30 11.20 |
Coffee and Tea |
|
|
11.20 |
Peter Becker/ |
Dimensional Representations of Concept Lattices |
|
11.45 |
Bastian Wormuth |
Establishing TOSCANA-Systems: Experiences of a TOSCANA Consultant |
|
12.10 |
Richard Holzer/ Peter Burmeister |
Incomplete Knowledge in Formal Concept Analysis
|
|
12.35 |
Katja Lengnink |
Polythetic Concepts Derived from Similarity Data |
|
1.00 3.00 |
Lunchbreak |
|
|
3 pm |
Claudio Carpineto |
Using Concept Lattices for Contextual Information Retrieval |
|
3.45 |
Uta Priss |
Linguistic Applications of Formal Concept Analysis |
|
4.30 5.00 |
Coffee and Teabreak |
|
|
5.00 |
John Old |
Visualization of Word Meanings Using Formal Concept Analysis and Concept Lattices |
|
5.25 |
Veronique Ventos Nathalie Pernelle, Henri Soldans, |
Alpha-Galois Lattices for Conceptual Clustering |
|
5.50 |
Engelbert Mephu Nguifo |
Supervised Classification on Formal Concept Analysis |
|
6.15 |
Samir Elloumi, Ali Jaoua |
Concept Data Reduction |
|
6.40 7.00 |
Anne Berry, Alain Sigayret |
Concept Lattices and Domination in Graphs |
|
9.00 |
Reception in Room S103/100 |
|
Friday February 28, 2003; 9.00 am 6.40 pm
|
9.00 |
Peter Eklund, Richard Cole |
A Survey of Formal Concept Analysis Support for Software Engineering Activities |
|
9.45 |
Gerd Stumme |
Ontology Engineering with Formal Concept Analysis |
|
10.30 11.20 |
Coffee and Teabreak |
|
|
11.20 |
Chiraz Latiri, Sadik Ben Yahia, Guy Mineau |
Conceptual non-redudant Association Rules Discovery: Application to Query Expansion |
|
11.45 |
Julien Tane |
Ontology Interaction: A Formal Concept Analysis Approach |
|
12.10 |
Sadok Ben Yahia, Petko Valtchev, Mohammed Hacene, Guy Mineau |
Extracting Rules from Generic Concept Intents: The Case of Fuzzy Association Rules |
|
12.35 |
Michel Liquiere |
Description, Classification and Associated Rules |
|
1.00 3.00 |
Lunchbreak |
|
|
3 pm |
Vincent Duquenne |
GLAD: A Program for General lattice Analysis and Design |
|
3.45 |
Karl Erich Wolff |
A Conceptual Granularity Theory for Objects in Time and Space |
|
4.30 5.00 |
Coffee and Teabreak |
|
|
5.00 |
Wendsomde Yameogo, |
Conceptual Relational Time Systems |
|
5.25 |
Frithjof Dau, Julia Klinger |
From Formal Concept Analysis to Contextual Logic |
|
5.50 |
Bj๖rn Vormbrock, Rudolf Wille |
Semiconcept and Protoconcept Algebras: The Basic Theorems |
|
6.15 |
Leonard Kwuida, Bernhard Ganter |
Representing Weak Dicomplementations on Finite Distributive Lattices |
|
7.30 |
Dinner in Ratskeller, Marktplatz 8 |
|
Saturday March 1, 2003; 9 am 5.30 pm
|
9 am |
Robert Godin |
Formal Concept Analysis Based Normal Forms for Class Hierarchy Design in Object-Oriented Software Development |
|
9.45 |
Georg Snelting |
Concept Lattices in Software Technology |
|
10.30 11.20 |
Coffee and Teabreak |
|
|
11.20 |
Wolfgang Hesse |
Formal Concept Analysis used for Object-oriented Software Modelling |
|
11.45 |
Pascal Hitzler, Matthias Wendt |
Logic Programming on Domains and Formal Concept Analysis |
|
12.10 |
Petko Valtchev, Mohammed Hacene |
Online Lattice Maintenance Tools for the Design of Flexible Formal Concept Analysis Tools |
|
12.35 |
Huaigo Fu, Engelbert Mephu Nguifo |
How well go Lattice Algorithms on Currently used Machine Learning Testbeds |
|
1.00 3.00 |
Lunchbreak |
|
|
3.00 |
Special Session on the occasion of the 10th Birthday of the ESZ |
|
|
3.15 |
Rudolf Wille |
Formal Concept Analysis as Mathematical Theory of Concepts and Concept Hierarchies |
|
4.00 |
Robert Brandom |
Conceptual Content and Discursive Practice |
|
4.45 5.30 |
Concluding Session |
|