Artificial Intelligence | FER

Laboratory assignments of the course "Artificial Intelligence" at FER.

1. State Space Search
2. Automated Theorem Proving
3. Decision Tree