Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Professor Dr. Jörg H. Siekmann

Adresse Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Stuhlsatzenhausweg 3
66123 Saarbrücken

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Gleichheitsbeweisen höherer Stufe (Sachbeihilfen)
  - Adaptive Learning with Erroneous Examples (Sachbeihilfen)
  - Adaptives Tutorielles Feedback (Sachbeihilfen)
Als Sprecher
- abgeschlossene Projekte
  - SFB 378: Ressourcenadaptive kognitive Prozesse (Sonderforschungsbereiche)
Als Teilprojektleiter
- abgeschlossene Projekte
  - Zentraler Dienst (Sonderforschungsbereiche)
  - OMEGA, ein mathematisches Assistenzsystem (Sonderforschungsbereiche)
  - Agent-oriented Proof Planing (Sonderforschungsbereiche)
  - LISA: Linguistische Interferenz für die Semantische Auswertung (Sonderforschungsbereiche)
  - Natural Language-based Interaction with a Mathematics Assistance System (Sonderforschungsbereiche)
Als Beteiligte Person
- abgeschlossene Projekte
  - Beweisplanen mit Hilfe von Differenz-Reduktionstechniken (Sachbeihilfen)
  - Adaptive natürlichsprachliche Beweispräsentation (Sachbeihilfen)
  - Autonomie durch Selbstregulation: Modellierung der Makroebene der Sozialität für semi-offene Multiagentensysteme (Schwerpunktprogramme)
  - Umsetzung von Sicherheitspolitiken auf eine strukturierte, formale Softwareentwicklung (Schwerpunktprogramme)
  - Mixed-initiative Beweisplanen und dessen Anwendungen für Mathematik-Lernsysteme (Sachbeihilfen)

© 2024 DFG Kontakt / Impressum / Datenschutz