Related courses

   * PhD studies:  Logic, computation and artificial intelligence
         o Automated Reasoning
         o Synthesis, verification and reasoning on agents
         o Automatic learning
         o Logic programming
         o Formal methods in Computation and Artificial intelligence

   * Expert course: Computer Science and Knowledge Technologies

   * Computer Science studies:
         o Automated Reasoning
         o Intelligent Agents
         o Artificial Intelligence Seminar
         o Artificial Intelligence I
         o Artificial Intelligence II
         o Logic and Programming
         o Declarative Programming
         o Logic for Computer Science