Michael Fink - Teaching
Winter Term 2013/2014
Lectures
Laboratories
Praktika and Theses
- Current topics on demand, just contact me:
; - see also our general information (in German) concerning Praktika.
Former Terms
Lectures
- Logic for Knowledge Representation;
- Intelligent Software Agents;
- History of Logic;
- Introduction to Knowledge-Based Systems;
- Knowledge-Based Systems.
Laboratories
- Logic for Knowledge Representation;
- Logic-Oriented Programming;
- Introduction to Knowledge-Based Systems;
- Knowledge-Based Systems.
Seminars
- Methods for Inconsistent Knowledge Management;
- Anniversary of Two Pioneers in AI: John McCarthy and Marvin Minsky 80.
- 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;
- Intelligent Software Agents;
- Semantic Web;
- Intelligent Web Services;
- Information Agents;
- KR Tools for Problem Solving;
- Quantum Computers: Selected Topics.