Diplomandenseminar KI - Frühere Vorträge

2006

• Dominik Grether
  Semantische Annotation und Deduktion in Geoinformationssystemen
  (Diplomarbeit)
  18.12.2006
• Heiko Fröhlich, Manuel Jauernig und Shawn Keen
  Hybride Planungssysteme
  (Praktikum)
  27.11.2006
• Dr. Camilla Schwind (LIF, Marseille, France)
  A first-order multi-modal logic for actions and agents
  (Fachvortrag)
  13.11.2006
• Sebastian Michel
  Semantikgestützte, benutzerorientierte Dokumentensuche
  (Diplomarbeit)
  7.08.2006
• Dr. Julien Bidot (ILOG S.A., France)
  A General Framework Integrating Techniques for Scheduling under Uncertainty
  (Fachvortrag)
  26.06.2006
• Patrick Schmidt
  Portierung einer Anwendung zur Selektion von Diensten auf ein mobiles Endgerät
  (Diplomarbeit)
  3.04.2006
• Dr. Pascal Hitzler (AIFB Karlsruhe)
  Wissensverarbeitung im WWW(Fachvortrag)
  6.02.2006
  
• Florian Höpfner, Florian Raudies, Volker Fritzsch, Jürgen Bock
  Inferenzdienste im Semantic Web
  (Hauptseminar)
  30.01.2006

2005

• Leif Bladt, Dilan Latif, Zheng Quan und Roland Ritter
  Planungssysteme in der Anwendung
  (Hauptseminar)
  19.10.2005
   
• Dr. Thomas Roth-Berghofer (TU Kaiserslautern / DFKI)
  Der Gnowsis Semantic Desktop
  (Fachvortrag)
  16.06.2005
   
• Andreas Weigl
  Strategien für Hierarchisches Planen in einer Multiagenten-Architektur
  (Diplomarbeit)
  02.05.2005
   
• Hao Zhou, Shu Zhan, Zdravko Tretinjak und Luis Garcia
  KI-Methoden im Workflow Management
  (Hauptseminar)
  25.04.2005
   
• Katrin Eisele & Julian Lambertz
  XCerpt & Amilcare
  (Hauptseminar Knowledge Discovery)
  7.02.2005
   
• Michael Halfmann
  Zwischenbericht zur Diplomarbeit "tableau-basierte Erkärungskomponente für OWL Lite"
  31.01.2005
   

2004

• Robin Lehmann
  (Abstract) Congruence Closure
  (Nachholtermin Seminar "Beweisverfahren")
  29.11.2004
   
• Stefan Diem, Tobias Dittman, Christine Rauh und Martin Schels (Uni Ulm)
  Agentenbasiertes Planen und Problemlösen
  19.07.2004
   
• Dr. Harald Ruess, SRI International
  Algorithms for Embedded Deduction
  12.07.2004
   
• Steffen Balzer (Uni Ulm)
  Entwurf, Implementierung und Anwendung von Semantic Web-Services am Beispiel von Reiseplanung
  30.06.2004
   
• Stefan Miller (Uni Ulm)
  Fahrzeugkonfiguration im Aftersales
  26.04.2004
   
• S. Wu und C. Cox, Franz Inc.
  Tools for Next Generation Applications Using Dynamic Objects
  26.01.2004
   
• Alexander Halder (Uni Ulm)
  Entwurf und Nutzung von Ontologien zur Produktteileverwaltung am Bsp. des Geschäftsfeldes PKW der DaimlerChrysler AG
  19.01.2004
   
• Olaf Noppens (Uni Ulm)
  OntoTrack: eine graphbasierte Benutzerschnittstelle zur Ontologieentwicklung
  12.01.2004
   

2003

 WS'03/04

• Roman Barták (Charles University, Prague)
  Constraint satisfaction in complex and dynamic scheduling problems
  1.12.2003
   
• Guntmar Kirck (Uni Ulm)
  Konsistenzsicherung auf hierarchisch strukturierten Domänenmodellen
  3.11.2003
   
