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