Home Contact Research Publications Teaching Software Credits

Teaching

2011/2012

2010/2011

2009/2010

2008/2009

Corso Logic and Computability at UNICAL
Corso Introduzione all'Informatica (Introduction to Computer Science) at UNICAL
Corso Ragionamento Automatico (Automated Reasoning) at UNICAL

2007/2008

Corso Pianificazione nell'Intelligenza Artificiale (Planning in Artificial Intelligence) at UNICAL
Corso Ragionamento Automatico (Automated Reasoning) at UNICAL

2006/2007

2005/2006

Corso Ragionamento Automatico (Automated Reasoning) at UNICAL

2004/2005

On leave from TUWIEN.

2003/2004

Logikorientierte Programmierung (VL 2.0) at TUWIEN
Wissensbasierte Systeme (VO 2.0) at TUWIEN
AK der Artificial Intelligence 3 (Deduktive Datenbanken) (VU 2.0) at TUWIEN
Praktika (PR 10.0) at TUWIEN
Laborübung Einführung in Wissensbasierte Systeme (LU 1.0) at TUWIEN
Seminare at TUWIEN:
1. Reasoning and the Web
2. Deklaratives Planen

2002/2003

On leave from TUWIEN.

2001/2002

Deductive Databases (VO 2.0) at TUWIEN
Logikorientierte Programmiersprachen (LU 2.0) at TUWIEN
Seminare at TUWIEN:
1. Tools for Problem Solving
2. Planen in der AI
Praktika (PR 10.0) at TUWIEN

2000/2001

1999/2000

Seminare at TUWIEN:
1. Semantiken für das WWW

	Home
Copyright © 1995-2012 Wolfgang Faber.