Prof. Dr. Ulrich Furbach - Forschungsprojekte

CORG - Cognitive Reasoning
Schon, Claudia; Furbach, Ulrich; (2018 - 2021)

Ratiolog
Furbach, Ulrich; (2013 - 2016)

VitalPro
Furbach, Ulrich; (2013 - 2015)

LogAnswer
Furbach, Ulrich; (2008 - 2013)

Modellbasierte Prädikatenlogische Deduktion mit einer Anwendung im Dokumentenmanagement
Furbach, Ulrich; (2003 - 2005)

In2Math: Interaktive Elemente in der Mathematik und Informatikgrundausbildung
Furbach, Ulrich; (2001 - 2003)

LEXIKON - Learning of Extraction of Information resp. Knowledge from Open Networks
Furbach, Ulrich; (ab 2000)

FUN - Funkunterrichtsnetzwerk
Furbach, Ulrich; (2000)

Hybride Raum-Deduktion in dynamischen Umgebungen - mit Anwendung auf kooperierende Agenten im RoboCup (RaumDeduktion)
Furbach, Ulrich; (2000 - 2003)

Sywikol - Synchronizität beim wissensbasierten kooperativen Lernen
Furbach, Ulrich; (ab 2000)

Tools for Reusable Integrated Adaptable Learning - Systems/standards for Open Learning Using Tested Interoperable Objects and Networking (TRIAL-SOLUTION)
Furbach, Ulrich; (2000 - 2003)

Intelligente WEB-Informationsagenten
Furbach, Ulrich; (1999 - 2002)

Automatisierung von Defeasible Reasoning mittels Logikprogrammierung (DeReLoP)
Furbach, Ulrich; (ab 1999)

RoboLog - Intelligentes verteiltes räumliches Schließen im RoboCup
Furbach, Ulrich; (1999 - 2000)

Grundlagen, Entwicklung und Kombination von Techniken zur Semantik und Abarbeitung erweiterter disjunktiver Programme (DisLoP)
Furbach, Ulrich; (1995 - 2000)

Theoriebehandlung in Beweisprozeduren für Prädikatenlogik 1. Stufe (TheTP)
Furbach, Ulrich; (1993 - 1999)

Modellbasierte Deduktion
Furbach, Ulrich; (bis 1999)

Deduktive Techniken für Informations-Management-Systeme (IMS)
Furbach, Ulrich; (bis 1997)

Slicing-Book-Technologie
Furbach, Ulrich; 

Data-Mining im Internet mit KI-Methoden
Furbach, Ulrich; (bis 1999)

RoboLog - Deduktive Ansätze für den RoboCup
Furbach, Ulrich;