Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Albert-Ludwigs-Universität Freiburg
Institut für Informatik
Arbeitsgruppe Grundlagen der Künstlichen Intelligenz

Address Georges-Köhler-Allee 52
79110 Freiburg
Deutschland

GERiT This institution in GERiT

79110 Freiburg

Projects

Research Grants
- Completed projects
  - Cognitive and cortixal correlates and computational modeling of spatial belief revision
    (Applicant Knauff, Markus )
  - Computergestützte Verifikation von Automatenkonstruktionen für Model Checking
    (Applicants Esparza, Javier ; Nebel, Bernhard ; Nipkow, Ph.D., Tobias )
  - Efficient Planning with State-Dependent Action Costs
    (Applicant Mattmüller, Robert )
  - Generierung ressourcenbeschränkter Pläne durch heuristische Vorwärtssuche
    (Applicant Nebel, Bernhard )
  - Kooperatives Wahrnehmen und Handeln mobiler, autonomer Systeme mit Hilfe von Laser-Scannern
    (Applicant Nebel, Bernhard )
  - Logikbasierte Wissensrepräsentaion Teilprojekt: Planungstechniken und Aktionssprachen
    (Applicants Lakemeyer, Ph.D., Gerhard ; Nebel, Bernhard )
  - Planungstechniken und Aktionssprachen
    (Applicants Lakemeyer, Ph.D., Gerhard ; Nebel, Bernhard )
Priority Programmes
- Completed projects
  - Non-monotonicity, consistency, and rationality in human reasoning
    (Applicants Knauff, Markus ; Ragni, Marco )
  - Repräsentation und effiziente Verarbeitung reichhaltiger qualitativer räumlicher Information
    (Applicant Nebel, Bernhard )
Emmy Noether International Fellowships
- Completed projects
  - Handlungstheorie und Handlungslogik für Gruppenagenten: Begriffe, Kalküle, Anwendungen
    (Applicant Wölfl, Stefan )
CRC/Transregios
- Completed projects
  - Compositional Approaches to System Verification
    (Project Heads Becker, Bernd ; Finkbeiner, Bernd ; Nebel, Bernhard ; Scholl, Christoph )
  - Effects of background knowledge on human spatial reasoning
    (Project Heads Knauff, Markus ; Nebel, Bernhard )
  - Heuristic Search and Abstract Model Checking
    (Project Heads Finkbeiner, Bernd ; Nebel, Bernhard ; Podelski, Andreas )
  - [LogoSpace] Constraint-based Reasoning in Qualitative Spatio-Temporal Calculi
    (Project Heads Mossakowski, Till ; Nebel, Bernhard ; Wölfl, Stefan )
  - [PlanSpace] Spatial Planning
    (Project Heads Nebel, Bernhard ; Teschner, Matthias )
  - Research Training Group
    (Project Heads Nebel, Bernhard ; Schill, Kerstin )
Research Units
- Completed projects
  - Planning and Action Control for Robots in Human Environments
    (Applicants Burgard, Wolfram ; Lakemeyer, Ph.D., Gerhard ; Nebel, Bernhard )
Research Training Groups
- Completed projects
  - GRK 806: Mathematical logic and applications
    (Spokesperson Lausen, Georg )
Clusters of Excellence
- Completed projects
  - EXC 1086: BrainLinks-BrainTools
    (Spokesperson Burgard, Wolfram )

© 2024 DFG Disclaimer / Copyright / Privacy Policy