Since February 1995, he is with the German Research Center for Artificial
Intelligence (DFKI GmbH) in
Kaiserslautern. In the DFKI Intelligent
Engineering Systems department, he worked on knowledge representation
(description logics, constraints) and knowledge evolution (theory revision,
data mining) issues in the areas of technical configuration, production
planning, and knowledge-based scheduling.
Since 1996, he is a member of the DFKI Knowledge
Management department. As a researcher in the KnowMore
project (Knowledge Management for Learning Organizations) and as project
leader of the DFKI part of the European (ESPRIT) KNOWNET
project (Knowledge Management with Intranet technologies), he investigated
organizational, methodological, and technological issues for building Organizational
Memories. Special emphasis is laid upon the integration of collaboration
and coordination technologies (groupware, workflow), document management,
and formal knowledge processing (ontologies and metadata for conceptual
information retrieval). Since July 2000, he is the Project Director of
the European R&D project DECOR
(Delivery of Context-Sensitive Organizational Knowledge).
Since he is six years old, he practices as a dilettant :-) with more
or less success several kinds of sports (like apparatus gymnastics, jogging,
squash, and tennis) and does some honorary work for the gymnastic club
in the village he stems from, the Turnverein
Bierbach 1905 e.V. Currently he is a member of the team organizing
the German National Championships in Short Distance Orienteering in 2002
Knowledge Representation for Expert Systems and Corporate Memories
Maintenance of Declarative Knowledge: My main work in the DFKI project
VEGA was to investigate formally well-founded methods for the evolution
of declarative knowledge bases. This can be seen as a cooperation of KB
exploration and KB validation algorithms. The field of Theory Refinement
seems to be closely related. (1995-97).
Configuration: Together with Holger Wache and Harald Meyer auf'm
Hofe, we investigate use of logic-based knowledge-representation and inference
to tackle the AI problem class configuration. There remains a lot of work
until we have well-founded and efficient methods for real real-world
Constraints: I initiated and co-organized the 1. DFKI Workshop on
Constraint-Based Problem Solving (1996). More about the topic can be found
under the address of Harald
Meyer auf'm Hofe
Description Logics: As a student, I worked on tailoring logic-based
knowledge representation approaches to real-world technical domains (DFKI
projects ARC-TEC and TOOCON). This resulted in the hybrid knowledge compilation
laboratory COLAB. Especially, I implemented parts of the TAXON terminological
logic system (1990-94).
Machine Learning and Data Mining
Data Mining Algorithms: I supervised a student work (Karsten Schnittker)
investigating improvements of the relational learning algorithm
invented by Michael
Inductive Logic Programming: Together with Dr.
Knut Hinkelmann I supervised a diploma thesis (Elisabeth Daub) on performance
improvements for Inductive Logic Programming (1995/96).
Genetic Algorithms: I did some work on the GA-based Nearest-Neighbor-Classifier
GIGA which was invented and implemented by Matthias
Fuchs from the University of Kaiserslautern (1995/96).
Hydrology: in an informal cooperation with the University of Kaiserslautern,
Fachgebiet Wasserwirtschaft (Water Resource Management), we investigate
the use of fuzzy-constraints and heuristic search for improving infiltration
Engineering of Computer Based Systems (ECBS): in a cooperation with
the University of Karlsruhe,
für Mikrorechner und Automation (IMA), we investigate the use
of knowledge representation and knowledge evolution methods for ECBS (1995/96).