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 3 7

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

    1

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

    TeX 3

  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 28 repositories
  • bibliography Public

    📚 BibTeX bibliography files of all papers referenced by the group

    krr-up/bibliography’s past year of commit activity
    TeX 3 7 7 1 Updated Dec 24, 2024
  • flatland-formalization-notes Public

    A space for the formalization of the underlying structure of Flatland.

    krr-up/flatland-formalization-notes’s past year of commit activity
    TeX 0 0 0 2 Updated Dec 24, 2024
  • flatland Public

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

    krr-up/flatland’s past year of commit activity
    Python 4 2 6 0 Updated Dec 13, 2024
  • study-reg-clinguin Public

    Clinguin UI for Study regulations

    krr-up/study-reg-clinguin’s past year of commit activity
    0 0 0 2 Updated Dec 3, 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 Sep 30, 2024
  • mapf-instance-generator Public

    MAPF instance generator

    krr-up/mapf-instance-generator’s past year of commit activity
    Python 5 MIT 0 15 0 Updated Aug 30, 2024
  • krr-up/flatland-framework’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Aug 28, 2024
  • latex-paper-template Public template
    krr-up/latex-paper-template’s past year of commit activity
    TeX 0 3 2 1 Updated Jul 10, 2024
  • logos Public

    Collection of logos, eg for use in slides

    krr-up/logos’s past year of commit activity
    PostScript 0 2 1 1 Updated Jul 10, 2024
  • renopro Public

    Reifying non-ground ASP programs.

    krr-up/renopro’s past year of commit activity
    Python 1 MIT 0 2 0 Updated Jul 7, 2024

Top languages

Loading…

Most used topics

Loading…