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
- Informatik-Kolloquium: Vortrag von Prof. Dr. Lutz Plümer am 2. 2. 2010
- SDKB 2010: 4th International Workshop on Semantics in Data and Knowledge Bases
- IPMU-2010: International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems
- NMR 2010: Non-Monotonic Reasoning - Sub-Workshop: NMR and Uncertainty
- WLP 2010: 24th Workshop on (Constraint) Logic Programming
- FLAIRS-23: Special Track on Uncertain Reasoning 2010
- GI: Informatiktage 2010
- KI-2009 Workshop: Relational Approaches to Knowledge Representation and Learning
- WLP 2009: 23rd Workshop on (Constraint) Logic Programming
- AST 2009: Applications of Semantic Technologies
- MOC 2009: Deklarative Modellierung und effiziente Optimierung — dank Constraint-Technologie
- ACCAT 2009: Applied and Computational Category Theory
- GI-Fachgrupppe "Wissensrepräsentation und Schließen"
- GI Vertrauensdozent
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"