Marcos Castilho

• Logica em Inteligência Artificial
• Representação do Conhecimento, Raciocínio sobre Ações e Planejamento em IA
• Prova Automática de Teoremas
• Aplicações da IA em Computação
• Software Livre

• CV Lattes
• Pesquisa
• Artigos
• Outras atividades
• Ensino em 2011 (segundo semestre):
  • CI055 - Algoritmos e Estruturas de Dados I
  • CI059 - Introdução à Teoria da Computação

• Endereço:

  Departamento de Informática - UFPR 
  Caixa Postal 19081
  81531-980 - Curitiba/PR - Brasil
  Voice: (+55) 41.3361.3567
  VOIP: 1053-1058
  Fax:   (+55) 41.3361.3205
  E-mail: 
  URL: http://www.inf.ufpr.br/~marcos