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

From VoWi
Jump to navigation Jump to search

Daten

Lecturers Antonius Weinzierl
ECTS 3
Department Logic and Computation
When summer semester
Language English
Links tiss:192084 , Mattermost-Channel
Zuordnungen
Master Logic and Computation Wahlmodul Knowledge Representation and Artificial Intelligence
Master Software Engineering & Internet Computing Wahlmodul Formale Methoden und Theoretische Informatik

Mattermost: Channel "practical-applications-of-answer-set-programming"RegisterMattermost-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

Attachments

This page has no attachments yet but you can add some.