Project Details
Professor Dr. Ulrich Furbach
Address
Universität Koblenz
Campus Koblenz
Fachbereich 4 - Informatik
Institut für Informatik
Universitätsstraße 1
56070 Koblenz
-
As Applicant
-
Completed projects
-
Deductive design, analysis and verification of multi-agent systems for RoboCup (Priority Programmes)
-
Model Based Deduction in Predicate Logic for Applications (Research Grants)
-
Logische Antwortfindung über semantisch strukturierten Wissensbasen (Research Grants)
-
RatioLog - Rational Extensions of Logical Reasoning (Research Grants)
-
CORG - Cognitive Reasoning (Research Grants)
-
Completed projects
-
As Participating Person
-
Completed projects
-
Synchronizität beim wissensbasierten kooperativen Lernen (Priority Programmes)
-
-
Completed projects