Related courses

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

• Expert course: Computer Science and Knowledge Technologies

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