https://github.com/thesofakillers/krr-labs
Assignments for KRR course
https://github.com/thesofakillers/krr-labs
Last synced: 2 months ago
JSON representation
Assignments for KRR course
- Host: GitHub
- URL: https://github.com/thesofakillers/krr-labs
- Owner: thesofakillers
- Created: 2022-03-05T21:23:35.000Z (over 4 years ago)
- Default Branch: main
- Last Pushed: 2022-10-16T16:58:51.000Z (over 3 years ago)
- Last Synced: 2025-01-17T10:43:42.813Z (over 1 year ago)
- Language: Jupyter Notebook
- Homepage:
- Size: 729 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# krr-labs
Assignments for the "Knowledge Representation Reasoning" course for my MSc in AI.
I am omitting my University name for searchability reasons. My MSc university can be found on my LinkedIn or CV.
## Assignments:
More details for each assignment can be found in the respective folder.
In general, the following was covered
1. Assignment 1
- Propositional Logic and Conjunctive Normal Form
- SAT solvers
- Answer Set Programming
2. Assignment 2
- Solving Sudoku variants using SAT and Answer Set Programming
3. Assignment 3
- Using Answer Set Programming for solving a multi-truck delivery planning problem