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

Detailseite

Institution

Druckansicht

Technische Universität Dortmund
Fakultät für Informatik
Informatik I - Lehrstuhl Logik in der Informatik

Adresse Otto-Hahn-Straße 16
44227 Dortmund
Deutschland

GERiT Diese Institution in GERiT

44227 Dortmund

Projekte

Sachbeihilfen
- laufende Projekte
- abgeschlossene Projekte
  - Dynamische Ausdrucksstärke von Logiken
    (Antragsteller Schwentick, Thomas )
  - Formale Grundlagen von XML-Anfragen unter besonderer Berücksichtigung von XQuery
    (Antragsteller Schwentick, Thomas )
  - Konditionales Argumentatives Schlussfolgern
    (Antragstellerinnen / Antragsteller Kern-Isberner, Gabriele ; Thimm, Matthias )
  - Logikbasierte probabilistiche Wissensrepräsentation für relationales Lernen, Modellieren und Inferieren
    (Antragstellerinnen / Antragsteller Beierle, Christoph ; Kern-Isberner, Gabriele )
  - Methode zur Auslegung trockenlaufender Rotationsverdrängermaschinen
    (Antragsteller Kauder, Knut )
  - Nichtklassische Logik auf Strukturen mit Datenwerten
    (Antragsteller Schwentick, Thomas )
  - Universales Optimierungsverfahren für die Geometrie von Schraubenrotoren
    (Antragsteller Reusch, Bernd )
Sonderforschungsbereiche
- abgeschlossene Projekte
  - Austausch und Fusion von Information unter Verfügbarkeits- und Vertraulichkeitsanforderungen in Multiagentensystemen
    (Teilprojektleiterinnen / Teilprojektleiter Biskup, Joachim ; Kern-Isberner, Gabriele )
  - Multikriterielle Entscheidungsfindung
    (Teilprojektleiter Reusch, Bernd )
Schwerpunktprogramme
- laufende Projekte
  - Intentionales Vergessen und Änderungen in Arbeitsprozessen: Ein prozesskonditional-orientierter Ansatz im Verwaltungs- und IT Kontext
    (Antragstellerinnen / Antragsteller Beierle, Christoph ; Kern-Isberner, Gabriele ; Ragni, Marco )
- abgeschlossene Projekte
  - Coordination Project of the Priority Program "New Frameworks of Rationality"
    (Antragsteller Knauff, Markus )
  - Gemeinsame Strukturen qualitativen und quantitativen rationalen Schlussfolgerns
    (Antragstellerinnen / Antragsteller Kern-Isberner, Gabriele ; Ragni, Marco )
  - Intentionales Vergessen durch kognitiv-informatische Methoden der Priorisierung, Kompression und Kontraktion von Wissen
    (Antragstellerinnen / Antragsteller Beierle, Christoph ; Kern-Isberner, Gabriele ; Ragni, Marco )
Forschungsgruppen
- abgeschlossene Projekte
  - Probabilistische Beschreibungslogiken unter Verwendung der Aggregationssemantik und dem Prinzip maximaler Entropie
    (Antragstellerinnen / Antragsteller Baader, Franz ; Kern-Isberner, Gabriele )
  - Problemlöseverfahren für dynamische und reaktive Anwendungen
    (Antragstellerinnen / Antragsteller Brewka, Gerhard ; Kern-Isberner, Gabriele ; Schaub, Torsten )

© 2024 DFG Kontakt / Impressum / Datenschutz