Skip to Content

TU Wien Fakultät für Informatik KBS Knowledge-Based Systems Group
Top-level Navigation: Current-level Navigation:

Path: KBS > staff > michael fink > Personal   Research   teaching   Curriculum Vitae  

Tools: print


Michael Fink - Teaching

Winter Term 2013/2014

Lectures

Laboratories

Praktika and Theses


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.


email


Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.