Sonstige wissenschaftliche Aktivitäten

Ich war und bin Gutachter für verschiedene Zeitschriften und Tagungen darunter Journal of Artificial Intelligence; Theoretical Computer Science; Journal of Symbolic Computation; International Conference on Automata, Languages and Programming; Conference on Automated Deduction; International Joint Conference on Artificial Intelligence; European Conference on Artificial Intelligence; Parallel Architectures and Languages Europe; Symposium on Theoretical Aspects of Computer Science; Artificial Intelligence -- Methodology, Systems, Applications; German Workshop on Artificial Intelligence.

Mitarbeit im DFG Projekt ``Berechenbarkeit''

(abgeschlossen).

Mitarbeit im ESPRIT Projekt ALPES

- Advanced Logic Programming Environments
(abgeschlossen).

Mitarbeit im ESPRIT Projekt MEDLAR

 
Mechanizing Deduction in the Logics of Practical Reasoning;
Projektmanagement für die TU Darmstadt; Beteiligt bei der Konzeption des erfolgreichen Antrags für das Nachfolgeprojekt MEDLAR II.

Kooperation mit LIFIA, Grenoble

, gefördert durch die DFG und CNRS.

Mitarbeit in der ESPRIT Working Group ProCos

 
Provably Correct Systems