Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2

PULS

Foto: Matthias Friel

Anmelden
Node1

Declarative Modeling - Einzelansicht

Funktionen:

belegen/abmelden

Veranstaltungsart	Vorlesung/Übung	Veranstaltungsnummer	554921
SWS		Semester	WiSe 2019/20
Einrichtung	Institut für Informatik und Computational Science	Sprache	englisch
Belegungsfrist	01.10.2019 - 20.11.2019 Belegung über PULS

Gruppe 1:

Vormerken: jetzt belegen / abmelden

		Tag	Zeit	Rhythmus	Dauer	Raum	Lehrperson	Ausfall-/Ausweichtermine	Max. Teilnehmer/-innen
	Übung	Mo	16:00 bis 18:00	wöchentlich	09.12.2019 bis 03.02.2020	3.06.S23	Laferriere	23.12.2019: Akademische Weihnachtsferien 30.12.2019: Akademische Weihnachtsferien
	Vorlesung	Fr	12:00 bis 16:00	wöchentlich	13.12.2019 bis 07.02.2020	3.06.H01	Laferriere , Prof. Dr. Schaub	27.12.2019: Akademische Weihnachtsferien 03.01.2020: Akademische Weihnachtsferien

Kommentar	The goal of this course is to learn and experience advanced modeling and implementation techniques in the area of declarative problem solving. This course complements the one on Declarative Problem Solving and Optimization.
Literatur	Answer Set Solving in Practice by Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan and Claypool Knowledge Representation, Reasoning, and the Design of Intelligent Agents The Answer-Set Programming Approach by Michael Gelfond and Yulia Kahl Cambridge University Press
Voraussetzungen	Either previous or simultaneous course on Declarative Problem Solving and Optimization.
Leistungsnachweis	Implementation, documentation, presentation.

Strukturbaum

Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WiSe 2019/20 , Aktuelles Semester: SoSe 2024

© Copyright HIS
Hochschul-Informations-System eG