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	Veranstaltungsnummer	554911
SWS		Semester	WiSe 2016/17
Einrichtung	Institut für Informatik und Computational Science	Sprache	englisch
Belegungsfrist	04.10.2016 - 20.11.2016 Belegung über PULS

Gruppe 1:

Vormerken: jetzt belegen / abmelden

		Tag	Zeit	Rhythmus	Dauer	Raum	Lehrperson	Ausfall-/Ausweichtermine	Max. Teilnehmer/-innen
	Vorlesung	Fr	12:00 bis 16:00	wöchentlich	06.01.2017 bis 10.02.2017	3.06.H01	Prof. Dr. Schaub , Dr. Gebser , Romero Davila

Kurzkommentar	Die Vorlesung findet ab Januar 2017 freitags von 12-16 Uhr im HS 03.06.H01 statt.
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 2016/17 , Aktuelles Semester: SoSe 2024

© Copyright HIS
Hochschul-Informations-System eG