Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Prof. Dr. Ulrich Furbach

Institut für Informatik, Universität Koblenz

Rammsweg 1, Raum: MB 214
  • 0261/287 - 2728
  • 0261/287 - 2731
Forschungsprojekte
Ergebnisse pro Seite:  10

2000 - 2003

Tools for Reusable Integrated Adaptable Learning - Systems/standards for Open Learning Using Tested Interoperable Objects and Networking (TRIAL-SOLUTION)

1999 - 2002

Intelligente WEB-Informationsagenten

ab 1999

Automatisierung von Defeasible Reasoning mittels Logikprogrammierung (DeReLoP)

1999 - 2000

RoboLog - Intelligentes verteiltes räumliches Schließen im RoboCup

1995 - 2000

Grundlagen, Entwicklung und Kombination von Techniken zur Semantik und Abarbeitung erweiterter disjunktiver Programme (DisLoP)

1993 - 1999

Theoriebehandlung in Beweisprozeduren für Prädikatenlogik 1. Stufe (TheTP)

bis 1999

Modellbasierte Deduktion

bis 1997

Deduktive Techniken für Informations-Management-Systeme (IMS)

Slicing-Book-Technologie

bis 1999

Data-Mining im Internet mit KI-Methoden