Explore projects
-
Updated
-
Updated
-
Updated
-
-
-
-
Updated
-
The problems for the course Computational Logic at Jacobs University
Updated -
-
-
Updated
-
-
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
The problems for the lecture Logic Based Language Processing at FAU
Updated -
A private fork of the (public) problems/AI repository for developing the new tuesday quiz problems during the semester. The default strategy will be to upstream the new quiz problems for practice after the quiz has been given, so that they appear in the ALeA system.
Updated