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

Aus VoWi
Wechseln zu: Navigation, Suche

Daten

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

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

noch offen

Dauer der Zeugnisausstellung

noch offen


Zeitaufwand

noch offen

Unterlagen

noch offen

Tipps

noch offen

Verbesserungsvorschläge / Kritik

noch offen

Materialien

Diese Seite hat noch keine Materialien, du kannst aber neue hinzufügen.