IA
Logical methods for AI
About this website
This work is licensed under CC BY 4.0
This website contains the course material for the course »Logical methods for AI« as I teach it at Utrecht University.
Even though the I use the website in my course and it has been partially funded by university programs, the website has no official ties to Utrecht University and is neither reviewed, approved, or the like by the university.
Anybody is free to use the material in whatever way they please. If you'd like to give feedback or are even interested in contributing, just get in touch—ideally via GitHub.
Maintainer
The website is developed and maintained by Johannes Korbmacher.
Contributors
This project has a growing list of contributors.
Hosting
The website is build with Hugo.
Hosting
The website is hosted on GitHub pages.
Content license
The content of the website (the "course") is licensed under CC BY 4.0.
Software license
The code of the website is licensed under the MIT license.
GDPR
I neither collect nor store your data. Period.
Sponsors
This page and course has been made possible by the support of:
Utrecht University's Interdisciplinary Education Programe
Utrecht University's focus area Human-centered Artificial Intelligence