Startseite
Willkommen
Willkommen auf den WWW-Seiten des Lehrgebiets Wissensbasierte Systeme.
Wir führen Lehre und Forschung in den Bereichen Wissensbasierte Systeme sowie funktionaler und logischer Programmierung durch.
Aktuelles
- FLAIRS-25: Special Track on Uncertain Reasoning 2012
- DKB-2011: 3rd Workshop on Dynamics of Knowledge and Belief - Evolving Knowledge in Theory and Applications
- MOC-2011: Deklarative Modellierung und effiziente Optimierung mit Constraint-Technologie
- AST 2011: 6th International Workshop Applications of Semantic Technologies
- WLP 2011: 25th Workshop on Logic Programming
- INAP 2011: 19th International Conference on Applications of Declarative Programming and Knowledge Management
- IJCAI-2011: Twenty-Second International Joint Conference on Artificial Intelligence
- FLAIRS-24: Special Track on Uncertain Reasoning 2011
- CPAIOR 2011 WORKSHOP: ISA - Innovative Scheduling and other Applications using CP-AI-OR
- GI: Informatiktage 2011
- GI-Fachgrupppe "Wissensrepräsentation und Schließen"
- GI Vertrauensdozent
Lehrbuch "Methoden wissensbasierter Systeme" in 4. Auflage.
Buch: "Learning and Modeling with Probabilistic Conditional Logic"
Buch: "Testing in Functional Programming"
Buch: "Das Studium: Vom Start zum Ziel. Lei(d)tfaden für
Studierende"