Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr. Jörg H. Siekmann

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

Projects

As Applicant
- Completed projects
  - Gleichheitsbeweisen höherer Stufe (Research Grants)
  - Adaptive Learning with Erroneous Examples (Research Grants)
  - Adaptives Tutorielles Feedback (Research Grants)
As Spokesperson
- Completed projects
  - SFB 378: Resource-adaptive cognitive processes (Collaborative Research Centres)
As Project Head
- Completed projects
  - Zentraler Dienst (Collaborative Research Centres)
  - OMEGA, ein mathematisches Assistenzsystem (Collaborative Research Centres)
  - Agent-oriented Proof Planing (Collaborative Research Centres)
  - LISA: Linguistische Interferenz für die Semantische Auswertung (Collaborative Research Centres)
  - Natural Language-based Interaction with a Mathematics Assistance System (Collaborative Research Centres)
As Participating Person
- Completed projects
  - Beweisplanen mit Hilfe von Differenz-Reduktionstechniken (Research Grants)
  - Adaptive natürlichsprachliche Beweispräsentation (Research Grants)
  - Modeling social organization in distributed artificial intelligence (DAI) and sociology: research on the applicability of the Habitus-Field-theory to architectures and concepts of DAI (Priority Programmes)
  - Umsetzung von Sicherheitspolitiken auf eine strukturierte, formale Softwareentwicklung (Priority Programmes)
  - Mixed-initiative Beweisplanen und dessen Anwendungen für Mathematik-Lernsysteme (Research Grants)

© 2024 DFG Disclaimer / Copyright / Privacy Policy