Universität Koblenz
Campus Koblenz
Fachbereich 4 - Informatik
Institut für Informatik

Adresse Universitätsstraße 1
56070 Koblenz
Deutschland

GERiT Diese Institution in GERiT

56070 Koblenz

Projekte

Sachbeihilfen
- laufende Projekte
  - Erklärbares Belief Merging
    (Antragstellerinnen / Antragsteller Sofronie-Stokkermans, Viorica ; Thimm, Matthias )
- abgeschlossene Projekte
  - CORG - Cognitive Reasoning
    (Antragstellerinnen / Antragsteller Furbach, Ulrich ; Schon, Claudia ; Stolzenburg, Frieder )
  - Hybride Raum-Deduktion in dynamischen Umgebungen mit Anwendung auf kooperierende Agenten im RoboCup
    (Antragsteller Furbach, Ulrich )
  - Konzeption und Implementation einer funktionalen Querying- und Transformations-API
    (Antragsteller Ebert, Jürgen )
  - Logische Antwortfindung über semantisch strukturierten Wissensbasen
    (Antragsteller Furbach, Ulrich ; Kirsch, Werner )
  - Modellbasierte prädikatenlogische Deduktion für Anwendungen
    (Antragsteller Furbach, Ulrich )
  - RatioLog - Rationale Erweiterungen des Logischen Schließens
    (Antragsteller Furbach, Ulrich ; Stolzenburg, Frieder )
  - Reaktive Konstruktion von und reaktives Routing in Euklidischen und Topologischen Netzspannern über drahtlosen Ad-hoc- und Sensornetzen
    (Antragsteller Frey, Hannes )
  - SEEDS: Schätzung struktureller Fehler in dynamischen Systemmodellen
    (Antragsteller Kschischo, Maik )
Forschungsgruppen
- laufende Projekte
  - FOR 2800: Chromosomale Instabilität: Funktionelle Wechselwirkungen von DNA-Replikationsstress und mitotischer Fehlfunktion
    (Sprecher Bastians, Holger )
  - Modellierung des Zusammenhangs zwischen Replikationsstress, chromosomaler Instabilität und Aneuploidy
    (Antragsteller Kschischo, Maik )
Schwerpunktprogramme
- abgeschlossene Projekte
  - Deduktiver Entwurf, Analyse und Verifikation von Multiagenten-Systemen für den RoboCup
    (Antragsteller Furbach, Ulrich ; Stolzenburg, Frieder )
  - Kooperative Regelung und Topologiekontrolle für eng in großen drahtlosen Netzen gekoppelte autonome Agenten
    (Antragsteller Frey, Hannes ; Werner, Herbert )
  - Synchronizität beim wissensbasierten kooperativen Lernen
    (Antragsteller Schwabe, Gerhard )
Sonderforschungsbereiche
- abgeschlossene Projekte
  - Realisierung und Optimierung von Overlays über physikalischen Netzen
    (Teilprojektleiter Frey, Hannes ; Karl, Holger )
Transregios
- abgeschlossene Projekte
  - Automatisierte Verifikation kooperierender Verkehrssysteme
    (Teilprojektleiterinnen / Teilprojektleiter Althaus, Ernst ; Damm, Werner ; Olderog, Ernst-Rüdiger ; Scholl, Christoph ; Sofronie-Stokkermans, Viorica ; Waldmann, Uwe )
  - Über Realzeitautomaten hinaus
    (Teilprojektleiterinnen / Teilprojektleiter Finkbeiner, Bernd ; Fränzle, Martin ; Olderog, Ernst-Rüdiger ; Podelski, Andreas ; Sofronie-Stokkermans, Viorica )