Support und Fragen zur LVA: ewbs-2017w@kr.tuwien.ac.at

Achtung:

• Beginn der LV: Oct 3 2017. Die einzelnen Termine können sich noch ändern.
• Verpflichtende Anmeldung via TISS zu im Zeitraum Sep 18 bis Oct 6 2017.  Verspätete Anmeldungen können nicht berücksichtigt werden.
• Verpflichtender Eingangstest via TUWEL: Thu Oct 6 2017 und Fri Oct 8 2017, jeweils 00:00-23:55
• Ein positiver Eingangstest impliziert die Ausstellung eines negativen Zeugnisses, falls Sie danach nicht weiter an der LVA teilnehmen.

Vermittlung von Kenntnissen und Techniken, die für wissensbasierte Systeme relevant sind.

Didaktisches Vorgehen

• Vorlesung mit Frontalvortrag
• Laborübungsteil: Programmierprojekt
• Optionale Übungsaufgaben (bringen Zusatzpunkte): Bearbeitung zu Hause und anschließendes Abgabegespräch

Foundations of knowledged based systems (logic, nonmonotonic reasoning, answer-set programming, probabilistic methods, development of knowledge-based systems)

More information is available in German version of this course page.

There are additional slides on proof techniques (together with exercise sheets) available for tudents participating in the optional tutorial on proofs (in the frame of the master lecture on formal methods in CS).

ECTS breakdown: 5 ECTS = 125 Hours

• Einführungsvorlesung 0.5h
• Vorlesungen19.5h
• Eingangstest 0.5h
• Übungsteil 54h
• Prüfungsvorbereitung 49h
• Prüfung 1.5h

More information is available in German version of this course page.

Verpflichtende Anmeldung via TISS im Zeitraum Sep 18 bis Oct 6 2017. Verspätete Anmeldungen können nicht berücksichtigt werden.