PhD-Students – Jörg Siekmann

This are the students who obtained their doctorat under Jörg´s supervision, underneath is a list of those students who also obtained their “Habilitation”.

Hold (mobile: click) with the cursor on a name to see more information: (year | thesis | university.)

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

*Habiltation

Baader, Franz	Kohlhase, Michael
Benzmüller, Christoph	Melis, Erica
Klusch, Matthias	Schlechta, Karl

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