Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Hochschule Harz (FH)
Fachbereich Automatisierung und Informatik
Professur für Wissensbasierte Systeme

Address Friedrichstraße 57-59
38855 Wernigerode
Deutschland

GERiT This institution in GERiT

38855 Wernigerode

Projects

Priority Programmes
- Completed projects
  - Deductive design, analysis and verification of multi-agent systems for RoboCup
    (Applicants Furbach, Ulrich ; Stolzenburg, Frieder )
  - Deduktiver Entwurf, Analyse und Verifikation von Multiagenten-Systemen für den RoboCup
    (Applicant Stolzenburg, Frieder )
Research Grants
- Completed projects
  - CORG - Cognitive Reasoning
    (Applicants Furbach, Ulrich ; Schon, Claudia ; Stolzenburg, Frieder )
  - Hybrid spatial deduction in dynamic environments with application to cooperating agents in the RoboCup
    (Applicant Furbach, Ulrich )
  - RatioLog - Rational Extensions of Logical Reasoning
    (Applicants Furbach, Ulrich ; Stolzenburg, Frieder )

© 2024 DFG Disclaimer / Copyright / Privacy Policy