- Born in 1961 I grew up in Delkenheim
(between Wiesbaden and Frankfurt).
After my Abitur at Gutenberg-Schule (Wiesbaden) I studied mathematics
and physics at the University of Mainz and at the University of Heidelberg
(1980-1986). Then I switched to computer science and
did my PhD in 1992 at Karlsruhe
University (Prof. Dr. Peter Schmitt).
From 1994-2000 I held the position of a Wissenschaftlicher Assistent
(Assistant professor (C1)) at Koblenz University.
During 1999 (being on leave from Koblenz), I
was Visiting Professor at the University of Maryland).
From 2001-2004 I was Reader for the foundations of logic and knowledge
representation in the Computer Science Department of The
University of Manchester (Associate Professor).
- Since 2004 I am Full Professor at the Technical University of Clausthal, Germany. I am heading the newly created Chair for Computational Intelligence.
Since 1996 I am also member of the
Institute for Informationsystems at the Technical University
of Vienna (where I did my habilitation in 1996) and, since 2004, I am honorary member of the Computer Science Department of The
University of Manchester.
- After working in
several areas of Computational Logic
(nonmonotonic reasoning, logic programming, deductive databases,
knowledge representation), I am also involved in Multi-Agent Reasoning since 1998.
- I published more than 150 technical papers: among them more than
50 papers in refereed journals and books and more than 40 papers at refereed conferences.
I have coauthored two monographs
(Nonmonotonic Reasoning
(Cambridge University Press),
Heterogenous Active Agents (MIT Press))
and 4 invited chapters in books.
In addition, I edited 8 books (Springer LNCS series)
and 5 special issues of the Annals of Mathematics and AI.
I have organised various international workshops and conferences and several
Dagstuhl seminars.
- I have been
invited for more than 50 talks/tutorials and have given
regular classroom lectures for longer terms in Germany, USA, Austria, Argentina, Australia and the UK. I am on the Editorial Board of AI Communications: The European
Journal of Artificial Intelligence, of
Annals of Mathematics and Artificial Intelligence (AMAI) as well as of
Journal of applied Logic.
I was Member and Coordinating Node of Agentlink II
for The University of Manchester.
- Here is my small CV together with
selected publications from the past 4 years.
- Nonmonotonic Reasoning
- Knowledge Representation
- (Disjunctive) Logic Programming
- Deductive Databases
- Computational Logic
- (Multi-) Agent Reasoning
Please visit the following related research projects:
- Habilitation in Information Systems, TU Vienna, 1996
- Thesis: Disjunctive Deductive Databases: Theoretical Foundations and Implementation
- Title: Univ.-Doz.
- PhD in Computer Science, University of Karlsruhe, 1992
- Thesis: Nonmonotonic reasoning and semantics of logic programs
- Title: Dr. rer. nat.
- Grade: summa cum laude
- Diploma in Mathematics, University of Heidelberg, 1986
- Thesis: Model-theory of (ultra-) metric vector spaces
- Title: Dipl.-Math.
- Grade: sehr gut
- Abitur, Gutenberg-Gymnasium Wiesbaden, 1979
- Grade: 1.0
- Nonmonotonic Reasoning
(SS 94, 95, 96, 97),
Skriptum in deutsch
- Deductive Databases (WS 94/95, WS 95/96)
- Artificial Intelligence (WS 95/96, 96/97),
Skriptum in deutsch
- Computational Logic und Wissensrepraesentation WS 97/98 in Vienna (October/November)
- Knowledge Discovery, Machine Learning und Data Mining WS 97/98 in Koblenz
- Maschinelles Lernen und Data Mining
SS 98 in Koblenz
- Knowledge Representation in NMR and LP SS 98 (April) in Bahia Blanca
- DATA MINING und INTELLIGENT WEB SEARCH
WS 98/99 in Koblenz
- Algorithms and Complexity Spring 99 at
UMD
- Multi-Agenten Systeme
WS 99/00 in Koblenz
- Multi-Agenten Systeme
SS 2000 in Wien
- General Multi-Agent Systems
Sept. 2000
Bahia Blanca, Argentina
- Heterogenous Active Agents
Oct. 2000
Ushuaia, Argentina
- Multi-Agenten Systeme
WS 00/01 in Koblenz
- Advanced Algorithms
2nd semester 01/02 in Manchester
- Advanced Algorithms
CS3172
- Knowledge Representation and Reasoning
CS 616
- Agents, ASP and Planning (NICTA, Sydney, Summer 2003)