Direkt zum Inhalt springen
Direkt zu Textvergrößerung und Kontrast springen
Servicenavigation
DFG Homepage
Impressum / Kontakt
|
Hilfe
|
Datenmonitor
English
Hauptnavigation
Suche
Katalog
Personenindex
Ortsindex
Über GEPRIS
Detailseite
Zurück
Institution
Universität Leipzig
Institut für Informatik
Abteilung Intelligente Systeme
Adresse
Augustusplatz 10
04109 Leipzig
Deutschland
GERiT
Diese Institution in GERiT
04109 Leipzig
Projekte
Sachbeihilfen
abgeschlossene Projekte
FAME: A Framework for Argument Mining and Evaluation
(Antragsteller
Baumann, Ringo
;
Heyer, Gerhard
;
Wiedemann, Gregor
)
Kombination von Aktionsformalismen und nichtmonotonen Logiken zur Entwicklung von Methoden zur Planung und Entscheidungsfindung in komplexen Umgebungen
(Antragsteller
Brewka, Gerhard
;
Thielscher, Michael
)
Morphogenetische Bedeutung von p21ras in differenzierten Neuronen: Morphologische Analyse, Modellierung und Computersimulation
(Antragsteller
Gärtner, Ulrich
)
Neue Werkzeuge für graphenbasierte formale Argumentation
(Antragsteller
Brewka, Gerhard
)
Theoretische Grundlagen einer computationalen Dialektik, die insbesondere kritische Dialoge und Verhandlungen modelliert
(Antragsteller
Brewka, Gerhard
)
Heisenberg-Förderung
laufende Projekte
Grundlagen ausdruckstarker Argumentationsformalismen
(Antragsteller
Baumann, Ringo
)
Forschungsgruppen
abgeschlossene Projekte
Hybride Schlussverfahren für dynamische Protein-Interaktionsnetze
(Antragsteller
Brewka, Gerhard
;
Schaub, Torsten
;
Schroeder, Michael
)
Problemlöseverfahren für dynamische und reaktive Anwendungen
(Antragstellerinnen / Antragsteller
Brewka, Gerhard
;
Kern-Isberner, Gabriele
;
Schaub, Torsten
)
Graduiertenkollegs
abgeschlossene Projekte
GRK 446: Wissensrepräsentation
(Sprecher
Brewka, Gerhard
)
GRK 1763: Quantitative Logiken und Automaten
(Sprecher
Baader, Franz
)
Zusatzinformationen
© 2024
DFG
Kontakt / Impressum
/
Datenschutz
Textvergrößerung und Kontrastanpassung
