Institut für Informatik (Universität Koblenz) - Forschungsprojekte

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

SimWeb: Exploring Innovative eBusiness Models using Agent Simulation; A project funded by the European Commissions programme on Information Society Technologies 2002-2004; ;
(2002 - 2005)

Debeka eLearning
(2001 - 2004)

Deduktiver Entwurf, Analyse und Verifikation von Multiagenten-Systemen für den RoboCup
(2001 - 2003)

Automatisierung von Defeasible Reasoning mittels Logikprogrammierung (DeReLoP)
(ab 1999)

Ergonomische Gestaltung der grafischen Benutzungsschnittstelle multi-lingualer Inhaltserschließungswerkzeuge für die Sozialwissenschaften (LingUI)
(2005 - 2006)

Generierung von Testszenarien für die Überprüfung der Konformität von Protokollen zur Vermeidung der Prioritätsumkehr
Zöbel, Dieter; (1998 - 2003)

Kompetenznetzwerke. Neue Dienste, Standardisierung, Metadaten. Teilprojekt: Modellbildung und Heterogenitätsbehandlung
(2004 - 2007)

Informationsverbund Pädagogik - Sozialwissenschaften - Psychologie (infoconnex)
(2001 - 2005)

Modellbasierte Deduktion
Furbach, Ulrich; (bis 1999)

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

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

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

Softwarewerkzeuge zur Dokumentation der Fragebogenentwicklung (QDDS-2)
(2006 - 2007)

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

Formale Ansätze in der Softwaretechnik
Ebert, Jürgen; (ab 1990)

Formalisierung von Verhaltensbeschreibungen im Netzmanagement
Ebert, Jürgen; (ab 1996)

Graphentechnologie (EER/GRAL)
Ebert, Jürgen; (ab 1985)

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

GUPRO - Generische Umgebung zum PROgrammverstehen
Ebert, Jürgen; (ab 1999)

MetaCASE: KOGGE und JKogge
Ebert, Jürgen; (ab 1988)

Evaluation und Organisationsmodellierung
Ebert, Jürgen; (ab 1991)

MOTOS - Tourenplanung für Behindertenwerkstätten
Ebert, Jürgen; (ab 1993)

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

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

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

Fraktale Geometrie
(ab 1994)

Ray Tracing und Radiosity
(ab 1993)

Modulare Architektur für Radiosity-Systeme (Sprecher: Dipl.-Inform. Marcel Bresink)
(1995 - 1996)

Diskrete Techniken zur globalen Beleuchtungsberechnung bei der digitalen Bildsynthese (Sprecher: Dipl.-Inform. Marcel Bresink)
(ab 1995)

Virtuelles Studio
(1995 - 1996)

NEPTUN
(ab 1988)

Diagnostik mit Petri-Netzen
(ab 1994)

Darstellung von Integritätsbedingungen und Realisierung derer in objektorientierte Datenbanken (Sprecher: Dipl.-Inform. Thomas Marx)
(bis 1998)

Petri-Net based CASE-Method (Sprecher: Dipl.-Inform. Thomas Marx)
(1993 - 1998)

DB-Technik in Engineering-Unternehmen (Sprecher: Dipl.-Inform. Thomas Marx)
(ab 1994)

Analyse von Petri-Netz Modellen (Sprecher: Dipl.-Inform. Hanno Ridder)
(1993 - 1997)

Analyse zeitbewerteter Stellen/Transitionennetze mit Ordered Natural Decision Diagrams zur optimalen Steuerung von Produktionsprozessen (AnZenOS)
(1996 - 1999)

Constraint-basierte Geometriemodelle im CAD
Rosendahl, Manfred; (1990 - 2000)

Relationales CAD-System RelCAD
Rosendahl, Manfred; (ab 1990)

KOSCRIPT- KOblenz SCript RecognItion ProjecT
Steigner, Christoph; (1994 - 1999)

Echtzeitplanung für ereignis- und zeitgesteuerte Aktivierungen (Dipl.-Inform. Wolfgang Albrecht)
Zöbel, Dieter; (1993 - 1997)

Modellbildung und Analyse von Rechensystemen
Zöbel, Dieter; (1996 - 1997)

Vascoda Teilprojekt Fachportale - Übergreifende Strukturen und Aufgaben
(2005 - 2007)

