Popular repositories Loading

1. Advanced_Topics_in_Artificial_Intelligence Advanced_Topics_in_Artificial_Intelligence Public

   Course materials for Advanced Topics in Artificial Intelligence

   Answer Set Programming 1 1

2. clingo clingo Public

   Forked from potassco/clingo

   A grounder and solver for logic programs.

   C++

3. plasp plasp Public

   Forked from potassco/plasp

   Translate PDDL to ASP

   C++

4. asprilo-encodings asprilo-encodings Public

   Forked from potassco/asprilo-encodings

   Encodings for aspilro environments

   CLIPS

5. bibliography bibliography Public

   Forked from krr-up/bibliography

   📚 BibTeX bibliography files of all papers referenced by the group

   TeX

6. new-tlp new-tlp Public

   TeX