Repositories list

• notebooks

  Public
  This repository collects notebooks for the course

  Jupyter Notebook

  •13•7•1•0•Updated Oct 25, 2024Oct 25, 2024

• course

  Public
  The main repository integrating the LaTeX beamer-based slides

  TeX

  •

  Creative Commons Zero v1.0 Universal

  •8•22•11•0•Updated Oct 6, 2024Oct 6, 2024

• interaction

  Public
  TeX

  •0•0•0•0•Updated Oct 5, 2024Oct 5, 2024

• visualization

  Public
  TeX

  •0•0•0•0•Updated Oct 5, 2024Oct 5, 2024

• hybrid-asp

  Public
  Material on hybrid answers et programming

  TeX

  •

  Creative Commons Zero v1.0 Universal

  •0•0•0•0•Updated Oct 5, 2024Oct 5, 2024

• potassco-asp-course.github.io

  Public
  The webpage of the Potassco ASP course.

  HTML

  •1•2•1•0•Updated Oct 4, 2024Oct 4, 2024

• systems

  Public
  TeX

  •

  Creative Commons Zero v1.0 Universal

  •8•0•0•0•Updated Oct 4, 2024Oct 4, 2024

• multi-shot-solving

  Public
  TeX

  •

  Creative Commons Zero v1.0 Universal

  •1•0•2•0•Updated Oct 4, 2024Oct 4, 2024

• advanced-asp-course

  Public
  0•1•0•0•Updated Aug 27, 2024Aug 27, 2024

• project-theory-solving-mini-clingcon

  Public template
  Implementing a minimal version of clingcon

  Python

  •0•0•0•0•Updated Jul 19, 2024Jul 19, 2024

• project-multi-shot-mini-asprin

  Public template
  Project on implementing a minimal version of asprin using multi-shot solving

  Python

  •0•0•0•0•Updated Jun 10, 2024Jun 10, 2024

• project-meta-programming

  Public template
  Python

  •2•0•0•0•Updated Jun 7, 2024Jun 7, 2024

• exercises

  Public
  Repository for the exercises of the course

  TeX

  •

  Creative Commons Zero v1.0 Universal

  •1•0•0•0•Updated Feb 1, 2024Feb 1, 2024

• project-configuration

  Public template
  Advanced project on product configuration

  Python

  •

  MIT License

  •0•0•0•0•Updated Jan 25, 2024Jan 25, 2024

• project-yosenabe

  Public template
  Jupyter Notebook

  •1•0•0•0•Updated Jan 19, 2024Jan 19, 2024

• project-robots

  Public template
  A project in ASP about robots navigating a graph to complete a set of jobs

  Jupyter Notebook

  •

  MIT License

  •0•0•0•0•Updated Jan 18, 2024Jan 18, 2024

• project-light

  Public template
  Jupyter Notebook

  •0•0•0•0•Updated Dec 10, 2023Dec 10, 2023

• project-decision-trees

  Public template
  Jupyter Notebook

  •

  MIT License

  •0•0•0•0•Updated Nov 30, 2023Nov 30, 2023

• project-sudoku

  Public template
  Jupyter Notebook

  •3•0•0•0•Updated Nov 30, 2023Nov 30, 2023

• planning

  Public
  TeX

  •

  Creative Commons Zero v1.0 Universal

  •0•0•0•0•Updated Nov 30, 2023Nov 30, 2023

• modeling

  Public
  TeX

  •

  Creative Commons Zero v1.0 Universal

  •1•0•0•0•Updated Nov 29, 2023Nov 29, 2023

• heuristic-driven-solving

  Public
  TeX

  •

  Creative Commons Zero v1.0 Universal

  •1•0•0•0•Updated Nov 29, 2023Nov 29, 2023

• course-light

  Public
  A light course on ASP aiming at an industrial audience

  TeX

  •

  Creative Commons Zero v1.0 Universal

  •0•0•0•0•Updated Nov 29, 2023Nov 29, 2023

• organization

  Public
  TeX

  •

  Creative Commons Zero v1.0 Universal

  •1•0•0•0•Updated Nov 26, 2023Nov 26, 2023

• theory-solving

  Public
  TeX

  •

  Creative Commons Zero v1.0 Universal

  •1•0•0•0•Updated Nov 26, 2023Nov 26, 2023

• controlling

  Public
  TeX

  •

  Creative Commons Zero v1.0 Universal

  •0•0•0•0•Updated Nov 26, 2023Nov 26, 2023

• configuration

  Public
  TeX

  •

  Creative Commons Zero v1.0 Universal

  •0•0•0•0•Updated Nov 11, 2023Nov 11, 2023

• preferences

  Public
  TeX

  •0•0•0•0•Updated Nov 11, 2023Nov 11, 2023

• tutorial

  Public
  TeX

  •

  Creative Commons Zero v1.0 Universal

  •1•0•0•0•Updated Nov 6, 2023Nov 6, 2023

• ezasp

  Public
  TeX

  •

  Creative Commons Zero v1.0 Universal

  •1•0•0•1•Updated Oct 27, 2023Oct 27, 2023