Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

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

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

GERiT This institution in GERiT

44227 Dortmund

Projects

Research Grants
- Current projects
- Completed projects
  - A method for the design of dry-running rotary positive displacement devices
    (Applicant Kauder, Knut )
  - Conditional Argumentative Reasoning
    (Applicants Kern-Isberner, Gabriele ; Thimm, Matthias )
  - Dynamic Expressiveness of Logics
    (Applicant Schwentick, Thomas )
  - Formale Grundlagen von XML-Anfragen unter besonderer Berücksichtigung von XQuery
    (Applicant Schwentick, Thomas )
  - Logikbasierte probabilistiche Wissensrepräsentation für relationales Lernen, Modellieren und Inferieren
    (Applicants Beierle, Christoph ; Kern-Isberner, Gabriele )
  - Non-classical Logics on Labelled Structures with Data
    (Applicant Schwentick, Thomas )
  - Universales Optimierungsverfahren für die Geometrie von Schraubenrotoren
    (Applicant Reusch, Bernd )
Collaborative Research Centres
- Completed projects
  - Exchange and Fusion of Information under Availability and Confidentiality Requirements in Multi-Agent Systems
    (Project Heads Biskup, Joachim ; Kern-Isberner, Gabriele )
  - Multikriterielle Entscheidungsfindung
    (Project Head Reusch, Bernd )
Priority Programmes
- Current projects
  - Intentional Forgetting and Changes in Work Processes: A Process-Conditional Approach in the Administrative and IT Context
    (Applicants Beierle, Christoph ; Kern-Isberner, Gabriele ; Ragni, Marco )
- Completed projects
Research Units
- Completed projects
  - Advanced Solving Technology for Dynamic and Reactive Applications
    (Applicants Brewka, Gerhard ; Kern-Isberner, Gabriele ; Schaub, Torsten )
  - Probabilistic Description Logics Based on the Aggregating Semantics and the Principle of Maximum Entropy
    (Applicants Baader, Franz ; Kern-Isberner, Gabriele )

© 2024 DFG Disclaimer / Copyright / Privacy Policy