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

• WLP 2008: 22nd Workshop on (Constraint) Logic Programming
• AST 2008: Applications of Semantic Technologies
• MOC-2008: Deklarative Modellierung und effiziente Optimierung - dank Constraint-Technologie
• KI-2007 Workshop: Dynamics of Knowledge and Belief
• GI-Fachgrupppe "Wissensrepräsentation und Schließen"
• Lehrbuch "Methoden wissensbasierter Systeme" in 4. Auflage.
• Buch: "Testing in Functional Programming"
• Buch: "Das Studium: Vom Start zum Ziel. Lei(d)tfaden für Studierende"