Supervision

PHD Students

Ongoing

• Bernhard Lorenz
  Simulationsverfahren für einen Autosimulator bei BMW.

Completed

• Martin Weigele
  Ein regelbasiertes Klauselgraph Beweisverfahren
• Joachim Posegga
  Using Deduction Graphs as Representation for Resolution Proofs
• Thomas Bareiß und Hans Jürgen Wagner
  Termsimplifikation und Theorieresolution
• Andreas Bold
  Eine objektorientierte Erweiterung von Common Lisp
• Michael Centner
  Simplifikation von prädikatenlogischen Formeln
• Detlef Fehrer
  Ein Resolutionskalkül für eine Logik mit unscharf definierten Prädikaten
• Christoph Weidenbach
  A Resolution Calculus with Dynamic Sorts and Partial Functions
• Martin Schmude
  Eindeutigkeit und Vollständigkeit zweistelliger Relationen - ein Entscheidungsverfahren für eingeschränkte Fälle
• Peter Breuer
  Distributed Planning for Autonomous Cooperating Agents
• Farid Derradji
  Unifikation mit Abstraktionsgraphen
• Claudia Graf
  A Schema for Translation from Modal Logic into Predicate Logic
• Joachim Becker
  Effiziente Subsumption in Deduktionssystemen
• Thomas Schanne
  Generierung von Spielstrategien mit genetischen Algorithem
• Erik Mohr
  Resolution-Based Calculi for Modal Logics
• Georg Rock
  Transformations of First--Order Formulae for Automated Reasoning
• Thorsten Engel
  Quantorenelimination für Prädikatenlogik 2. Stufe
• Stefan Schlobach
  Anwendungen von Killer Transformationen
• Jan Smaus
  Implementation of Clause Killer Transfomations
• Christoph Meyer
  Parallel UR-Theorem Proving.
• Rainer Rau
  Adaption of a Fuzzy Controller for a Cybernetic System through an Evolutionary Algorithm.
• Bernhard Lorenz
  Bewegungsplanung für nichtholonome Vehikel.

Last Modified: Thursday, 11-Mar-2004 13:07:44 CET