Popular repositories Loading

1. KRR-course-2021 KRR-course-2021 Public

   Materials for 2021 edition of the course 'Knowledge Representation and Reasoning'

   Jupyter Notebook 10 16

2. KRR-teaching-material KRR-teaching-material Public

   Repository to collect material that is useful for the KRR course at the UvA

   Jupyter Notebook 6 15

3. ja-asp ja-asp Public

   Encodings of Judgment Aggregation (JA) problems into Answer Set Programming (ASP)

   3 1

4. jaggpy jaggpy Public

   A Python package for Judgment Aggregation

   Python 3

5. KRR-course-2020 KRR-course-2020 Public

   Python 1 1

6. asp-voting-search asp-voting-search Public

   ASP encodings for finding voting rules satisfying given properties