This is the source code for the course "Logical methods in AI". The course is under heavy construction. Use with caution.
The code of the course is licensed under the MIT license.
The content of the website (the "course") is licensed under CC BY 4.0.