"Artificial Intelligence and Decision Systems" at IST, Lisbon, Portugal

In this course, different search strategies (BFS->A*), first order logic, game theory and reinforcement learning where addressed.

The repository contains 3 assignments with respect to search strategies, first order logic and theorem proving.