Project Details
Person
Professor Dr. Frieder Stolzenburg
Address
Hochschule Harz (FH)
Fachbereich Automatisierung und Informatik
Professur für Wissensbasierte Systeme
Friedrichstraße 57-59
38855 Wernigerode
-
As Applicant
-
Completed projects
-
Deduktiver Entwurf, Analyse und Verifikation von Multiagenten-Systemen für den RoboCup (Priority Programmes)
-
Deductive design, analysis and verification of multi-agent systems for RoboCup (Priority Programmes)
-
RatioLog - Rational Extensions of Logical Reasoning (Research Grants) -
CORG - Cognitive Reasoning (Research Grants)
-
-
Completed projects
- As Participating Person
