Detailseite
Person
Professor Dr. Ulrich Furbach
Adresse
Universität Koblenz
Campus Koblenz
Fachbereich 4 - Informatik
Institut für Informatik
Universitätsstraße 1
56070 Koblenz
-
Als Antragsteller
-
abgeschlossene Projekte
-
Deduktiver Entwurf, Analyse und Verifikation von Multiagenten-Systemen für den RoboCup (Schwerpunktprogramme)
-
Modellbasierte prädikatenlogische Deduktion für Anwendungen (Sachbeihilfen)
-
RatioLog - Rationale Erweiterungen des Logischen Schließens (Sachbeihilfen) -
CORG - Cognitive Reasoning (Sachbeihilfen)
-
abgeschlossene Projekte
-
Als Beteiligte Person
-
abgeschlossene Projekte
-
Synchronizität beim wissensbasierten kooperativen Lernen (Schwerpunktprogramme)
-
-
abgeschlossene Projekte
