Diretório de grupos de pesquisa|
Wladimir Araujo Tavares Possui graduação em Ciência da Computação pela Universidade Federal do Ceará (2005) e mestrado em Ciência da Computação pela Universidade Federal do Ceará (2008). Tem experiência na área de Ciência da Computação, com ênfase em Ciência da Computação, atuando principalmente nos seguintes temas: sistemas formais, lógica não-monotônicas, programação lógica.
Última
atualização do currículo em 15/05/2010
Endereço para acessar este CV: http://lattes.cnpq.br/0272775036482643 |
Dados pessoais
| Nome | Wladimir Araujo Tavares |
| Nome em citações bibliográficas | TAVARES, W. A. |
| Sexo | Masculino |
| Endereço profissional | Universidade Federal do Ceará, Centro de Ciências. Campus do Pici, Bloco 910 Pici 60455-760 - Fortaleza, CE - Brasil Telefone: (85) 2889841 Fax: (85) 2889841 URL da Homepage: www.ufc.br |
Formação acadêmica/Titulação
| 2006 - 2008 | Mestrado em Ciências da Computação
.
Universidade Federal do Ceará, UFC, Brasil. Título: Sistemas Formais Avançados e Estratificação Relevante : Uma defesa da predicatividade, Ano de Obtenção: 2008. Orientador:  Marcelino Cavalcante Pequeno.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico . Palavras-chave: Lógica Default; definições indutivas; Lógica não-monotônia; predicatividade; sistemas formais; programação lógica. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas. |
| 2002 - 2006 | Graduação em Ciência da Computação
.
Universidade Federal do Ceará, UFC, Brasil. |
Formação complementar
| 2005 - 2006 | Curso Básico de Língua Inglesa.
(Carga horária: 420h). Casa de Cultura Britânica - UFC. |
| 2000 - 2003 | Curso Básico de Inglês.
(Carga horária: 455h). Instituto Municipal de Pesquisa, Administração e Recursos Humanos. |
Atuação profissional
| Inteq Systems, INTEQ, Brasil. |
| Vínculo institucional |
| 2008 - Atual | Vínculo: Bolsista, Enquadramento Funcional: Bolsista DTI-3, Carga horária: 20 |
| Université Libre de Bruxelles, ULB, Bélgica. |
| Vínculo institucional |
| 2007 - 2007 | Vínculo: Mestrado, Enquadramento Funcional: Bolsista Visitante, Carga horária: 40 |
| Organização Educacional Farias Brito, FB, Brasil. |
| Vínculo institucional |
| 2007 - Atual | Vínculo: Professor, Enquadramento Funcional: Professor de Olimpíada, Carga horária: 8 |
| Colégio Batista Santos Dumont, CBSD, Brasil. |
| Vínculo institucional |
| 2005 - Atual | Vínculo: Professor, Enquadramento Funcional: Professor de Olimpíada, Carga horária: 8 |
| Universidade Federal do Ceará, UFC, Brasil. |
| Vínculo institucional |
| 2009 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente, Carga horária: 40, Regime: Dedicação exclusiva. |
| Vínculo institucional |
| 2003 - 2005 | Vínculo: Bolsista, Enquadramento Funcional: Iniciação Científica, Carga horária: 20 |
| Atividades |
| 2003 - 2004 | Atividades de Participação em Projeto, Centro de Ciências, Departamento de Computação. |
|
Projetos de pesquisa LÓGICA, CIÊNCIA E INTELIGÊNCIA ARTIFICIAL |
Projetos de Pesquisa
| 2003 - 2005 | LÓGICA, CIÊNCIA E INTELIGÊNCIA ARTIFICIAL |
| Descrição: Este projeto faz parte de um projeto integrado financiado pelo CNPq, em edital do CTINFO de 2002, sob processo no. 552123/2002-1, do qual participam 07 pesquisadores (três da UFC), envolvendo três universidades no Brasil: UFC, URFJ, UFSC e uma no exterior, Universidade de Neuchâtel, Suíça. Os professores da UFC que integram este projeto são: Tarcísio Haroldo Cavalcante Pequeno (coordenador), Ana Teresa de Castro Martins e Marcelino Cavalcante Pequeno. Segundo instruções dadas pela Pró-Reitoria de Pesquisa da UFC, os três pesquisadores acima citados podem apresentar o mesmo projeto integrado como projeto PIBIC, diferenciando apenas os planos de trabalho e cronogramas dos alunos que vão orientar. O projeto trata do uso da lógica em inteligência artificial. Os dois problemas mais básicos na construção de sistemas que exibem um certo grau de autonomia e de generalidade no desempenho de suas funções, que Hebert Simon denominava de "sistemas de informações complexas", mas que se consagraram sob o nome de "sistemas inteligentes", são a representação do conhecimento e a realização mecânica de inferências a partir desse conhecimento. Tais tarefas são a base de processos como tomada autônoma de decisões, elaboração de planos de ação, atendimento a consultas, por exemplo. O método geral mais bem sucedido na solução desses problemas utiliza-se da lógica matemática, tanto como veículo epistêmico, empregado na representação do conhecimento, quanto como instrumento heurístico, utilizado na automatização do raciocínio. No entanto, a lógica matemática clássica, na realidade as lógicas de caráter dedutivo em geral, não são adequadas à solução desses problemas.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Marcelino Cavalcante Pequeno - Integrante / Tarcísio Haroldo Cavalcante Pequeno - Coordenador / Ana Teresa Castro Martins - Integrante / Wladimir Araujo Tavares - Integrante. . |
Áreas de atuação
| 1. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação. |
| 2. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação. |
| 3. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação /
Especialidade: Lógicas e Semântica de Programas. |
Idiomas
| Inglês | Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Bem. |
| Espanhol | Compreende Bem, Fala Razoavelmente, Lê Pouco, Escreve Pouco. |
Prêmios e títulos
| 2003 | 4 Lugar Maratona de Programação, SBC. |
| 2003 | 4 Lugar The 2003 ACM South America Programming Contest, ACM (Association of Computing Machinery). |
Produção em C,T & A
| Produção bibliográfica |
| Trabalhos completos publicados em anais de congressos |
| 1. |  Pequeno ; VERAS, R. M. S. ; TAVARES, W. A. . Lógica Não Monotônica com Prioridade às Exceções. In: VI Encontro Nacional de Inteligência Artificial (ENIA 2007), 2007, Rio de Janeiro.
XXVII Congresso da Sociedade Brasileira de Computação/ VI Encontro Nacional de Inteligência Artificial, 2007. p. 1262-1271. |
| 2. | Pequeno ; VERAS, R. M. S. ; TAVARES, W. A. . Handling Exceptions in Nonmonotonic Reasoning. In: Third Latin American Workshop on Non-Monotonic Reasoning 2007 (LANMR07), 2007, Puebla.
Proceedings of the Third Latin American Workshop on Non-Monotonic Reasoning 2007 (LANMR07), 2007. v. 286. |
| Resumos publicados em anais de congressos |
| 1. | TAVARES, W. A. . Logic of Plausible Reasoning. In: XXIII Encontro Universitário de Iniciação à Pesquisa, 2004, Fortaleza.
Logic of Plausible Reasoning ( LPR ), 2004. |
| 2. | TAVARES, W. A. . Modelagem de raciocínio para a Inteligência Artificial. In: XXII Encontro Universitários de Iniciação à pesquisa, 2003, Fortaleza.
Modelagem de Raciocínio para a inteligência artificial, 2003. |
| Página gerada pelo Sistema Currículo Lattes em 09/02/2012 às 5:06:23 |