Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

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

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

GERiT Diese Institution in GERiT

79110 Freiburg

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Computergestützte Verifikation von Automatenkonstruktionen für Model Checking
    (Antragsteller Esparza, Javier ; Nebel, Bernhard ; Nipkow, Ph.D., Tobias )
  - Effizientes Planen mit zustandsabhängigen Aktionskosten
    (Antragsteller Mattmüller, Robert )
  - Generierung ressourcenbeschränkter Pläne durch heuristische Vorwärtssuche
    (Antragsteller Nebel, Bernhard )
  - Kognitive und kortikale Korrelate und computationale Modellierung der Überzeugungsrevision beim räumlichen Schließen
    (Antragsteller Knauff, Markus )
  - Kooperatives Wahrnehmen und Handeln mobiler, autonomer Systeme mit Hilfe von Laser-Scannern
    (Antragsteller Nebel, Bernhard )
  - Logikbasierte Wissensrepräsentaion Teilprojekt: Planungstechniken und Aktionssprachen
    (Antragsteller Lakemeyer, Ph.D., Gerhard ; Nebel, Bernhard )
  - Planungstechniken und Aktionssprachen
    (Antragsteller Lakemeyer, Ph.D., Gerhard ; Nebel, Bernhard )
Schwerpunktprogramme
- abgeschlossene Projekte
  - Non-monotonicity, consistency, and rationality in human reasoning
    (Antragsteller Knauff, Markus ; Ragni, Marco )
  - Repräsentation und effiziente Verarbeitung reichhaltiger qualitativer räumlicher Information
    (Antragsteller Nebel, Bernhard )
Emmy Noether-Auslandsstipendien
- abgeschlossene Projekte
  - Handlungstheorie und Handlungslogik für Gruppenagenten: Begriffe, Kalküle, Anwendungen
    (Antragsteller Wölfl, Stefan )
Transregios
- abgeschlossene Projekte
  - Effects of background knowledge on human spatial reasoning
    (Teilprojektleiter Knauff, Markus ; Nebel, Bernhard )
  - Heuristisches Suchen und abstraktes Modell-Checking für Realzeit-Systeme
    (Teilprojektleiter Finkbeiner, Bernd ; Nebel, Bernhard ; Podelski, Andreas )
  - Integriertes Graduiertenkolleg
    (Teilprojektleiterinnen / Teilprojektleiter Nebel, Bernhard ; Schill, Kerstin )
  - Kompositionelle Verifikation komplexer Systeme
    (Teilprojektleiter Becker, Bernd ; Finkbeiner, Bernd ; Nebel, Bernhard ; Scholl, Christoph )
  - [LogoSpace] Constraint-basierte Schlussverfahren für qualitative räumliche und raumzeitliche Formalismen
    (Teilprojektleiter Mossakowski, Till ; Nebel, Bernhard ; Wölfl, Stefan )
  - [PlanSpace] Räumliches Planen
    (Teilprojektleiter Nebel, Bernhard ; Teschner, Matthias )
Forschungsgruppen
- abgeschlossene Projekte
  - Handlungsplanung und Aktionssteuerung für Roboter in Haushaltsumgebungen
    (Antragsteller Burgard, Wolfram ; Lakemeyer, Ph.D., Gerhard ; Nebel, Bernhard )
Graduiertenkollegs
- abgeschlossene Projekte
  - GRK 806: Mathematische Logik und Anwendungen
    (Sprecher Lausen, Georg )
Exzellenzcluster
- abgeschlossene Projekte
  - EXC 1086: BrainLinks-BrainTools
    (Sprecher Burgard, Wolfram )

© 2024 DFG Kontakt / Impressum / Datenschutz