The aim of this seminar (PS) is to further explore the topics discussed in the lectures by answering questions and solving problems directly related to various logics (i.e. Propositional and Predicate logic), search methods, knowledge engineering techniques, problem-solving methods, planning, agents, learning techniques and Semantic Web, etc. Students will be proposed exercises on these topics that will be solved during the sessions of the tutorial.

1. Introduction to Tutorial