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

Aus VoWi
Wechseln zu: Navigation, Suche

Daten[Bearbeiten]

Vortragende Antonius Weinzierl
ECTS 3
Abteilung Logic and Computation
Wann Sommersemester
Sprache English
Links TISS
Zuordnungen
M. Logic and Computation Wahlmodul Knowledge Representation and Artificial Intelligence
M. Software Engineering & Internet Computing Wahlmodul Formale Methoden und Theoretische Informatik

Mattermost: Channel "practical-applications-of-answer-set-programming" Team invite & account creation link Mattermost-Infos

Inhalt[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]

noch offen

Vortrag[Bearbeiten]

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

Übungen[Bearbeiten]

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

Prüfung, Benotung[Bearbeiten]

noch offen

Dauer der Zeugnisausstellung[Bearbeiten]

noch offen


Zeitaufwand[Bearbeiten]

noch offen

Unterlagen[Bearbeiten]

noch offen

Tipps[Bearbeiten]

noch offen

Verbesserungsvorschläge / Kritik[Bearbeiten]

noch offen