Potassco teaching and tutorial material on Answer Set Programming (ASP)
The open course on Answer Set Programming powered by Potassco
Potsdam, Germany
Pinned Repositories
course
The main repository integrating the LaTeX beamer-based slides
potassco-asp-course.github.io
The webpage of the Potassco ASP course.
ezasp
notebooks
This repository collects notebooks for the course
advanced-asp-course
language
planning
visualization
hybrid-asp
Material on hybrid answers et programming
dynamic-asp
Material on extensions of ASP (and alike) dealing with dynamic systems
Potassco teaching and tutorial material on Answer Set Programming (ASP)'s Repositories
potassco-asp-course/course
The main repository integrating the LaTeX beamer-based slides
potassco-asp-course/interaction
potassco-asp-course/visualization
potassco-asp-course/hybrid-asp
Material on hybrid answers et programming
potassco-asp-course/potassco-asp-course.github.io
The webpage of the Potassco ASP course.
potassco-asp-course/systems
potassco-asp-course/multi-shot-solving
potassco-asp-course/notebooks
This repository collects notebooks for the course
potassco-asp-course/advanced-asp-course
potassco-asp-course/project-theory-solving-mini-clingcon
Implementing a minimal version of clingcon
potassco-asp-course/project-multi-shot-mini-asprin
Project on implementing a minimal version of asprin using multi-shot solving
potassco-asp-course/project-meta-programming
potassco-asp-course/exercises
Repository for the exercises of the course
potassco-asp-course/project-configuration
Advanced project on product configuration
potassco-asp-course/project-yosenabe
potassco-asp-course/project-robots
A project in ASP about robots navigating a graph to complete a set of jobs
potassco-asp-course/project-light
potassco-asp-course/project-decision-trees
potassco-asp-course/project-sudoku
potassco-asp-course/planning
potassco-asp-course/modeling
potassco-asp-course/heuristic-driven-solving
potassco-asp-course/course-light
A light course on ASP aiming at an industrial audience
potassco-asp-course/organization
potassco-asp-course/theory-solving
potassco-asp-course/controlling
potassco-asp-course/configuration
potassco-asp-course/preferences
potassco-asp-course/tutorial
potassco-asp-course/ezasp