Project Details
Person
Professor Dr. Bernhard Nebel
Address
Albert-Ludwigs-Universität Freiburg
Institut für Informatik
Arbeitsgruppe Grundlagen der Künstlichen Intelligenz
Georges-Köhler-Allee 52
79110 Freiburg
-
As Applicant
-
Completed projects
-
Planungstechniken und Aktionssprachen (Research Grants)
-
Planning and Action Control for Robots in Human Environments (Research Units)
-
Completed projects
-
As Participating Researcher
-
Completed projects
-
GRK 806: Mathematical logic and applications (Research Training Groups)
-
EXC 1086: BrainLinks-BrainTools (Clusters of Excellence)
-
-
Completed projects
-
As Project Head
-
Completed projects
-
Effects of background knowledge on human spatial reasoning (CRC/Transregios)
-
[PlanSpace] Spatial Planning (CRC/Transregios)
-
Research Training Group (CRC/Transregios)
-
Heuristic Search and Abstract Model Checking (CRC/Transregios)
-
Compositional Approaches to System Verification (CRC/Transregios)
-
-
Completed projects
- As Participating Person
-
As Co-Investigator
-
Completed projects
-
Efficient Planning with State-Dependent Action Costs (Research Grants)
-
-
Completed projects
