Forschungsfelder

Bildverarbeitung
  • Optimierung und Lernen in strukturierten Modellen
  • Korrespondenzen zwischen Bildern finden
  • Semantisches Verstehen von Szenen
  • Bildverarbeitung in der Biologie
Computational Logic 
  • Abstrakte Argumentation
  • Answer Set Programming
  • Beschreibungslogiken
  • Existenzielle Regeln
  • Formale Begriffsanalyse
  • Semantische Technologien
Wissenschaftliches Rechnen für Systembiologie
  • Wissenschaftliches Rechnen
  • Algorithmische Biologie
  • Biologische Bildverarbeitung
  • Paralleles Hochleistungsrechnen
Wissensverarbeitung
  • Connectionist Networks
  • Constraint Satisfaction Problems
  • Wissensrepräsentation und logisches Schließen
  • Human Reasoning
  • Satisfiability Testing

Zu dieser Seite

Bettina Weser
Letzte Änderung: 06.09.2016