exSPACT Entwicklung eines Publikationssystems für das elektronische Publizieren: Modellhafte Lösungen und konkrete Umsetzung
(2006 - 2007)

CeraNet - ein multimediales modellbasiertes Werkzeug zur Qualitätsverbesserung für die keramische Industrie in Praxis, Forschung und Ausbildung
Ebert, Jürgen; (ab 1999)

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

EWIS - East-West-Information Service
Ebert, Jürgen; (ab 1999)

LISA - LInux Sicherheits Analyse
Ebert, Jürgen; (ab 2000)

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

FUN - Funkunterrichtsnetzwerk
Furbach, Ulrich; (2000)

Computergraphische Modellierung des Campus Metternich
(1998 - 2001)

Dokumentation der Campus-Baustelle Metternich
(1998 - 2001)

FABIS - Fachbereichsinformationssystem
(ab 1999)

Content Analysis, Retrieval and Metadata: Effective Networking (CARMEN) AP11: Heterogenitätsbehandlung bei textueller Information verschiedener Datentypen und Inhaltserschließungsverfahren
(1999 - 2002)

Content Analysis, Retrieval and Metadata: Effective Networking (CARMEN) AP12: Crosskonkordanzen von Klassifikationen und Thesauri
(1999 - 2002)

Datenbankbasierte Clearinghouses im Kontext digitaler Bibliotheken (DBClear)
(2000 - 2002)

Distributed Agents for User-Friendly Access of Digital Libraries - Nutzerorientiertes Zugangssystem für heterogene Digitale Bibliotheken (DAFFODIL)
(2000 - 2002)

European Schools Treasury Browser (ETB)
(2000 - 2002)

Sozialwissenschaften für Jedermann - die Internetplattform sowinet.de
(2000 - 2002)

Monitoring Urban Dynamics (MURBANDY)
(2000)

Virtuelle Fachbibliothek Sozialwissenschaften (ViBSoz)
(1999 - 2002)

Modellos
(ab 2000)

Störungsüberwachung und Synthese von Abfahrsteuerungen in hybriden Systemen
(1999 - 2001)

Dreidimensionales Relationales CAD-System RelCAD3D
Rosendahl, Manfred; (ab 1998)

LISA - LInux Sicherheits Analye
Rosendahl, Manfred; (ab 2000)

Testumgebung zur Analyse der Prioritätsvererbung in Echtzeitsystemen (EZ)
Zöbel, Dieter; (ab 1998)

EZauto - Autonome Steuerung eines Lastkraftwagens (EZ)
Zöbel, Dieter; (ab 1998)

EZauto - Präzise Manöver für Fahrzeuge im Gespann (EZ)
Zöbel, Dieter; (ab 1998)

Multi-Media Infrastruktur
Rosendahl, Manfred; (ab 1999)

HADES
Rosendahl, Manfred; (ab 1993)

WinKoAkz
Rosendahl, Manfred; (bis 2001)

WWW-Zeitschriften-Katalog der Universitätsbibliothek
Rosendahl, Manfred; (bis 2001)

Video-Präsentation von Studien-Informationen und Forschungsergebnissen
Rosendahl, Manfred; (ab 1999)

CoSMoS: Coblenz Software Monitoring System
Steigner, Christoph; (ab 1997)

Referenz-Metaschemata für Beschreibungsmittel
Ebert, Jürgen; 

Slicing-Book-Technologie
Furbach, Ulrich; 

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

Echtzeitplanung für Prozesse mit Altersanforderungen (EZ)
Zöbel, Dieter; 

Software Reengineering
Ebert, Jürgen; 

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

Rheinische Landesbibliothek im Internet
Rosendahl, Manfred; 

MetaCASE: KOGGE - KOblenzer Generator für Graphische Entwurfsumgebungen
Ebert, Jürgen; 

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)

ISSP DataWizard
(ab 1999)

Mapping of Research in European Social Sciences and Humanities (MORESS)
(2003 - 2005)

Inhaltliche Ausgestaltung der Virtuellen Fachbibliothek Sozialwissenschaften (InhalteViBSoz)
(2003 - 2006)

Cross-Language Evaluation Forum (CLEF) in Kooperation mit dem Network of Excellence on Digital Libraries
(2001 - 2008)

