Marcelino Pequeno

MARCELINO CAVALCANTE PEQUENO CONCLUIU O DOUTORADO EM CIENCIA DA COMPUTACAO - UNIVERSITY OF LONDON EM 1994. ATUALMENTE E PROFESSOR ADJUNTO I DA UNIVERSIDADE FEDERAL DO CEARA. PUBLICOU 22 TRABALHOS EM ANAIS DE EVENTOS. POSSUI 2 CAPITULOS DE LIVROS PUBLICADOS. POSSUI 1 SOFTWARE E OUTROS 8 ITENS DE PRODUCAO TECNICA. ORIENTOU 1 DISSERTACAO DE MESTRADO E CO-ORIENTOU 2, ALEM DE TER ORIENTADO 8 TRABALHOS DE INICIACAO CIENTIFICA NA AREA DE CIENCIA DA COMPUTACAO. RECEBEU 3 PREMIOS E/OU HOMENAGENS. ATUA NA AREA DE CIENCIA DA COMPUTACAO, COM ENFASE EM LOGICAS E SEMANTICA DE PROGRAMAS. EM SUAS ATIVIDADES PROFISSIONAIS INTERAGIU COM 30 COLABORADORES EM CO-AUTORIAS DE TRABALHOS CIENTIFICOS. EM SEU CURRICULO LATTES OS TERMOS MAIS FREQUENTES NA CONTEXTUALIZACAO DA PRODUCAO CIENTIFICA, TECNOLOGICA E ARTISTICO-CULTURAL SAO: LOGICA NAO-MONOTONICA, FORMALIZACAO DO RACIOCINIO, FORMALIZACAO E AUTOMATIZACAO DO RACIOCINIO, LOGICA PARACONSISTENTE, INFERENCIA INDUTIVA, INTELIGENCIA ARTIFICIAL, LOGICA, RACIOCINIO COMPLEXO, SISTEMAS ESPECIALISTAS E COMPUTACAO.

Informações coletadas do Lattes em 03/11/2025

Acadêmico

Formação acadêmica

Doutorado em Ciência da Computação

1985 - 1990

University of London
Título: Defeasible Reasoning with Exceptions First
Orientador: Dov M Gabbay
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Lógica Não-Monotônica; Formalização do Raciocínio; Inferência Indutiva.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.

Mestrado em Matemática

1981 - 1985

Universidade Federal do Ceará
Título: Semânticas e Inferências Não-Monotônicas: Um Estudo Comparativo, Ano de Obtenção: 1985
Orientador: Tarcisio Haroldo Cavalcante Pequeno
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Lógica Não-Monotônica; Formalização do Raciocínio; Inferência Indutiva.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.

Graduação em Matemática

1977 - 1980

Universidade Federal do Ceará

Idiomas

Inglês

Fala Bem, Lê Bem, Escreve Bem.

Espanhol

Compreende Bem, Lê Bem.

Francês

Compreende Pouco, Lê Razoavelmente.

Áreas de atuação

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.

Organização de eventos

PEQUENO, M. C. . Semana de Informática da UFC - SEMINFO2000. 2000. (Outro).

PEQUENO, M. C. ; PEQUENO, T. H. C. ; MARTINS, A. T. C. . LOGIA: Métodos Formais para o raciocínio e a representação do conhecimento. 1999. (Outro).

PEQUENO, M. C. . Semana de Informática da UFC - SEMINFO1999. 1999. (Outro).

PEQUENO, M. C. ; PEQUENO, T. H. C. ; MARTINS, A. T. C. . International Meeting on Language, logic and Artificial Intelligence. 1998. (Congresso).

PEQUENO, M. C. . Semana de Informática da UFC - SEMINFO1998. 1998. (Outro).

MARTINS, A. T. C. ; QUEIROZ, R. ; PEQUENO, T. H. C. ; PEQUENO, M. C. . 4th Workshop on Logic, Language, Information and Computation. 1997. (Congresso).

PEQUENO, T. H. C. ; GOMES, F. C. ; PEQUENO, M. C. . XI Brazilian Symposium on Artificial Intelligence. 1994. (Congresso).

Participação em bancas

Aluno: Vládia Célia Monteiro Pinheiro

PEQUENO, M. C.. SIM: Um modelo semântico inferencialista para expressão e raciocínio em sistemas de linguagem natural. 2010. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará.

Orientou

Renato Fernandes Ribeiro

