PhD-Students

2003 | Hierarchical Contexual Reasoning | Saarland University

1996 | The Design of Intelligente Agents | Saarland University

1989 | Unifikation und Reduktionssysteme für Halbgruppenvarietäten | Friedrich-Alexander-University Erlangen-Nürnberg

1993 | Algorithms for Constraints in Deduction and Knowledge Representation | Saarland University

1985 | Algebraic Implementations in an Integrated Software Development and Verification System | University of Kaiserslautern

1988 | A Resolution Calculus for Modal Logics | University of Kaiserslautern

1999 | Equality and Extensionality in Automated Higher-Order Theorem Proving | Saarland University

1986 | Equality Reasoning Based on Graphs | University of Kaiserslautern

1992 | Integration of Rewriting, Narrowing, Compilation, and Heuristics for Equality Reasoning in Resolution-Based Theorem Proving | Saarland University

1995 | Terminological Formalisms in Knowledge Representation and Database Systems | Saarland University

1986 | Assoziatives Diagnostisches Problemlösen mit dem Expertensystem-Shell MED2| University of Kaiserslautern

1990 | A Resolution Principle for a Logic with Restricted Quantifiers | University of Kaiserslautern

2004 | Formal Methods for Real-Time Requirements Engineering | Saarland University

1988 | Completeness, Confluence and Related Properties of Clause Graph Resolution | University of Kaiserslautern

1995 | A Unifying Logical Framework for Reason Maintenance | Saarland University

2015 | Agentenbasierte marktliche Koordination von Wertschöpfungsnetzwerken | Saarland University

2001 | User-Adaptive Proof Explanation | Saarland University

2006 | Transformations of Specifications and Proofs to support an Evolutionary Formal Software Development | Saarland University

2003 | Intermodal Transport Chains: A Multiagent Systems Approach | Saarland University

1995 | Querying Knowledge and Data Bases by a Universal Description Logic with Recursion | Saarland University

2001 | Examiner’s Report – The model of token money

2010 | Granularity Analysis for Tutoring Mathematical Proofs | Saarland University

2005 | Flexible Kooperation zwischen Autonomen Agenten in Dynamischen Umgebungen | Saarland University

2004 | Multiagent Robustness: Autonomy vs. Organization | Saarland University

1999 | Self-Adaption and Scalability in Multi-Agent Societies | Saarland University

1988 | Computational Aspects of an Order-Sorted Logic with Term Declarations | University of Kaiserslautern

2010 | ACTIVEMATH – Generation and Reuse of Interactive Exercises using Domain Reasoners and Automated Strategies | Saarland University

1987 | CONSAT: A System for Constraint Satisfaction | University of Kaiserslautern

2006 | Modellierung und Analyse individuellen Konsumentenverhaltens mit probabilistischen Holonen | Saarland University

1987 | Combination of Unification Algorithms in Equational Theories | University of Kaiserslautern

1996 | Induction on Non-Freely Generated Data Types | Saarland University

1987 | Zur Verifikation von modular zerlegten Programmen | University of Kaiserslautern

1989 | Logic Programming over Polymorphically Order-Sorted Types| University of Kaiserslautern

1994 | Algorithmic Foundations of Terminological Knowledge Representation Systems | Saarland University

1990 | Simplification and Reduction for Automated Theorem Proving | University of Kaiserslautern

1996 | Human Oriented Proof Presentation: A Reconstructive Approach | Saarland University

2012 | Multi-Agent Communication for the Realization of Business-Processes| Saarland University

1999 | Theory and Practice of Hybrid Agents | Saarland University

2001 | W-Ants – A Blackboard Architecture for the Integration of Reasoning Techniques into Proof Planning| Saarland University

1992 | On the Representation of Mathematical Concepts and their Translation into First-Order Logic | University of Kaiserslautern

2006 | SimMarket: Simulation des Abkaufsverhaltens von Artikeln des Einzelhandels mit probabilitischen Agenten | Saarland University

1994 | A Mechanization of Sorted Higher-Order Logic Based on the Resolution Priciple | Saarland University

1993 | Logische Räume

2000 | Model Generation for Natural Language Interpretation and Analysis | Saarland University

1988 | Structuring of Models and Reasoning about Quantities in Qualitative Physics | Universität Kaiserslautern

1995 | Contraints and Modalities in Terminological Knowledge Representation Systems | Saarland University

1982 | Unifikationstheorie erster Ordnung | University of Karlsruhe

2012 | Authoring of Semantic Mathematical Content for Learning on the Web | Saarland University

2009 | MENON: Automating a Socratic Teaching Model for Mathematical Proofs | Saarland University

2000 | MASSIVE: Software Engineering for Multiagent Systems | Saarland University

2007 | Course Generation as a Hierarchical Task Network Planning Problem | Saarland University

1990 | Transformation and Structuring of Computer Generated Proofs | Universität Kaiserslautern

2000 | TELETRUCK. A Holonic Multi-Agent System for Telematics | Saarland University

1995 | Kooperative Mensch-Maschine Arbeit – Ein Modellierungsumsatz und dessen Umsetzung im Rahmen des Systems MEKKA | Saarland University

1991 | Coordinating Plans of Autonomous Agents | Saarland University

2003 | A Uniform Framework for the Formal Specification and Verification of Information Flow Security | Saarland University

1985 | Algebraic Specifications in an Integrated Software Development and Verification System | University of Kaiserslautern

2003 | Proof Planning with Multiple Strategies | Saarland University | mit Erica Melis

2010 | A Change-Oriented Architecture for Mathematical Authoring Assistance | Saarland University

2012 | A Model-Driven Approach for Organizations in Multiagents Systems | Saarland University

1984 | Ein mehrsortiger Resolutionskalkül mit Paramodulation | University of Kaiserslautern

1988 | Theorembeweisen mit Rewrite-Techniken. Methode, Strategien und Vergleiche | University of Kaiserslautern

2008 | MathServe – A Framework for Semantic Reasoning Services | Saarland University