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 Praktikum Number 554941
Hours per week in term Term WiSe 2019/20
Department Institut für Informatik und Computational Science   Language englisch
application periods 01.10.2019 - 10.11.2019

enrollment
01.10.2019 - 20.11.2019

enrollment
Gruppe 1:
     apply now / cancel application
    Day Time Frequency Duration Room Lecturer Canceled/rescheduled on Max. participants
Praktikum -  to  wöchentlich at   Prof. Dr. Schaub ,
Laferriere 		 
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