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

PULS

Foto: Matthias Friel

Login
Node2

Advanced Problem Solving Techniques - Single View

Functions:

apply / withdraw application

Type of Course	Vorlesung	Number	555911
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
application periods	01.10.2019 - 20.11.2019 enrollment

Gruppe 1:

preselect apply now / cancel application

		Day	Time	Frequency	Duration	Room	Lecturer	Canceled/rescheduled on	Max. participants
	Vorlesung	Fr	12:00 to 16:00	wöchentlich	18.10.2019 to 06.12.2019	3.06.H01	Laferriere , Prof. Dr. Schaub	08.11.2019:
	Vorlesung	Fr	12:00 to 16:00	Einzeltermin	at 08.11.2019	3.06.H08	Romero Davila , Prof. Dr. Schaub

Comments	Die Vorlesung findet nur bis Dezember 2019 freitags von 12-16 Uhr im HS 03.06.H01 statt.
Description	Answer Set Programming (ASP) is a prime approach to declarative problem solving. Although initially tailored to modeling problems in the area of Knowledge Representation and Reasoning (KRR), its attractive combination of a rich yet simple modeling language with high-performance solving capacities has sparked interests in many other areas even beyond KRR. This course presents a detailed introduction to ASP, aiming at using ASP languages and systems for solving application problems. Starting from the essential formal foundations, it introduces ASP's solving technology, modeling language and methodology, while illustrating the overall solving process by practical examples.
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
Certificates	Exam, assignments, report and talk.

Structure Tree

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

© Copyright HIS
Hochschul-Informations-System eG