mgebser

University of KlagenfurtKlagenfurt

Pinned Repositories

asprilo-encodings
Encodings for aspilro environments
Language:CLIPS0 0 00
bibliography
📚 BibTeX bibliography files of all papers referenced by the group
Language:TeX0 0 00
clingo
A grounder and solver for logic programs.
Language:C++0 0 00
new-tlp
Language:TeX0 1 00
plasp
Translate PDDL to ASP
Language:C++0 0 00
Potassco_course
The main repository integrating the LaTeX beamer-based slides
Language:TeX0 0 00
SMTI-TPLP-2021-fork
Fork of Stable Marriage repository by Sabanci University KRR group
Language:Python0 0 00
clingo
🤔 A grounder and solver for logic programs.
Language:C++627 34 36083
guide
🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
Language:TeX76 12 1913
plasp
🗺️ ASP planning tools for PDDL
Language:C++28 11 613

mgebser's Repositories

mgebser/asprilo-encodings
Encodings for aspilro environments
Language:CLIPS0 0 00
mgebser/bibliography
📚 BibTeX bibliography files of all papers referenced by the group
Language:TeX0 0 00
mgebser/clingo
A grounder and solver for logic programs.
Language:C++0 0 00
mgebser/new-tlp
Language:TeX0 1 00
mgebser/plasp
Translate PDDL to ASP
Language:C++0 0 00
mgebser/Potassco_course
The main repository integrating the LaTeX beamer-based slides
Language:TeX0 0 00
mgebser/SMTI-TPLP-2021-fork
Fork of Stable Marriage repository by Sabanci University KRR group
Language:Python0 0 00