• Axel Blumenstock (Uni Ulm)
  Induktion von Regeln zur Erkennung und Beschreibung seltener Klassen
  27.10.2003
   
• Hu Shaoyu, TU Dresden
  Semi-formal Verification on Integrated Circuits
  17.09.2003
   
• Dominik Maschke (Uni Ulm)
  Hybrides Planen in einer Multiagenten-Architektur
  22.07.2003
   
• Markus Kuhnt (Uni Ulm)
  Hierarchisches Scheduling
  22.07.2003
   

2002

• Michael Schalk (Uni Ulm)
  Kommunikation und Wissensmodellierung im CIA Agentensystem mit FIPA und Semantic Web
  19.12.2002
   
• Dr. Matthias Wagner (DoCoMo Euro-Labs München)
  Towards Personalization of Mobile Services
  16.12.2002
   
• Mario Jeckle (DaimlerChrysler Forschungszentrum Ulm)
  XML, Standards und andere Aktivitäten zur Formierung des Semantic Web
  9.12.2002
   
• Bertram Wirth (Uni Ulm)
  Ein webbasierter Reiseagent
  21.10.2002
   
• Roland Holzer (Uni Ulm)
  Grafische Darstellung nichtlinearer Pläne
  15.07.2002
   
• Alexander Altmayer, Guntmar Kirck und Markus Kuhnt (Uni Ulm)
  Modellierung realistischer Planungsprobleme und Werkzeuge fuer interaktive Planungssysteme
  8.07.2002
   
• Edwin Volz (Uni Ulm)
  Konzeption und Implementierung eines effizienten Ausführungssystems für variable Lehrprozesse
  10.06.2002
   
• Hans-Peter Schnurr (ontoprise GmbH, Karlsruhe)
  Smarter Knowledge Access & Integration
  03.06.2002
   
• Dr. Juan Fernandez-Olivares (Univ. of Granada, Spain)
  Conditional A.I. Planning for Manufacturing Operation
  15.04.2002
   
• Dr. Juan Fernandez-Olivares (Univ. of Granada, Spain)
  Hybrid Hierarchical Planning for real-world problems
  18.03.2002
   
• Matthias Dannenberg und Alexander Seitz (Uni Ulm)
  Neues von Docs'n Drugs
  21.01.2002
   
• Holger Knublauch (FAW Ulm)
  Extreme Programming of Knowledge-Based Systems
  14.1.2002
   

2001

• Vincent Vialard (Uni Ulm)
  Ein verifiziertes Backend fuer den Transputer
  03.12.2001
   
• Dr. Martin Strecker (TU München)
  Formale Verifikation eines Java-Compilers in Isabelle
  26.11.2001
   
• Axel Dold (Uni Ulm)
  Maschinelle Verifikation eines Lisp-Compilers
  Mo. 16.7.2001
   
• Olaf Noppens and Andreas Weigl (Praktikumsbericht, Uni Ulm)
  Feeding the PANDA - Eine grafische Benutzerschnittstelle für alternative Planungssysteme
  Mo. 9.7.2001
   
• Gueorgui I. Jojgov (TU Eindhoven)
  Systems for Open Terms: An Overview
  Mo. 2.7.2001
   
• Thorsten Liebig (Uni Ulm)
  Sprachen und Techniken des ``SemanticWeb''
  Mo. 18.6.2001
   