Um Estudo Da ?Intencionalidade Sem Conteúdo? Proposta Pelo Enativismo Radical E Sua Relação Com A Inteligência Artificial; 2018; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Marcelino Pequeno;

Samy Soares Passos de Sá

Uma Aplicação para LPR (Logic for Plausible Reasoning); 2008; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico; Coorientador: Marcelino Pequeno;

Wladimir Araújo Tavares

Sistemas Formais Avançados e a Estratificação Relevante: Uma Defesa da Predicatividade das Definições; 2008; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcelino Pequeno;

Rodrigo Veras

Nova Abordagem para o Raciocínio Não Monotônico; 2007; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico; Orientador: Marcelino Pequeno;

Paulo Leitão Vilar

AHO Analisador Harmônico Otimista; 2005; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico; Orientador: Marcelino Pequeno;

João Fernando de Lima Alcântara

Programação em Lógica Estendida da Inconsistência Epistêmica; 2000; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcelino Pequeno;

Jerffeson Teixeira de Souza

Teoria da Revisão de Primeira Ordem Para Modelagem do Estudante; 2000; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico; Coorientador: Marcelino Pequeno;

Miguel Franklin de Castro

Redes Neurais na Estimativa da Capacidade Requerida em Comutadores ATM; 1999; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico; Coorientador: Marcelino Pequeno;

Leandro Sales de Castro

Formalização e automatização do raciocínio; 2004; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcelino Pequeno;

Júlio César Silva Araújo

Luis Jonatã Pires de Araújo

Lógicas para o raciocínio complexo; 2004; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcelino Pequeno;

Wladimir Araújo Tavares

Lógicas para formalização do raciocínio complexo; 2004; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcelino Pequeno;

Luis Jonatã Pires de Araújo

Busca inteligente em hipertextos na Web; 2003; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcelino Pequeno;

Wladimir Araújo Tavares

Lógicas para formalização do raciocínio complexo; 2003; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcelino Pequeno;

Bruno Francisco Bachiega de Araújo

Difusão e popularização do software livre: introduzindo uma nova cultura nas corporações; 2003; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcelino Pequeno;

José Alexandre de Sousa Filho

Busca inteligente de hipertextos na Web; 2002; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcelino Pequeno;

Karlos Alex Leite pereira

Raimundo Robledo Pontes Filho

Formalização e Automatização do Raciocínio; 2001; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcelino Pequeno;

Robson Teixeira da Silva

Abordagem sintática e semântica para a lógic não monotônica; 2001; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcelino Pequeno;

Camilo de Lellis Bezerra Leite

Políticas de Segurança de Redes de Computadores para um Laboratório Acadêmico; 1998; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Ceará; Orientador: Marcelino Pequeno;

Ivan Romero Teixeira

Descoberta de Conhecimento em Banco de Dados com Redes Neurais; 1998; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcelino Pequeno;

Leopoldo Almeida Wagner

Estimativa de Qualidade de Serviço em Redes ATM Utilizando redes Neurais; 1998; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Ceará; Orientador: Marcelino Pequeno;

Ricardo Bastos Prudêncio

Aplicações de Métodos de Inteligência Artificial na Resoluçao de Problemas Inversos de Condução de Calor; 1998; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcelino Pequeno;

Isabela Holanda

