Jump for page navigation or with accesskey and key 1. 
Jump to page content or with accesskey and key 2. 

Foto: Matthias Friel

You are here: Home

Declarative Modeling - Single View

Type of Course Vorlesung/Übung Number 554921
Hours per week in term Term WiSe 2019/20
Department Institut für Informatik und Computational Science   Language englisch
application period 01.10.2019 - 20.11.2019

enrollment
Gruppe 1:
     apply now / cancel application
    Day Time Frequency Duration Room Lecturer Canceled/rescheduled on Max. participants
show single terms
Übung Mo 16:00 to 18:00 wöchentlich 09.12.2019 to 03.02.2020  3.06.S23 Laferriere 23.12.2019: Akademische Weihnachtsferien
30.12.2019: Akademische Weihnachtsferien
show single terms
Vorlesung Fr 12:00 to 16:00 wöchentlich 13.12.2019 to 07.02.2020  3.06.H01 Laferriere ,
Prof. Dr. Schaub 		27.12.2019: Akademische Weihnachtsferien
03.01.2020: Akademische Weihnachtsferien
Description 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.
Literature 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
Prerequisites Either previous or simultaneous course on Declarative Problem Solving and Optimization.
Certificates Implementation, documentation, presentation.

Structure Tree
Lecture not found in this Term. Lecture is in Term WiSe 2019/20 , Currentterm: SoSe 2024

© Copyright HIS
Hochschul-Informations-System eG