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 Module Description

Declarative Modeling - Single View

Type of Course Übung Number 554921
Hours per week in term Term WiSe 2016/17
Department Institut für Informatik und Computational Science   Language englisch
application period 04.10.2016 - 20.11.2016

enrollment
Gruppe 1:
     apply now / cancel application
    Day Time Frequency Duration Room Lecturer Canceled/rescheduled on Max. participants
show single terms
Übung Di 16:00 to 18:00 Einzeltermin at 03.01.2017 3.06.S12 Dr. Gebser ,
Romero Davila 		 
show single terms
Übung Di 16:00 to 18:00 wöchentlich 10.01.2017 to 07.02.2017  3.01.2.32 Dr. Gebser ,
Romero Davila 		 
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 2016/17 , Currentterm: Summer 2024

© Copyright HIS
Hochschul-Informations-System eG