Novos Paradigmas em Comunicação; 1997; 0 f; Iniciação Científica; (Graduando em Comunicação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcelino Pequeno;

Carina Frota Alves

Agente Inteligente para Filtragem de Informações em Mensagens Eletrônicas; 1997; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcelino Pequeno;

Rodrigo de Oliveira Lopes

Ricardo Bezerra de Andrade e Silva

Expert SINTA, uma Ferramenta Visual Geradora de Sistemas Especialistas; 1996; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcelino Pequeno;

Produções bibliográficas

BUCHSBAUM, Arthur ; PEQUENO, T. H. C. ; PEQUENO, M. C. . A Logical Expression of Reasoning. Synthese (Dordrecht) , v. 154, p. 431-466, 2007.
MARTINS, Ana Teresa ; PEQUENO, M. C. ; PEQUENO, Tarcisio Cavalcante . A Multiple Worlds Semantics for a Paraconsistent Nonmonotonic Logic. In: Walter Carnielli; Marcelo Coniglio; Itala D´Otaviano. (Org.). Paraconsistency: The Logical Way to the Inconsistent. New York: Marcel Dekker, 2002, v. 1, p. 187-211.
PEQUENO, M. C. ; PEQUENO, M. C. . Coluna de Internet. Jornal O POVO, Fortaleza.
PEQUENO, M. C. . Coluna de Internet. Jornal O POVO, Fortaleza.
PEQUENO, M. C. ; PEQUENO, M. C. . Coluna de Internet. Jornal O POVO, Caderno de Informática, Fortaleza.
PEQUENO, M. C. ; VERAS, R. M. S. ; TAVARES, Wladimir Araújo . 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.
PEQUENO, M. C. ; VERAS, R. M. S. ; TAVARES, Wladimir Araújo . Handling Exceptions in Nonmonotonic Reasoning. In: Third Latin American Workshop on Non-Monotonic Reasoning 2007 (LANMR07), 2007, Puebla - Mexico. Proceedings of the Third Latin American Workshop on Non-Monotonic Reasoning 2007 (LANMR07). Aachen: CEUR workshop proceedings/ M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen, 2007. v. 286.
PEQUENO, M. C. ; MARTINS, Ana Teresa . Semantics for Default Reasoning. In: International conference on Artificial Intelligence, 2001, Las vegas. Proceedings of the International conference on Artificial Intelligence. Las Vegas: CSREA Press, 2001. v. II. p. 895-901.
PEQUENO, Tarcisio Cavalcante ; BUCHSBAUM, Arthur ; PEQUENO, M. C. . A Positive Formalization for the Notion of Pragmatic Truth. In: International Conference on Artificial Intelligence - IC-AI2001, 2001, Las Vegas. Proceedings of the International Conference on Artificial Intelligence - IC-AI2001. Las Vegas: CSREA Press, 2001. v. II. p. 902-908.
PONTES FILHO, Robledo ; PEQUENO, M. C. ; SIILVA, Robson da . Revisão Sintática e Semântica da Lógica Default. In: ENIA - Encontro Nacional de Inteligência Artificial, XIX Congresso Nacional da Sociedade Brasileira de Computação, 2001, Fortaleza. Anais do XXI Congresso da Sociedade Brasileira de Computação. Porto Alegre: SBC, 2001. v. I. p. 1103-1111.
MARTINS, A. T. C. ; PEQUENO, T. H. C. ; PEQUENO, M. C. . A Sequent Calculus for a Paraconsistent Default Logic. In: 6th Workshop on Logic, Language Information and Computation, 1999, Itatiaia, Rio de Janeiro. Proceedings of the 6th Workshop on Logic Language Information and Computation, 1999. p. 139-149.
CASTRO, M. F. ; NASCIMENTO, A. S. ; PEQUENO, M. C. ; OLIVEIRA, A. M. B. . Measured-Based Estimation of the Required Capacity on ATM Switches Using Neural Networks Systems. In: First IEEE Latin American Network Operations and Management Symposium, 1999, Rio de Janeiro. Proceedings of LANOMS'99, 1999. p. 155-166.
CASTRO, M. F. ; NASCIMENTO, A. S. ; PEQUENO, M. C. ; OLIVIEIRA, A. M. B. . Redes Neurais na Estimativa da Capacidade Ruquerida em Comutadores ATM. In: XVII Simpósio Brasileiro de Redes de Computadores, 1999, Salvador, Bahia. Anais do XVII Simpósio Brasileiro de Redes de Computadores, 1999. p. 583-598.
ALCÂNTARA, J. F. L. ; PEQUENO, M. C. . WFSXEI - Uma Semântica Para Programas em Lógica Estendidos da Inconsistência Epistêmica. In: II Encontro Nacional de Inteligência Artificial - XIX Congresso Nacional da Sociedade Brasileira de, 1999, Rio de Janeiro. Anais do II Encontro Nacional de Inteligência Artificial, 1999. v. IV. p. 255-271.
SOUZA, J. T. ; PEQUENO, T. H. C. ; PEQUENO, M. C. . First Order Theory Revision to Student Modelling. In: II ENIA - Encontro Nacional de Inteligência Artificial, XIX Congresso Nacional da Sociedade Brasileira de Computação, 1999, Rio de Janeiro. Anais da XIX Congresso Nacional da Sociedade Brasileira de Computação, 1999. v. IV. p. 495-502.
SOUZA, J. T. ; PEQUENO, T. H. C. ; PEQUENO, M. C. . Desenvolvendo um Ambiente Distribuido de Auxílio à Avaliação Conceitual. In: X Simpósio Brasileiro de Informática na Educação, 1999, Curitiba. Anais do X Simpósio Brasileiro de Informática na Educação, 1999. p. 177-184.
MARTINS, A. T. C. ; PEQUENO, M. C. ; PERQUENO, T. H. C. . Well Behaved IDL Theories. In: XIII Brazilian Symposium on Artificial Intelligence, 1996, Curitiba. Lecture Notes in Artificial Intelligence. Berlin: Springer-Verlag, 1996. v. 1159. p. 11-20.
PEQUENO, M. C. . Pruning Multi-Extensions via Exceptions. In: II Workshop Argentino sobre Aspectos Teóricos da Inteligência Artificial, 1995, Baia Blanca. Anais do II Workshop Argentino sobre Aspectos Teóricos da Inteligência Artificial, 1995. p. 81-90.
PEQUENO, M. C. . Pruning Multi-Extensions via Exceptions. In: II Dutch-German Workshop on Non-Monotonic Reasoning, 1995, Utrecht. Proceedings of II Dutch-German Workshop on Non-Monotonic Reasoning, 1995. p. 143-151.
MARTINS, A. T. C. ; PEQUENO, M. C. . Provando Teoremas Através de Diálogos. In: IX Simpósio Brasileiro de Inteligência Artificial, 1992, Rio de Janeiro. Anais do IX Simpósio Brasileiro de Inteligência Artificial. Rio de Janeiro: Sociedade Brasileira de Computação, 1992. p. 270-280.
PEQUENO, M. C. . Reasoning with Exceptions First. In: XVIII Conferência Latino-Americana de Informática - CLEI'92, 1992, Las Palmas. Anais da XVIII Conferência Latino-Americana de Informática, 1992.
PEQUENO, M. C. ; GRUPO GODEL. . Uma Extensão do Método dos Tableaux para Tratamento da Negação por Falha Finita. In: VIII Simpósio Brasileiro de Inteligência Artificial, 1991, Brasília. Anais do VIII Simpósio Brasileiro de Inteligência Artificial, 1991.
PEQUENO, M. C. . Three Principles for the Formalization of Nonmonotonic Reasoning. In: VIII Simpósio Brasileiro de Inteligência Artificial, 1991, Rio de Janeiro. Anais do VIII Simpósio Brasileiro de Inteligência Artifical, 1991.
PEQUENO, M. C. . Normally, Canaries Fly. In: VI Simpósio Brasileiro de Inteligência Artificial, 1989, Rio de Janeiro. Anais do VI Simpósio Brasileiro de Inteligência Artificial. Rio de Janeiro, 1989.
FUKS, H. ; PEQUENO, M. C. ; SADLER, M. . A Dialogue Theorem Prover. In: V Israeli Simposium on Artificial Intelligence, 1988, Tel Aviv. Proceedings of V Israeli Simposium on Artificial Intelligence, 1988.
BUCHSBAUM, Arthur ; PEQUENO, Tarcisio Cavalcante ; PEQUENO, M. C. . Four Players Semantics for a Family of Paraconsistent and Paracomplete Logics. In: XII Simposio Latinoamericano de Logica Matematica, 2004, San José. Proceedings XII Simposio Latinoamericano de Logica Matematica, 2004. p. 15-16.
BUCHSBAUM, Arthur ; PEQUENO, M. C. ; PEQUENO, Tarcisio Cavalcante . Reasoning with Plausible Scenarios. In: III World Congress on Paraconsistency, 2003, Toulouse. Proceedings of the III World Congress on Paraconsistency, 2003.
CUNHA, R. O. ; PEQUENO, M. C. ; DUARTE, J. B. F. . Utilização do Método de Redes Neurais Para Estimação de ParâmetrosTermofísicos em Problemas de Condução de Calor. In: XXII Congresso Nacional de Matemática Aplicada e Computacional, 1999, Santos, SP. Anais do XXII Congresso Nacional de Matemática Aplicada e Computacional - CNMAC 99, 1999. p. 66.
MARTINS, A. T. C. ; PEQUENO, T. H. C. ; PEQUENO, M. C. . A Sequent Calculus for a Paraconsistent Default Logic. In: Journal of the Interest Group in Pure and Applied Logics (IGPL), 1999, London. Journal of the Interest Group in Pure and Applied Logics (IGPL). Londres, Inglaterra, 1999. v. 7. p. 564-565.
PEQUENO, M. C. . Specificity Is Not A Meta-Logical Notion. In: I Workshop on Nonmonotonic Resoning with Specifity, 1989, Saint Louis. Proceedings of Workshop on Defeasible Resoning with Specifity. SAINT LOUIS, 1999.
PEQUENO, T. H. C. ; PEQUENO, M. C. ; MARTINS, A. T. C. ; SILVESTRE, R. S. . Formal Methods in Computer Science: The LOGIA Project. 1999. (Apresentação de Trabalho/Comunicação).
PEQUENO, T. H. C. ; PEQUENO, M. C. ; MARTINS, A. T. C. ; SILVESTRE, R. S. . Formal Methods in Computer Science: The LOGIA Project. Rio de Janeiro: Workshop de Avaliação do III Edital ProTeM-CC, CNPq, 1999 (Relatório Técnico).
PEQUENO, M. C. . Defeasible Reasoning with Exception First 1994 (Tese de Doutorado).
FUKS, H. ; PEQUENO, M. C. ; SADLER, M. . A Framework for Dialogue Theorem Prover 1988 (Relatório Técnico).
PEQUENO, M. C. . Semânticas e Inferências Não-Monotônicas: Um Estudo Comparativo 1985 (Tese de Mestrado).

Outras produções

PEQUENO, M. C. . Consultor ad hoc III Edital ProTeM-CC CNPq. 1998.

PEQUENO, M. C. . Consultor ad hoc II Edital ProTeM-CC CNPq. 1996.

BEZERRA, R. ; MATOS, H. ; PEQUENO, M. C. . Expert Sinta. 2002.

PEQUENO, M. C. . Referee do CLEI 2000 (Conferencia Latino-Americana de Informatica). 2000.

PEQUENO, M. C. ; PEQUENO, T. H. C. ; MARTINS, A. T. C. . Projeto Integrado de Pesquisa - Formalização e Automatização do Raciocínio - FAR 2000. 2000.

PEQUENO, M. C. ; PEQUENO, M. C. ; MARTINS, A. T. C. ; VIDAL, C. ; PEQUENO, T. H. C. ; RIBEIRO, J. W. ; GOMES, F. C. . Projeto ProTeM-CC - VDL - Virtual Distance Learning: Um Ambiente virtual cooprerativo voltado para a aprendizagem à distância. 1999.

PEQUENO, M. C. . Referee do Iberamia 98 (Congresso Ibero-Americano de Inteligência Artificial). 1998.

PEQUENO, M. C. . Referee do SBIA98 (Brazilian Symposium on Artificial Intelligence). 1998.

PEQUENO, M. C. . Projeto Integrado de Pesquisa - Formalização e Automatização do Raciocínio. 1997.

PEQUENO, M. C. . Referee do SBIA96 (Brazilian Symposium on Artificial Intelligence). 1996.

PEQUENO, M. C. . Projeto ProTem-CC - LOGIA: Métodos Formais para o Raciocínio e a Representação do Conhecimento. 1996.

PEQUENO, M. C. . Referee do SBIA94 (Brazilian Symposium on Artificial Intelligence). 1994.

MARTINS, A. T. C. ; PEQUENO, T. H. C. ; PEQUENO, M. C. . Modelagem e Automatização do Raciocínio. 1993.

Projetos de pesquisa

2002 - 2008

Lógica, Ciência e Inteligência Artificial - LOCIA, Descrição: Neste projeto explora-se a aplicação da lógica matemática como ferramenta de formalização de problemas em inteligência artificial e ciência da computação. Em particular, investiga-se o problema da representação do conhecimento e a realizaçãoi mecânica de inferências. A equipe do projeto possui longa tradição de pesquisa na área e foi pioneira na constatação da natureza paraconsistente do raciocínio não dedutivo. O presente projeto é uma continuação natural desta linha de investigação a ela acrescentando outras explorações promissoras. Por exemplo, a introdução de um quantificador para expressar "geralmente" ou "quase sempre", a definição do conceito de objeto genérico e o desenvolvimento de uma lógica das descrições que trate adequadamente a noção de ambiguidade. O grau de maturidade atingido pelo grupo permite aplicarmos os formalismos desenvolvidos para além dos problemas que motivaram seu desenvolvimento. Este é o caso da construção da lógica do raciocínio científico que buscamos neste projeto.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Marcelino Pequeno - Integrante / Tarcisio Cavalcante Pequeno - Coordenador / Arthur Buchsbaum - Integrante / Ana Teresa Martins - Integrante / Jean Yves Bèziau - Integrante / Paulo Veloso - Integrante / Sheila Veloso - Integrante / Luiz Carlos Pereira - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 4

Projetos de desenvolvimento

2021 - Atual

Formação em Programação em Escolas de Tempo Integral, Descrição: Programa Cientista-Chefe em Educação Básica Formação em Programação em Escolas de Tempo Integral. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Marcelino Pequeno - Coordenador / Jorge Lira - Integrante.
2023 - 2024

FORMAÇÃO EM PROGRAMAÇÃO EM ESCOLAS DE TEMPO INTEGRAL, Descrição: Concepção, implementação, monitoramento e avaliação de percursos formativos em Pensamento Computacional em escolas públicas de tempo integral da educação básica no Estado do Ceará.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Marcelino Pequeno - Integrante / Jorge Lira - Coordenador.
2021 - 2022

Formação em Programação em Escolas de Tempo Integral, Descrição: Programa Cientista-Chefe em Educação Básica Formação em Programação em Escolas de Tempo Integral. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Marcelino Pequeno - Coordenador / Jorge Lira - Integrante.

Prêmios

2001

Orientador melhor trabalho aluno graduação, Encontro Nacional de Inteligência Artificial - SBC.

2000

II Concurso Ibero-Americano de Teses e Dissertações, CTDIA - IBERAMIA.

1986

Bolsista Overseas Research Student, Comitê de Vice-Principals Universidade de Londres.

Histórico profissional

Endereço profissional

Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação. , Campus do Pici, Bloco 910, Pici, 60455760 - Fortaleza, CE - Brasil, Telefone: (852) 2889841, Fax: (852) 2889841, URL da Homepage:

Experiência profissional

1994 - 2018

Universidade Federal do Ceará

Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado I, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Professor Aposentado do Departamento de Computação da Universidade Federal do Ceará no cargo de Magistério de Ensino Superior, Classe 7, Nível 701, Professor Associado, de acordo com a portaria No. 117 da Universidade Federal do Ceará publicada no DOU em 11 de janeiro de 2018.

Atividades

05/1998
Outras atividades técnico-científicas , Centro de Ciências, Centro de Ciências.Atividade realizada, Tutor do PET.
08/1995
Ensino, Ciências da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Aspectos Teóricos da Computação, Inteligência Artificial, Linguagem de Programação, Lógica Matemática, Modelagem Lógica do Raciocínio, Lógicas Não Clássicas
04/1994
Pesquisa e desenvolvimento, Centro de Ciências, Departamento de Computação.Linhas de pesquisa
04/1994
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Lógica Matemática, Inteligência Artificial, Fundamentos de Programação, Introdução a Ciência da Computação, Matemática Discreta, Teoria dos Autômatos e Linguagens Formais
01/2001 - 12/2002
Direção e administração, Centro de Ciências, Departamento de Computação.Cargo ou função, Coordenador de Curso.
08/1997 - 07/1999
Direção e administração, Centro de Ciências, Departamento de Computação.Cargo ou função, Vice-coordenador mestrado.

1984 - 1994

Universidade Estadual do Ceará

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto 4, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

03/1992 - 03/1994
Outras atividades técnico-científicas , Centro de Ciências e Tecnologia, Centro de Ciências e Tecnologia.Atividade realizada, Tutor do PET.
08/1990 - 03/1994
Pesquisa e desenvolvimento, Centro de Ciências e Tecnologia, Departamento de Computação.Linhas de pesquisa
04/1985 - 03/1994
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Lógica Matemática, Programação Lógica, Inteligência Artificial

1981 - 1985

Universidade de Fortaleza

Vínculo: Celetista, Enquadramento Funcional: Professor Assistente 1, Carga horária: 40

Atividades

03/1983 - 07/1985
Direção e administração, Diretoria do Centro de Ciências Tecnológicas, Departamento de Matemática.Cargo ou função, Assessor Técnico Vice-Reitoria.
03/1981 - 07/1985
Ensino, Engenharia Elétrica, Nível: GraduaçãoDisciplinas ministradas, Ciência da Computação, Cálculo Numérico, Álgebra Linear, Geometria Analítica