Michael Fink - Teaching
Winter Term 2008/2009
Lectures
Laboratories
Seminars
- Methods of Knowledge Processing for the Next-Generation Web: Semantic Web Services;
- Answer-Set Programming;
- History of Logic: From Aristoteles to Gödel.
- See also our list of topics (in German) for this term.
Praktika
- Current topics on demand, just contact me:
; - see also our general information (in German) concerning Praktika.
Summer Term 2008
Lectures
Laboratories
Seminars
- Methods for Inconsistent Knowledge Management;
- Methods of Knowledge Processing for the Next-Generation Web: Ontology Matching
- Answer-Set Programming;
- Anniversary of Two Pioneers in AI: John McCarthy and Marvin Minsky 80.
- See also our list of topics (in German) for this term.
Praktika
- Current topics on demand, just contact me:
;
- see also our general information (in German) concerning Praktika.
Former Terms
Lectures
- Intelligent Software Agents;
- History of Logic;
- Introduction to Knowledge-Based Systems;
- Knowledge-Based Systems.
Laboratories
- Logic-Oriented Programming;
- Introduction to Knowledge-Based Systems.
Seminars
- Methods of Knowledge Processing for the Next-Generation Web: Security, Privacy, and Trust;
- History of Logic: From Aristoteles to Gödel.
- Methods of Knowledge Processing for the Next-Generation Web: P2P Data Integration;
- Answer-Set Programming;
- Causal Reasoning, Planning, and Action Languages;
- Centenary Seminar: Kurt Gödel;
- Program Transformations in Logic Programming;
- Semantic Web;
- Intelligent Web Services;
- Information Agents;
- KR Tools for Problem Solving;
- Quantum Computers: Selected Topics.