Lehrangebot der Abteilung
Formale Konzepte

Sommersemester 2003                                                         

• Theorie-Seminar (H.Herre, H.Tompits, J.Waldmann)          Mailingliste
  • dienstags, 11.00-12.30 Uhr, HG 3-68

• Deklarative Programmierung in der Künstlichen Intelligenz (H.Herre, G.Brewka)
  • Seminar: dienstags, 13.15-14.45 Uhr, SG 3-11

• Deduktionssysteme I (H.Herre)
  • Vorlesung: mittwochs, 13.15-14.45 Uhr, HS 4

• Formale Ontologie und Informationssysteme II (H.Herre, B.Heller)
  • Vorlesung: mittwochs, 15.15-16.45 Uhr, HS 4

• Prinzipien des Ontological Engineering mit GOL (H.Herre, B.Heller)
  • Vorlesung: mittwochs, 17.00-18.30 Uhr, SG 3-01

Durchgeführte Lehrveranstaltungen:                                

[WS 02/03] [SS 02] [WS 01/02] [SS 01] [WS 00/01] [SS 00]
[WS 99/00] [SS 99] [WS 98/99] [SS 98] [WS 97/98] [SS 97] [WS 96/97] [SS 96]