TU Wien:Practical Applications of Answer Set Programming VU (Weinzierl)

Daten

Diese LVA wird nicht mehr von dieser Person angeboten, ist ausgelaufen, oder läuft aus und befindet sich daher nur noch zu historischen Zwecken im VoWi.

Vortragende	Antonius Weinzierl
ECTS	3
Letzte Abhaltung	2022S
Sprache	English
Mattermost	practical-applications-of-answer-set-programming • Register • Mattermost-Infos
Links	tiss:192084

Zuordnungen

Masterstudium Logic and Computation
Masterstudium Software Engineering & Internet Computing (veraltet)

Inhalt

Beginnend mit einer kleinen Einführung in Answer-Set Programming, geht es über zu den Abläufen in Grounder und Solver Komponenten. Es werden auch Modellierungs- und Optimisierungsmethoden erläutert, welche in kurzen "exercise sheets" angewandt werden.

Benötigte/Empfehlenswerte Vorkenntnisse

noch offen

Vortrag

Frontalvortrag im Stile der KBS-Gruppe. Aber im kleinen Kreis, daher oft mit Diskussion verbunden.

Übungen

Kurze "exercise sheets", welche stark an Lückentextbeispiele erinnern.

Prüfung, Benotung

Mündliche Prüfung mit folgende Fragen:

• Worum ging es in der Vorlesung?
• Was ist der Unterschied zwischen starker und schwacher Negation?
• Was hat Sie am meisten interessiert? Fragen dazu.
• Was ist das Generate-Define-Test Pattern.
• Einfaches Problem mit Stift und Zettel lösen. Bei mir war es jedem Knoten in einem Graphen genau ein Label zuzuweisen.

Dauer der Zeugnisausstellung

noch offen

Zeitaufwand

noch offen

Unterlagen

noch offen

• Materialien

Tipps

noch offen

Highlights / Lob

noch offen

Verbesserungsvorschläge / Kritik

noch offen

Materialien

Diese Seite hat noch keine Anhänge, du kannst aber neue hinzufügen.