Hier finden Sie eine Auflistung der Studenten (Jahr | Doktorarbeit | Universität), die das Doktorat erhalten haben.
Darunter finden Sie eine Auflistung der Studenten, die eine Habilitation abgelegt haben.
| Autexier, Serge
2003 | Hierarchical Contexual Reasoning | Universität des Saarlandes |
Müller, Jörg
1996 | The Design of Intelligente Agents | Universität des Saarlandes |
| Baader, Franz
1989 | Unifikation und Reduktionssysteme für Halbgruppenvarietäten | Friedrich-Alexander-Universität Erlangen-Nürnberg |
Nutt-Wahlmann, Werner
1993 | Algorithms for Constraints in Deduction and Knowledge Representation | Universität des Saarlandes |
| Beierle, Christoph
1985 | Algebraic Implementations in an Integrated Software Development and Verification System | Universität Kaiserslautern |
Ohlbach, Hans Jürgen
1988 | A Resolution Calculus for Modal Logics | Universität Kaiserslautern |
| Benzmüller, Christoph
1999 | Equality and Extensionality in Automated Higher-Order Theorem Proving | Universität des Saarlandes |
Pischel, Markus |
| Bläsius, Karl Hans
1986 | Equality Reasoning Based on Graphs | Universität Kaiserslautern |
Präcklein, Axel
1992 | Integration of Rewriting, Narrowing, Compilation, and Heuristics for Equality Reasoning in Resolution-Based Theorem Proving | Universität des Saarlandes |
| Buchheit, Martin
1995 | Terminological Formalisms in Knowledge Representation and Database Systems | Universität des Saarlandes |
Puppe, Frank
1986 | Assoziatives Diagnostisches Problemlösen mit dem Expertensystem-Shell MED2| Universität Kaiserslautern |
| Bürckert, Hans-Jürgen
1990 | A Resolution Principle for a Logic with Restricted Quantifiers | Universität Kaiserslautern |
Rock, Georg
2004 | Formal Methods for Real-Time Requirements Engineering | Universität des Saarlandes |
| Eisinger, Norbert
1988 | Completeness, Confluence and Related Properties of Clause Graph Resolution | Universität Kaiserslautern |
Ruggeri, Rosa |
| Fehrer, Detlef
1995 | A Unifying Logical Framework for Reason Maintenance | Universität des Saarlandes |
Ruß, Christian
2015 | Agentenbasierte marktliche Koordination von Wertschöpfungsnetzwerken | Universität des Saarlandes |
| Fiedler, Armin
2001 | User-Adaptive Proof Explanation | Universität des Saarlandes |
Schairer, Axel
2006 | Transformations of Specifications and Proofs to support an Evolutionary Formal Software Development | Universität des Saarlandes |
| Funk, Petra
2003 | Intermodal Transport Chains: A Multiagent Systems Approach | Universität des Saarlandes |
Schild, Klaus
1995 | Querying Knowledge and Data Bases by a Universal Description Logic with Recursion | Universität des Saarlandes |
| Furche, Andreas
2001 | Examiner’s Report – The model of token money |
Schiller, Marvin
2010 | Granularity Analysis for Tutoring Mathematical Proofs | Universität des Saarlandes |
| Gerber, Andreas
2005 | Flexible Kooperation zwischen Autonomen Agenten in Dynamischen Umgebungen | Universität des Saarlandes |
Schillo, Michael
2004 | Multiagent Robustness: Autonomy vs. Organization | Universität des Saarlandes |
| Gerber, Christian
1999 | Self-Adaption and Scalability in Multi-Agent Societies | Universität des Saarlandes |
Schmidt-Schauß, Manfred
1988 | Computational Aspects of an Order-Sorted Logic with Term Declarations | Universität Kaiserslautern |
| Goguadze, Giorgi
2010 | ACTIVEMATH – Generation and Reuse of Interactive Exercises using Domain Reasoners and Automated Strategies | Universität des Saarlandes |
Schupeta, Achim |
| Güsgen, Hans-Werner
1987 | CONSAT: A System for Constraint Satisfaction | Universität Kaiserslautern |
Schwaiger, Arndt
2006 | Modellierung und Analyse individuellen Konsumentenverhaltens mit probabilistischen Holonen | Universität des Saarlandes |
| Herold, Alexander
1987 | Combination of Unification Algorithms in Equational Theories | Universität Kaiserslautern |
Sengler, Claus
1996 | Induction on Non-Freely Generated Data Types | Universität des Saarlandes |
| Hohlfeld, Bernhard
1987 | Zur Verifikation von modular zerlegten Programmen | Universität Kaiserslautern |
Smolka, Gert
1989 | Logic Programming over Polymorphically Order-Sorted Types| Universität Kaiserslautern |
| Hollunder, Bernhard
1994 | Algorithmic Foundations of Terminological Knowledge Representation Systems | Universität des Saarlandes |
Socher-Ambrosius, Rolf
1990 | Simplification and Reduction for Automated Theorem Proving | Universität Kaiserslautern |
| Huang, Xiaoxong
1996 | Human Oriented Proof Presentation: A Reconstructive Approach | Universität des Saarlandes |
Soto, Esteban Léon
2012 | Multi-Agent Communication for the Realization of Business-Processes| Universität des Saarlandes |
| Jung, Christoph
1999 | Theory and Practice of Hybrid Agents | Universität des Saarlandes |
Sorge, Volker
2001 | W-Ants – A Blackboard Architecture for the Integration of Reasoning Techniques into Proof Planning| Universität des Saarlandes |
| Kerber, Manfred
1992 | On the Representation of Mathematical Concepts and their Translation into First-Order Logic | Universität Kaiserslautern |
Stahmer, Björn Patrick
2006 | SimMarket: Simulation des Abkaufsverhaltens von Artikeln des Einzelhandels mit probabilitischen Agenten | Universität des Saarlandes |
| Kohlhase, Michael
1994 | A Mechanization of Sorted Higher-Order Logic Based on the Resolution Priciple | Universität des Saarlandes |
Steffens, Hans-Jürgen
1993 | Logische Räume |
| Konrad, Karsten
2000 | Model Generation for Natural Language Interpretation and Analysis | Universität des Saarlandes |
Struß, Peter
1988 | Structuring of Models and Reasoning about Quantities in Qualitative Physics | Universität Kaiserslautern |
| Laux, Armin
1995 | Contraints and Modalities in Terminological Knowledge Representation Systems | Universität des Saarlandes |
Szabó, Peter
1982 | Unifikationstheorie erster Ordnung | Universität Karlsruhe |
| Libbrecht, Paul
2012 | Authoring of Semantic Mathematical Content for Learning on the Web | Universität des Saarlandes |
Tsovaltzi, Dimitra
2009 | MENON: Automating a Socratic Teaching Model for Mathematical Proofs | Universität des Saarlandes |
| Lind, Jürgen
2000 | MASSIVE: Software Engineering for Multiagent Systems | Universität des Saarlandes |
Ullrich, Carsten
2007 | Course Generation as a Hierarchical Task Network Planning Problem | Universität des Saarlandes |
| Lingenfelder, Christoph
1990 | Transformation and Structuring of Computer Generated Proofs | Universität Kaiserslautern |
Vierke, Gero
2000 | TELETRUCK. A Holonic Multi-Agent System for Telematics | Universität des Saarlandes |
| Lux, Andreas
1995 | Kooperative Mensch-Maschine Arbeit – Ein Modellierungsumsatz und dessen Umsetzung im Rahmen des Systems MEKKA | Universität des Saarlandes |
von Martial, Frank
1991 | Coordinating Plans of Autonomous Agents | Universität des Saarlandes |
| Mantel, Heiko
2003 | A Uniform Framework for the Formal Specification and Verification of Information Flow Security | Universität des Saarlandes |
Voss, Angelika
1985 | Algebraic Specifications in an Integrated Software Development and Verification System | Universität Kaiserslautern |
| Meier, Andreas
2003 | Proof Planning with Multiple Strategies | Universität des Saarlandes | mit Erica Melis |
Wagner, Marc
2010 | A Change-Oriented Architecture for Mathematical Authoring Assistance | Universität des Saarlandes |
| Mora, Christián Madrigal
2012 | A Model-Driven Approach for Organizations in Multiagents Systems | Universität des Saarlandes |
Walther, Christoph
1984 | Ein mehrsortiger Resolutionskalkül mit Paramodulation | Universität Karlsruhe |
| Müller, Heinz Jürgen
1988 | Theorembeweisen mit Rewrite-Techniken. Methode, Strategien und Vergleiche | Universität Kaiserslautern |
Zimmer, Jürgen
2008 | MathServe – A Framework for Semantic Reasoning Services | Universität des Saarlandes |
*Habilitation
| Baader, Franz | Kohlhase, Michael |
| Benzmüller, Christoph | Melis, Erica |
| Klusch, Matthias | Schlechta, Karl |