Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
Deutsch
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
Rheinisch-Westfälische Technische Hochschule Aachen
Informatik 5 - Knowledge-Based Systems Group
Address
Ahornstraße 55
52074 Aachen
Deutschland
GERiT
This institution in GERiT
52074 Aachen
Projects
Priority Programmes
Completed projects
A real time, deliberative component for cooperative multi-robot systems in highly dynamic environments
(Applicant
Lakemeyer, Ph.D., Gerhard
)
TROPOS: Eine agentengestützte Umgebung für das Requirements Engineering in strategischen Netzwerken
(Applicant
Funken, Christiane
)
TROPOS: Eine agentengestützte Umgebung für das Requirements Engineering in strategischen Netzwerken
(Applicant
Jarke, Matthias
)
Research Units
Completed projects
Central Services
(Applicant
Lakemeyer, Ph.D., Gerhard
)
FOR 1513: Hybrid Reasoning for Intelligent Systems (HYBRIS)
(Spokesperson
Lakemeyer, Ph.D., Gerhard
)
Hybris Coordination Project
(Applicant
Lakemeyer, Ph.D., Gerhard
)
Planning and Action Control for Robots in Human Environments
(Applicants
Burgard, Wolfram
;
Lakemeyer, Ph.D., Gerhard
;
Nebel, Bernhard
)
Verification of Non-Terminating Action Programs (VERITAS)
(Applicants
Baader, Franz
;
Lakemeyer, Ph.D., Gerhard
)
Research Grants
Completed projects
Constraint-based Transformations of Abstract Task Plans into Executable Actions for Autonomous Robots
(Applicants
Ferrein, Alexander
;
Lakemeyer, Ph.D., Gerhard
)
HeRBiE: Binaurales Hören für mobile Roboter
(Applicant
Lakemeyer, Ph.D., Gerhard
)
Logikbasierte Wissensrepräsentaion Teilprojekt: Planungstechniken und Aktionssprachen
(Applicants
Lakemeyer, Ph.D., Gerhard
;
Nebel, Bernhard
)
Planungstechniken und Aktionssprachen
(Applicants
Lakemeyer, Ph.D., Gerhard
;
Nebel, Bernhard
)
Teilprojekt RWTH Aachen: Nachvollziehbares, kooperatives Requirements Engineering für Communities-of-practice
(Applicant
Jarke, Matthias
)
CRC/Cultural Studies Research Centres
Completed projects
Handlungsfähigkeit in digitalen sozialen Netzwerken durch Sichtbarmachung von multidimensionalen Störungsmustern
(Project Heads
Jarke, Matthias
;
Klamma, Ralf
)
Research Training Groups
Current projects
GRK 2236: UNRAVEL - UNcertainty and Randomness in Algorithms, VErification, and Logic
(Spokesperson
Katoen, Joost-Pieter
)
Completed projects
GRK 643: Software for Mobile Communicaton Systems
(Spokesperson
Spaniol, Otto
)
Clusters of Excellence (ExStra)
Current projects
EXC 2023: Internet of Production (IoP)
(Spokesperson
Brecher, Christian
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung
