Sie sind hier: Technische Universität Dortmund > Fakultät für Informatik > Lehrstuhl Informatik 1 - Logik in der Informatik
Überblick

Logic in Databases, Automata and Complexity (LogiDAC)

Prof. Dr. Thomas Schwentick

The group works on different areas of Theoretical Computer Science in which logic plays a prominent role.

Weiterlesen...
 

Functional-Logic Development & Implementation Techniques (FLDIT)

Prof. Dr. Peter Padawitz

 

Data analysis in biology and material science (DA-BiMaSc)

Dr. Lars Hildebrand

The work related to DA-BiMaSc covers two different fields of application: biology and material sciences. Both fields share the same nature of the fundamental data, e. g. spectra, depth profiles, or numerical matrices. Applied methods come from statistics, artificial intelligence, and computational intelligence. Objective of the work is the detection of relationships between the fundamental data and biological or physical properties.

 

Information Engineering (IE)

Prof. Dr. Gabriele Kern-Isberner

Knowledge Representation, Non-Monotonic Logics, Commonsense Reasoning

(IE)

 
Weitere Beiträge...
<< Start < Zurück 1 2 Weiter > Ende >>

Seite 1 von 2
Joomla SEF URLs by Artio