• Hartmut Jungholt (Uni Ulm
  Domänenmodellierung für PANDA
  Mo. 25.6.2001
   
• Andreas Kirbach (TEMIC TELEFUNKEN microelectronic GmbH)
  Design, Implementierung und Optimierung eines kontinuierlich-sprachlichen automatischen Vermittlungssystems
  Dienstag, 5.6.2001
   
• Prof. Wolf Zimmermann (Martin-Luther-Universität Halle-Wittenberg)
  Konstruktion korrekter Übersetzer
  Mo. 14.5.2001
   
• Alexander Seitz und Andreas Sachs (Uni Ulm)
  Docentus
  Mo. 26.2.2001
   
• Holger Pfeifer (Uni Ulm)
  Formale Analyse fehlertoleranter Algorithmen des zeitgesteuerten Protokolls TTP
  Do. 15.2.2001
   
• Dirk Bühler (DaimlerChrylser)
  Anwendungsverknüpfung und Konfliktbehandlung für Dialogsysteme
  Mo. 12.2.2001
   
• Stefan Kühnemann (Uni Ulm)
  Hierarchische Netzwerkplanung - Eine Objektorientierte Realisierung
  Mo. 22.1.2001
   
• Thorsten Liebig (Uni Ulm)
  Untersuchungen zur Modellierung von Aktionen für die Generierung technischer Dokumente
  Mo. 15.1.2001
   

2000

• Detlef Schwier (blaxxun interactive)
  Interactive Virtual Worlds
  Mo.18.12.2000
   
• Norbert Schirmer (Uni Ulm)
  Entwicklung eines beweisbar korrekten Codegenerators für Zustandsautomaten
  Mo. 11.12.2000
   
• Martin Hiller (Uni Ulm)
  Integration semiformaler und formaler Methoden zur Unterstützung des Softwareentwicklungsprozesses im Eisenbahnwesen
  Mo. 4.12.2000
   
• Maria Sorea (Universität Mannheim)
  Verifikation von Echtzeitsystemen basierend auf Event-Clock Automaten
  Mo. 27.11.2000
   
• Carsten Schürmann (Yale University, USA)
  Towards Automated Verification of Safety Architectures
  Mo. 20.11.2000
   
• Thorsten Liebig & Praktikanten: B. Wirth, D. Maschke u. A. Blumenstock (Uni Ulm)
  Modellierung und Simulation autonomer Agenten (Ergebnisse und Erfahrungen aus dem RoboCup-Praktikum)
  Mo. 13.11.2000
   
• Andreas Kirbach (Uni Ulm / TEMIC Telefunken):
  Design, Implementierung und Optimierung eines kontinuierlich-sprachlichen automatischen Vermittlungssystems
  Mo. 30.10.2000
   
• Bernd Kullick (Uni Ulm):
  Simulation von mobilen Agentensystemen
  Fr. 27.10.2000
   
• Dr. Pertti Kellomäki (Tampere University of Technology, Finnland):
  Superposition-Based Specification of Distributed Reactive Systems: the DisCo Approach
  Mo. 25.10.2000
   
• Bernd Schattenberg (Uni Ulm):
  HTN Planen für autonome Systeme
  Mo. 17.07.2000
   
• Marko Luther (Uni Ulm):
  Elaboration und Elimination in Typentheorie
  Mo. 10.07.2000
   
• Dr. M. Hennecke (TEMIC Telefunken):
  Interaktive Sprachdialogsysteme in Kfz und Telefon
  Mo. 03.07.2000
   
• Marco Weismüller (Uni Ulm):
  Planen mit einem Modellprüfer im µ-Kalkül
  Mo. 26.06.2000
   
• Peter Schuster (Uni Ulm):
  Die Java Virtual Machine
  Mo. 5.06.2000
   
• Karsten Gugler (Uni Ulm):
  Ein Ansatz zur parallelen und verteilten Simulation von deliberativen Multiagentensystemen
  Mo. 26.05.2000
   
• verschiedene
  Hauptseminar Fallbasiertes Schließen
  Mo. 14.2.2000
   
• Adelinde Uhrmacher (Uni Ulm):
  Sichere Mobilität
  Do. 27.1.2000
   
• Axel Dold (Uni Ulm):
  Formale Software-Entwicklung mit Hilfe generischer Entwicklungsschritte
  Mo. 24.1.2000
   
• Marko Luther (Uni Ulm):
  Elaboration and Erasure in Type Theories
  Mo. 10.1.2000
   

1999

• Camilla Schwind(LIM-CNRS Marseille, France):
  A Dynamic Logic Based Action Theory for Planning
  Mo. 6.12.1999
   
• Siegmar Haasis (DaimlerChrysler):
  Der Einsatz von Feature- und Agenten-Technologie zur Gestaltung der CAX-Prozesskette von der Konstruktion bis zur Serienfertigung
  Mo. 22.11.1999
   
• Hartmut Jungholt (Uni Ulm):
  Numerische Zustandsvariablen in der Handlungsplanung
  Mo. 15.11.1999
   
• Dieter Finkenzeller (Uni Ulm):
  Graphische Darstellung und Manipulation von Wissensbasen
  Mo. 8. 11.1999
   
Brian Logan (Univ. Nottingham):
The whole iguana: Teaching AI with the SIM_AGENT toolkit
Mo. 4.11.1999
 
• Dr. Michael Beetz (Uni Bonn):
  Experience- and Diagnosis-based Transformational Learning of Symbolic Behavior Specifications
  Mo. 28.6.1999
   
• Vincent Vialard / Axel Dold (Uni Ulm):
  Formal Verification of a Compiler Back-End Generic Checker Program
  Mo. 21.6.1999
   
• A.M. Uhrmacher (Uni Ulm) / A. Martens (ZIBMT):
  Modeling Tutoring as a Dynamic Process
  Mo. 14.6.1999
   
• Holger Pfeifer (Uni Ulm):
  Verifikation des Group Membership-Service in TTA
  Mo. 7.6.1999
   
• Ercüment Canver (Uni Ulm):
  SafeRail
  Mo. 31.5.1999
   
• Prof. Dr. Martha Pollack (Univ. of Pittsburgh):
  Computational Techniques for Plan Management: Merging Richly Expressive Plans
  Mo. 17.5.1999
   
• Marko Luther (Uni Ulm):
  Monadic I/O in Type Theory
  Mo. 10.5.1999
   
• F. Bartels (Uni Ulm):
  Verfeinerung von Zustandsübergangssystemen, ein uniformer Ansatz basierend auf Ko-Algebren
  Mo. 3.5.1999
   
• Martin Strecker (Uni Ulm):
  Construction and Deduction in Type Theory
  Mo. 26.4.1999
   
• Holger Pfeifer, Detlef Schwier und Ercüment Canver (Uni Ulm):
  TTA / DeVa
  Mo. 8.2.1999
   
• Prof. Dr. Frank Puppe / Bettina Reinhardt (Uni Würzburg):
  Trainings- und Kritiksysteme in der Medizin
  Mo. 1.2.1999
   
• Alexander Seitz (Uni Ulm) / Alke Martens (FH Ulm):
  Docs'n Drugs - Die virtuelle Poliklinik
  Mo. 25.1.1999
   
• Joachim Herbst (Daimler-Chrysler) / Thorsten Liebig (Uni Ulm):
  Induktion von Geschäftsprozeßmodellen /
  Untersuchungen zur Modellierung von Aktionen für die Generierung technischer Dokumente
  Mo. 11.1.1999
   

1998

• Rainer Bosch / Michael Stegmüller (Uni Ulm):
  Theorembeweisen in QBF / Automatisierung von Simulationsbeweisen
  Mo. 21.12.1998
   
• Dipl.-Ing. Dr. Hans Chalupsky (Information Sciences Institute, University of Southern California):
  STELLA & PowerLoom - Symbolische Programmierung und Wissensrepräsentation in C++
  Mo. 14.12.1998
   
• Marieke Huisman (University of Nijmegen):
  Reasoning about Java programs
  Mo. 30.11.1998
   
• Dr. Olaf Müller (TU München):
  Combining Theorem Proving and Model Checking
  Mo. 23.11.1998
   
• Marco Weismüller / Bernd Schattenberg (Uni Ulm):
  Planen im µ-Kalkül / Agentenmodellierung
  Mo. 9.11.1998
   
• Dr. Christoph Schwarzweller (Uni Tübingen):
  Mechanisches Beweisen mit dem Mizar-System
  Mo. 2.11.1998
   
• Marko Luther und Martin Strecker / Axel Dold und Vincent Vialard (Uni Ulm):
  Neues von Typelab / Das Projekt Verifix
  Mo. 26.10.1998
   
• Petra und Dirk Tyschler (Uni Ulm):
  Ein diskret-ereignisorientiertes Simulationssystem in Java
  Donnerstag, 23.7.1998
   
• Adelinde Uhrmacher (Uni Ulm):
  Modellierung und Simulation von/mit Multiagentensystemen
  Donnerstag, 2.7.1998
   
• Stefan Kühnemann:
  Hierarchisches Planen
  Donnerstag, 25.6.1998
   
• David Musser (Rensselaer Polytechnic Institute):
  The Tecton Concept Description Language
  Dienstag, 22.6.1998
   
• Bruno Barras (INRIA):
  Implementation of efficient reduction functions in proof-checkers
  Donnerstag, 28.6.1998
   
• Dr. Jens Dietrich:
  MANDARAX - Ein agentenorientierter Ansatz in der Industriellen Anwendung
  Donnerstag, 4.6.1998
   
• Dr. Jussi Rintanen (Uni Ulm):
  A planning algorithm not based on directional search
  Donnerstag, 28.5.1998
   
• Martin Strecker (Uni Ulm):
  Cut-Elimination Proofs in Typetheory
  Donnerstag, 14.5.1998
   
• Wolfgang Naraschewski (TU-München):
  A glorified theory of tuples
  Donnerstag, 7.5.1998
   
• Dr. Harald Rueß (Uni Ulm):
  Generic Constructions
  Donnerstag, 30.4.1998
   
• Ercüment Canver (Uni Ulm):
  OO-LTL
  Donnerstag, 23.4.1998
   
• Dr. Harald Rueß (Uni Ulm):
  Generic Constructions
  Donnerstag, 21.1.1998
   
• Dr. Burkhart Wolff (Uni Freiburg):
  Ein generischer Kalkül von Transformationen
  Donnerstag, 15.1.1998
   

1997

• Stephan Pfab (Uni Ulm):
  Efficient Abstract Interpretation
  Donnerstag, 18.12.1997
   
• Joachim Herbst (Daimler Benz Forschungszentrum):
  Akquisition und Adaption repetitiver Geschäftsprozeßmodelle
  Donnerstag, 4.12.1997
   
• Dr. Martin Simons (TU Berlin):
  An algebraic calculus for proof composition and refinement
  Donnerstag, 27.11.1997
   
• Andreas Knöpfler:
  Reaktives Planen
  Mittwoch, 12.11.1997
   
• Prof. Dr. Bernd Krieg-Brückner (Uni Bremen):
  The PROSPECTRA Methodology and System
  Mittwoch, den 12.7.1997
   
• Dr. Dietmar Janetzko (Uni Freiburg):
  On-Line Analyse von Wissenstrukturen
  Mittwoch, den 2.7.1997
   
• Prof. Dr. Peter Ladkin (Uni Bielefeld):
  Beweisen mit TLA
  Montag, den 30.6.1997
   
• Cand. Inf. Oliver Möller (Uni Ulm):
  An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors
  Mittwoch, den 18.6.1997
   
• Dr. Thorsten Altenkirch (LMU München):
  Theorie und Implementierungstechniken zu MuTTI
  Mittwoch, den 4.6.1997
   
• Dr. Jana Köhler (Uni Freiburg):
  Interferenz-Progressionsplanung
  Montag, den 2.6.1997
   
• Dr. Harald Rueß (Uni Ulm):
  Symbolisches Planen
  Montag, den 28.5.1997
   
• Dr. Jussi Rintanen (Uni Ulm):
  On the Structure of Plan  Spaces
  Mittwoch, den 14.5.1997
   
• Martin Strecker (Uni Ulm):
  Explizite Substitutionen
  Mittwoch, den 7.5.1997