Starten Sie Ihre Suche...


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

Künstliche Intelligenz

Institut für Informatik / Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
Forschungsprojekte

2003 - 2005

Modellbasierte Prädikatenlogische Deduktion mit einer Anwendung im Dokumentenmanagement

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

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 1997

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