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 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 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 11, 2024
  • latex-paper-template Public template
    krr-up/latex-paper-template’s past year of commit activity
    TeX 0 3 2 2 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
  • 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 0 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
  • 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
  • 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
View all repositories

Top languages

Loading…

Most used topics

Loading…