ROBUST
Staab, Steffen; Gottron, Thomas; Schwagereit, Felix; (2010 - 2013)

Cloud Computing Infrastruktur Forschungsgroßgeräte nach Art. 91 b GG
Staab, Steffen; (2013 - 2014)

Qualitätssicherung und Optimierung in Humanbased Computation mit spezieller Berücksichtigung von Information-Retrieval-Anwendungen
Staab, Steffen; (2013 - 2015)

Live+Gov
Staab, Steffen; (2011 - 2014)

SocialSensor
Staab, Steffen; (2011 - 2014)

Net2
Staab, Steffen; (2010 - 2013)

KoMePol
Staab, Steffen; Wimmer, Maria A.; Grimm, Rüdiger; Hampe, J. Felix; Scherer, Sabrina; (2012 - 2013)

LogAnswer
Furbach, Ulrich; (2008 - 2013)

Ratiolog
Furbach, Ulrich; (2013 - 2016)

VitalPro
Furbach, Ulrich; (2013 - 2015)

ReactiveSpanner2
Frey, Hannes; (2015 - 2018)

InstaMesh
Frey, Hannes; (2013 - 2016)

Prototyping and evaluation of tractor reverse driving assistence (Petra)
Zöbel, Dieter; (2011 - 2014)

Entwicklung und Erprobung eines mobilen Assistenzsystems mit einem Top-View sowie einer Gefahrenfrüherkennung und -warnung für den Einsatz in Nutzfahrzeugen
Zöbel, Dieter; (2014 - 2016)

EnTrust - Engineering Trustworthy Data-Intensive Systems
Konersmann, Marco; Staab, Steffen; Jürjens, Jan; Delfmann, Patrick; Thimm, Matthias; Wagner, Claudia; (2019 - 2021)

Über Realzeitautomaten hinaus (Teilprojekt TRR 14:  AVACS - Automatische Verifikation und Analyse komplexer Systeme)
Sofronie-Stokkermans, Viorica; (2004 - 2015)

Automatisierte Verifikation kooperierender Verkehrssysteme (TRR 14:  AVACS - Automatische Verifikation und Analyse komplexer Systeme)
Sofronie-Stokkermans, Viorica; (2004 - 2015)

EnTrust (Teilprojekt 3: Erklärbarkeit)
Sofronie-Stokkermans, Viorica; Sofronie-Stokkermans, Viorica; (ab 2019)

Über Realzeitautomaten hinaus (Teilprojekt TRR 14: AVACS - Automatische Verifikation und Analyse komplexer Systeme)
Sofronie-Stokkermans, Viorica; (2004 - 2015)

Automatisierte Verifikation kooperierender Verkehrssysteme (TRR 14: AVACS - Automatische Verifikation und Analyse komplexer Systeme)
Sofronie-Stokkermans, Viorica; (2004 - 2015)

IIP-Ecosphere - Next Level Ecosphere for Intelligent Industrial Production Teilvorhaben: Sicherheitsaspekte von Plattformen für KI-Ökosysteme in der intelligenten Produktion
Necke, Dina; Jürjens, Jan; (2020 - 2022)

Verbundprojekt XAPS: Erklärbare KI für automatisierte Produktionssysteme
Necke, Dina; Jürjens, Jan; Konersmann, Marco; (2020 - 2021)

Symbolelimination und Quantorenelimination und Anwendungen
Sofronie-Stokkermans, Viorica; Sofronie-Stokkermans, Viorica; (2015 - 2025)

Entscheidungsverfahren für komplexe logische Theorien
Sofronie-Stokkermans, Viorica; Sofronie-Stokkermans, Viorica; (2005 - 2025)

Explainable Belief Merging
Sofronie-Stokkermans, Viorica; (2022 - 2025)

Data2Health: Vertrauenswürdige Datenanalysen für das Gesundheitswesen
Kiess, Wolfgang; Kschischo, Maik; Dellen, Babette; Fiedler, Armin; Frey, Hannes; Jaekel, Uwe; Jürjens, Jan; Mauthe, Andreas; Paulus, Dietrich; Scheef, Lukas ; Thieme, Lutz; Wimmer, Maria A.; Burgert, Alina; (2022 - 2025)