Repositories list

• study-reg-clinguin

  Public
  Clinguin UI for Study regulations

  0•0•0•1•Updated Apr 6, 2025Apr 6, 2025

• bibliography

  Public
  📚 BibTeX bibliography files of all papers referenced by the group

  bibtexbibliographyreferences+ 2essentialsbibfiles

  TeX

  •7•3•9•0•Updated Apr 4, 2025Apr 4, 2025

• asp-macros

  Public
  LaTeX macros for concepts from ASP (originally built for ASP book)

  latexessentials

  TeX

  •3•2•0•1•Updated Feb 21, 2025Feb 21, 2025

• flatland

  Public
  A collection of the ongoing research project into the Flatland competition.

  clingoanswer-set-programmingmulti-agent-path-finding+ 2flatlandflatland-challenge

  Python

  •3•4•7•2•Updated Jan 22, 2025Jan 22, 2025

• metric-temporal-experiments

  Public
  Various approaches to implementing metric temporal ASP.

  Python

  •

  MIT License

  •0•0•0•0•Updated Jan 21, 2025Jan 21, 2025

• mapf-instance-generator

  Public
  MAPF instance generator

  Python

  •

  MIT License

  •1•5•15•0•Updated Aug 30, 2024Aug 30, 2024

• flatland-framework

  Public
  Python

  •

  MIT License

  •0•0•0•0•Updated Aug 28, 2024Aug 28, 2024

• latex-paper-template

  Public template
  latexessentials

  TeX

  •3•0•2•1•Updated Jul 10, 2024Jul 10, 2024

• logos

  Public
  Collection of logos, eg for use in slides

  logosessentials

  PostScript

  •

  Other

  •2•0•1•1•Updated Jul 10, 2024Jul 10, 2024

• renopro

  Public
  Reifying non-ground ASP programs.

  Python

  •

  MIT License

  •0•1•2•0•Updated Jul 7, 2024Jul 7, 2024

• ucorexplain

  Public
  We play around how to get explanations as a proof tree using UNSAT core techniques

  Python

  •

  MIT License

  •0•1•0•1•Updated May 4, 2024May 4, 2024

• thesis-template

  Public
  Template for MSc. thesis

  TeX

  •0•0•0•0•Updated Mar 4, 2024Mar 4, 2024

• advanced-course-light-material

  Public
  Material on our advanced course for engineers

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

• clinguin-product-configuration

  Public
  A clinguin implementation of product configuration

  Python

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

• asp-dse

  Public
  ASP-based solution for Design Space Exploration

  Python

  •0•0•16•0•Updated Aug 24, 2023Aug 24, 2023

• study-reg-configuration

  Public
  Describing the study regulation problem as a configuration problem

  0•0•0•0•Updated Aug 15, 2023Aug 15, 2023

• latex-slides-template

  Public template
  Template for creating (blue) slides with LaTeX beamer class

  TeX

  •1•0•0•0•Updated Jul 4, 2023Jul 4, 2023

• meta-metric-temporal

  Public
  Experiments in implementing metric temporal answer set programming using metaprogramming.

  MIT License

  •0•0•0•0•Updated Jun 15, 2023Jun 15, 2023

• robot-scheduling-encodings

  Public
  Encodings and benchmarking for the robot-scheduling paper

  Python

  •0•0•3•0•Updated Apr 20, 2023Apr 20, 2023

• path-repair

  Public
  0•0•0•0•Updated Aug 30, 2022Aug 30, 2022

• latex-collaboration-guide

  Public
  documentationlatexessentials

  1•0•3•0•Updated Apr 1, 2022Apr 1, 2022

• latex-style-comments

  Public
  A scaled down version of Torsten's comments style that is hopefully more compatible

  latexlatex-style

  TeX

  •1•1•0•1•Updated Nov 25, 2021Nov 25, 2021

• action_juggling_robot

  Public
  0•0•4•0•Updated Sep 2, 2021Sep 2, 2021

• notebook

  Public
  Jupyter Notebook

  •2•1•0•0•Updated Feb 22, 2021Feb 22, 2021

• benchmark-tool-guide

  Public
  Guide to the Potassco benchmark tool

  Shell

  •1•2•1•0•Updated Sep 14, 2020Sep 14, 2020