Related courses

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

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