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