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

Aus VoWi
Zur Navigation springen Zur Suche springen

Daten[Bearbeiten | Quelltext bearbeiten]

Vortragende Antonius Weinzierl
ECTS 3
Letzte Abhaltung 2022S
Sprache English
Mattermost practical-applications-of-answer-set-programmingRegisterMattermost-Infos
Links tiss:192084
Zuordnungen
Masterstudium Logic and Computation
Masterstudium Software Engineering & Internet Computing


Inhalt[Bearbeiten | Quelltext bearbeiten]

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[Bearbeiten | Quelltext bearbeiten]

noch offen

Vortrag[Bearbeiten | Quelltext bearbeiten]

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

Übungen[Bearbeiten | Quelltext bearbeiten]

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

Prüfung, Benotung[Bearbeiten | Quelltext bearbeiten]

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[Bearbeiten | Quelltext bearbeiten]

noch offen

Zeitaufwand[Bearbeiten | Quelltext bearbeiten]

noch offen

Unterlagen[Bearbeiten | Quelltext bearbeiten]

noch offen

Tipps[Bearbeiten | Quelltext bearbeiten]

noch offen

Highlights / Lob[Bearbeiten | Quelltext bearbeiten]

noch offen

Verbesserungsvorschläge / Kritik[Bearbeiten | Quelltext bearbeiten]

noch offen

Materialien

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