|
| Monday, February 23, 2004 |
|
1800 |
Drinks and light food at the conference venue |
|
| Tuesday, February 24, 2004 |
|
| Session Chair: Paul Compton |
| 900 |
915 |
Opening Ceremony and Official Welcome -
Professor Brendon Parker (Dean of Engineering, UNSW)
|
| 915 |
1000 |
Rudolf Wille, Preconcept Algebras and
Generalized Double Boolean Algebras
|
| 1000 |
1030 |
Morning Tea Break |
|
| Session Chair Gerd Stumme |
| 1030 |
1105 |
Joachim Hereth Correia and Julia Klinger,
Protoconcept Graphs: The Lattice of Conceptual Contents
|
| 1105 |
1140 |
Uta Priss, Signs and Formal Concepts |
| 1140 |
1205 |
Joachim Hereth Correia and Tim B. Kaiser, A
Mathematical Model for TOSCANA-Systems: Conceptual Data
Systems
|
| 1205 |
1230 |
Sebastien Ferre and Ross D. King, BLID: an
Application of Logical Information Systems to Bioinfomatics
|
| 1230 |
1330 |
Lunch |
|
| Session Chair Rudolf Wille |
| 1330 |
1415 |
Brian A. Davey, Formal Concept Analysis: Its
role in teaching lattice theory
|
| 1415 |
1455 |
Peter Eklund, Jon Ducrou and Peter Brawn,
Concept lattices for Information Visualization: Can Novices Read
Line-Diagrams?
|
| 1455 |
1530 |
Juan M. Cigarran Recuero, Browsing search
results via Formal Concept Analysis: automatic selection of
attributes
|
| 1530 |
1600 |
Afternoon Tea |
|
| Session Chair Petko Valtchev |
| 1600 |
1625 |
Ben Martin, Formal Concept Analysis and Semantic
File Systems
|
| 1625 |
1650 |
Peter Becker, Numerical Analysis in Conceptual
Systems with ToscanaJ
|
| 1650 |
1715 |
Thomas Tilley, Tool Support for FCA |
| 1715 |
1800 |
Ralph Freese, Automated Lattice Drawing |
|
1800 |
Close |
|
| Wednesday February 25, 2004 |
|
| Session Chair: Peter Eklund |
| 915 |
1000 |
Bernhard Ganter, Congruences of Finite
Distributive Concept Algebras
|
| 1000 |
1030 |
Morning Tea Break |
|
| Session Chair: Bernhard Ganter |
| 1030 |
1105 |
Leonhard Kwuida, When is a Concept Algebra
Boolean?
|
| 1105 |
1140 |
Frithjof Dau, Background Knowledge in Concept
Graphs
|
| 1140 |
1205 |
Peter Becker and Richard Cole, Agreement
Contexts in Formal Concept Analysis
|
| 1205 |
1230 |
Karl Erich Wolff, Towards a Conceptual Theory of
Indistinguishable Objects
|
| 1230 |
1330 |
Lunch |
|
| Session Chair: Uta Priss |
| 1330 |
1415 |
Philipp Cimiano, Andreas Hotho, Gerd Stumme,
Julien Tane, Conceptual Knowledge Processing with Formal Concept
Analysis and Ontologies
|
| 1415 |
1450 |
Bjoern Vormbrock, A First Step Towards
Protoconcept Exploration
|
| 1455 |
1530 |
Tim B. Kaiser and Stefan E. Schmidt, Geometry of
Data Tables
|
| 1530 |
1600 |
Afternoon Tea |
|
| Session Chair: Karl Erich Wolf |
| 1600 |
1625 |
Jean Diatta, Concept Extensions and Weak
Clusters associated with Multiway dissimilarity Measures
|
| 1625 |
1650 |
John Old, Unlocking the Semantics of
Roget's Thesaurus Using Formal Concept
Analysis
|
| 1650 |
1715 |
Yannis Kalfoglou, Srinandan Dasmahapatra and and
Yun-Heh Chen-Burger, FCA Experiences and Opportunities with
Knowledge Technologies
|
| 1715 |
1800 |
Franz Baader and Baris Sertkaya, Applying Formal
Concept Analysis to Description Logic
|
|
1800 |
Close |
|
| Thursday February 26, 2004 |
|
| Session Chair: Peter Eklund |
| 915 |
1000 |
Sergei O. Kuznetsov, Machine Learning and Formal
Concept Analysis
|
| 1000 |
1030 |
Morning Tea Break |
|
| Session Chair: Richard Cole |
| 1030 |
1105 |
Huaiyo Fu, Huaiguo Fu, Patrick Njiwoua,
Engelbert Mephu Nguifo , A Comparative Study of FCA-based
Supervised Classifier Algorithms
|
| 1105 |
1130 |
Peter Busch, Debbie Richards, Modelling Tacit
Knowledge via Questionnaire Data
|
| 1130 |
1205 |
Michael Bain, Predicate Invention and the
Revision of First Order Concept Lattices
|
| 1205 |
1230 |
Joachim Hereth Correia and Reinhard
Pöschel, The Power of Peircean Algebraic Logic
(PAL)
|
| 1230 |
1330 |
Lunch |
|
| Session Chair: Engelbert Mephu Nguifo |
| 1330 |
1415 |
Petko Valtchev, Rokia Missaoui, Robert Godin,
Formal Concept Analysis for Knowledge and Data Discovery: The New
Challenges
|
| 1415 |
1440 |
FJ (Dean) van der Merwe, S. Obiedkov, and DG
Kourie, AddIntent: A New Incremental Algorithm for Constructing
Concept Lattices
|
| 1440 |
1505 |
Peter A. Grigoriev and Serhiy A. Yevtushenko,
QuDA: Applying Formal Concept Analysis in a Data Mining
Environment
|
| 1505 |
1530 |
Huaiguo Fu and Engelbert Mephu Nguifo, A
parallel algorithm to generate formal concepts for large
data
|
| 1530 |
1555 |
Debbie Richards, Using Concept Lattices for
Requirements Reconciliation
|
| 1600 |
1610 |
Best paper Award and Close - Presented by
Professor Paul Compton
|
| 1700 |
2000 |
Harbour Cruise - pickup point is Circular Quay -
Cruise leaves 17.30 sharp.
|
