Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

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

Address Universitätsstraße 1
56070 Koblenz
Deutschland

GERiT This institution in GERiT

56070 Koblenz

Projects

Research Grants
- Current projects
  - Explainable Belief Merging
    (Applicants Sofronie-Stokkermans, Viorica ; Thimm, Matthias )
- Completed projects
  - Conception and Implementation of a Functional Querying- and Transformation-API
    (Applicant Ebert, Jürgen )
  - CORG - Cognitive Reasoning
    (Applicants Furbach, Ulrich ; Schon, Claudia ; Stolzenburg, Frieder )
  - Hybrid spatial deduction in dynamic environments with application to cooperating agents in the RoboCup
    (Applicant Furbach, Ulrich )
  - Logische Antwortfindung über semantisch strukturierten Wissensbasen
    (Applicants Furbach, Ulrich ; Kirsch, Werner )
  - Model Based Deduction in Predicate Logic for Applications
    (Applicant Furbach, Ulrich )
  - RatioLog - Rational Extensions of Logical Reasoning
    (Applicants Furbach, Ulrich ; Stolzenburg, Frieder )
  - Reactive Construction of and Reactive Routing in Euclidean and Topological Network Spanners over Wireless Ad-Hoc and Sensor Networks
    (Applicant Frey, Hannes )
  - SEEDS: Structural Error Estimation in Dynamic System Models
    (Applicant Kschischo, Maik )
Research Units
- Current projects
  - FOR 2800: Chromosome Instability: Cross-talk of DNA replication stress and mitotic dysfunction
    (Spokesperson Bastians, Holger )
  - Modelling the link between replication stress, chromosomal instability and aneuploidy
    (Applicant Kschischo, Maik )
Priority Programmes
- Current projects
  - Cooperative and Topology Control for Tightly Coupled Large-Scale Wireless Networked Autonomous Agents
    (Applicants Frey, Hannes ; Werner, Herbert )
- Completed projects
  - Deductive design, analysis and verification of multi-agent systems for RoboCup
    (Applicants Furbach, Ulrich ; Stolzenburg, Frieder )
  - Synchronizität beim wissensbasierten kooperativen Lernen
    (Applicant Schwabe, Gerhard )
Collaborative Research Centres
- Completed projects
  - Realizing and Optimizing Overlays over physical networks
    (Project Heads Frey, Hannes ; Karl, Holger )
CRC/Transregios
- Completed projects
  - Automated Verification of Cooperating Traffic Agents
    (Project Heads Althaus, Ernst ; Damm, Werner ; Olderog, Ernst-Rüdiger ; Scholl, Christoph ; Sofronie-Stokkermans, Viorica ; Waldmann, Uwe )
  - Beyond Timed Automata
    (Project Heads Finkbeiner, Bernd ; Fränzle, Martin ; Olderog, Ernst-Rüdiger ; Podelski, Andreas ; Sofronie-Stokkermans, Viorica )

© 2024 DFG Disclaimer / Copyright / Privacy Policy