Lehr- und Forschungseinheit für Programmier- und Modellierungssprachen, Institut für Informatik
print

Sprachumschaltung

Navigationspfad


Inhaltsbereich

Lehr- und Forschungseinheit für Programmier- und Modellierungssprachen

Prof. Dr. François Bry, Ordinarius

Prof. Dr. Hans Jürgen Ohlbach, Extra-Ordinarius

 

Schwerpunkte in Lehre und Forschung

  • Wissensrepräsentation und -verwaltung
  • Logikbasierte Wissensmodellierung
  • Markup-Sprachen und Semistrukturierte Datenmodellierung
  • Logik- und Constraint-Programmierung
  • Automatische Deduktion
  • Künstliche Intelligenz