This repository contains programming and written assignments for the course Symbolic Systems 1, given at the University of Amsterdam 2019-2020.
Author: Hannah Lim
Assignment 1: Solving sudokus by encoding them into SAT, ASP, CSP, and ILP
Assignment 2: (Non-)monotonic reasoning.
Assignment 3: Encoding planning problems in ASP.
Assignment 4: Description logics and OWL.