Skip to content
@krr-up

KRR@UP

Knowledge Representation and Reasoning Group at the University of Potsdam, Germany

Pinned Loading

  1. bibliography bibliography Public

    📚 BibTeX bibliography files of all papers referenced by the group

    TeX 2 6

  2. latex-collaboration-guide latex-collaboration-guide Public

    1

  3. latex-paper-template latex-paper-template Public template

    TeX 2

  4. latex-slides-template latex-slides-template Public template

    Template for creating (blue) slides with LaTeX beamer class

    TeX 1

  5. asp-macros asp-macros Public

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

    TeX 2 3

  6. latex-style-comments latex-style-comments Public

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

    TeX 1 1

Repositories

Showing 10 of 26 repositories
  • flatland Public

    A collection of the ongoing research project into the Flatland competition. Check the murphy-dev branch for efforts that are currently being explored.

    krr-up/flatland’s past year of commit activity
    Python 1 0 0 0 Updated Jul 1, 2024
  • bibliography Public

    📚 BibTeX bibliography files of all papers referenced by the group

    krr-up/bibliography’s past year of commit activity
    TeX 2 6 6 1 Updated Jun 30, 2024
  • asp-macros Public

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

    krr-up/asp-macros’s past year of commit activity
    TeX 2 3 0 1 Updated Jun 24, 2024
  • renopro Public

    Reifying non-ground ASP programs.

    krr-up/renopro’s past year of commit activity
    Python 1 MIT 0 2 0 Updated Jun 14, 2024
  • metric-temporal-experiments Public

    Various approaches to implementing metric temporal ASP.

    krr-up/metric-temporal-experiments’s past year of commit activity
    Python 0 MIT 0 0 0 Updated May 23, 2024
  • ucorexplain Public

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

    krr-up/ucorexplain’s past year of commit activity
    Python 1 MIT 0 0 1 Updated May 4, 2024
  • thesis-template Public

    Template for MSc. thesis

    krr-up/thesis-template’s past year of commit activity
    TeX 0 0 0 0 Updated Mar 4, 2024
  • mapf-instance-generator Public

    MAPF instance generator

    krr-up/mapf-instance-generator’s past year of commit activity
    Python 4 MIT 0 15 0 Updated Jan 30, 2024
  • advanced-course-light-material Public

    Material on our advanced course for engineers

    krr-up/advanced-course-light-material’s past year of commit activity
    0 0 0 0 Updated Nov 29, 2023
  • clinguin-product-configuration Public

    A clinguin implementation of product configuration

    krr-up/clinguin-product-configuration’s past year of commit activity
    Python 0 0 0 0 Updated Nov 26, 2023
View all repositories