Maria Viviane de Menezes

Formação complementar

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• VASCONCELOS, DAVI ROMERO DE ; MENEZES, M. V. . REVISTA BRASILEIRA DE INFORMÁTICA NA EDUCAÇÃO. REVISTA BRASILEIRA DE INFORMÁTICA NA EDUCAÇÃO , v. 32, p. 480-508-508, 2024.

• MENEZES, M. V. ; LELIANE N. DE BARROS ; SILVIO DO L. PEREIRA . Symbolic Regression for Non-Deterministic Actions. Learning and Nonlinear Models , v. 12, p. 98-114, 2014.

• MENEZES, M. V. ; Barros, L. N. ; PEREIRA, S. L. . Symbolic Regression for Non-Deterministic Actions. Learning and Nonlinear Models , v. 12, p. 98-114, 2014.

• MARTINS, F. L. B. ; OLIVEIRA, A. C. A. ; VASCONCELOS, DAVI ROMERO DE ; MENEZES, M. V. . Avaliando a habilidade do ChatGPT de realizar provas de Dedução Natural em Lógica Proposicional. In: Simpósio Brasileiro de Informática na Educação ? SBIE, 2023, Passo Fundo. Anais do XXXIV Simpósio Brasileiro de Informática na Educação (SBIE 2023), 2023. v. XXXIV.

• MACHADO, W. ; M. BONADIA DOS SANTOS, VIVIANE ; LELIANE N. DE BARROS ; MENEZES, M. V. . Specifying Preferences over Policies Using Branching Time Temporal Logic. In: Brazilian Conference on Intelligent Systems, 2023, Belo Horizonte. Proceedings of Brazilian Conference on Intelligent Systems. Cham: Springer, 2023. v. 14195. p. 128-143.

• SILVA, F. J. M. ; SILVA, E. C. ; LOPES, K. C. S. ; BRITO, W. M. ; BEZERRA, C. I. M. ; SILVA, M. M. ; MENEZES, M. V. . Arduino como ferramenta para ensino de programação em sistemas embarcados: Um relato de experiência. In: Workshop de Informática na Escola (WIE), 2023, Passo Fundo. Anais do Workshop de Informática na Escola (WIE), 2023. p. 670-681.

• VASCONCELOS, DAVI ROMERO DE ; PAULA, ROBSON TEIXEIRA ; MENEZES, MARIA VIVIANE . NADIA - Natural DeductIon proof Assistant. In: Workshop sobre Educação em Computação, 2022, Brasil. Anais do XXX Workshop sobre Educação em Computação (WEI 2022), 2022. p. 427.

• M. BONADIA DOS SANTOS, VIVIANE ; LELIANE N. DE BARROS ; SILVIO DO L. PEREIRA ; MENEZES, M. V. . Symbolic FOND Planning for Temporally Extended Goals. In: 2022 Workshop on Knowledge Engineering for Planning and Scheduling, 2022, Singapura. Proceedings of Workshop on Knowledge Engineering for Planning and Scheduling, 2022.

• M. BONADIA DOS SANTOS, VIVIANE ; NUNES DE BARROS, LELIANE ; DE MENEZES, MARIA VIVIANE . Symbolic Planning for Strong-Cyclic Policies. In: 2019 8th Brazilian Conference on Intelligent Systems (BRACIS), 2019, Salvador. 2019 8th Brazilian Conference on Intelligent Systems (BRACIS), 2019. p. 168.

• FERREIRA, M. S. ; MENEZES, M. V. ; LELIANE N. DE BARROS . Plan Existence Verification as Symbolic Model Checking. In: Encontro Nacional de Inteligência Artificial e Computacional, 2018, São Paulo. Anais do Encontro Nacional de Inteligência Artificial e Computacional, 2018. p. 116-127.

• Herzig, A. ; MENEZES, M. V. ; LELIANE N. DE BARROS ; WASSERMANN, R. . On the revision of planning tasks. In: European Conference on Artificial Intelligence, 2014, Praga. Frontiers in Artificial Intelligence and Applications, 2014. v. 263. p. 435-440.

• MENEZES, M. V. ; LELIANE N. DE BARROS ; SILVIO DO L. PEREIRA . Regressão de Ações Não Determinísticas: uma Solução Simbólica. In: Encontro Nacional de Inteligência Artificial, 2013, Fortaleza. Anais do Encontro Nacional de Inteligência Artificial, 2013.

• MENEZES, M. V. ; LELIANE N. DE BARROS ; SILVIO DO L. PEREIRA . Planning Task Validation. In: Scheduling and Planning Applications woRKshop (SPARK), 2012, Atibaia. Proceedings of the Scheduling and Planning Applications woRKshop, 2012. p. 48-55.

• MENEZES, M. V. ; SILVIO DO L. PEREIRA ; LELIANE N. DE BARROS . System Design Modification with Actions. In: 20th Brazilian Symposium on Artificial Intelligence, 2010, São Bernado do Campo. Advances in Artificial Intelligence - SBIA 2010, 2010. v. 6404/2. p. 31-40.

• MENEZES, M. V. ; SILVIO DO L. PEREIRA ; LELIANE N. DE BARROS . Model Updating in Action. In: Workshop on Knowledge Engineering for Planning and Scheduling, 2010, Toronto. Proceedings of Workshop on Knowledge Engineering for Planning and Scheduling, 2010.

• OLIVEIRA, B. S. N. ; SILVA, B. P. ; NASCIMENTO, D. C. G. ; SILVA, F. B. L. ; MENEZES, M. V. . Experiências sobre o Desenvolvimento de Aplicativos no Âmbito de Aulas de Ciências do Ensino Fundamental. In: Encontros Universitários da UFC, 2019, Quixadá. Resumos Estendidos - Encontros Universitários da UFC 2019, 2019. p. 352-356.

• GONCALVES JUNIOR, P. A. ; MACHADO, W. ; MENEZES, M. V. . Inclusão de Atividades Práticas na disciplina Teórica de Lógica para Computação. In: Encontros Universitários da UFC, 2019, Quixadá. Resumos Estendidos - Encontros Universitários da UFC 2019, 2019. p. 419-423.

• SILVA, M. C. ; MENEZES, M. V. . Planejamento como Verificação Simbólica de Modelos. In: Encontros Universitários da UFC, 2017, Quixadá. Anais dos Encontros Universitários da UFC - Campus Quixadá, 2017. v. 8.

• SANTOS, R. M. ; MENEZES, M. V. . Utilizando Preferências para Mudança da Meta de Planejamento. In: Encontros Universitários da UFC - Campus Quixadá, 2017, Quixadá. Anais dos Encontros Universitários da UFC - Campus Quixadá, 2017. v. 8.

• MELO, V. T. ; OLIVEIRA, P. T. G. ; MENEZES, M. V. . Revisando Problemas de Planejamento sem Solução. In: Encontros Universitários da UFC - Campus Quixadá, 2017, Quixadá. Anais dos Encontros Universitários da UFC - Campus Quixadá, 2017.

• ALMEIDA, R. B. ; MENEZES, M. V. . Métricas baseadas em relevância para a mudança do estado inicial em problemas de planejamento sem solução. In: Encontros Universitários da UFC - Campus Quixadá, 2017, Quixadá. Anais dos Encontros Universitários da UFC - Campus Quixadá, 2017.

• MENEZES, M. V. ; LELIANE N. DE BARROS . Model Checking for Unsolvable Planning Problems. In: XVI Simpósio Brasileiro de Métodos Formais, 2013, Brasília. Anais do XVI Simpósio Brasileiro de Métodos Formais, 2013. v. 01. p. 30-35.

• OLIVEIRA, B. S. N. ; NASCIMENTO, J. N. A. ; BANDEIRA, L. B. C. ; VIEIRA, M. M. ; MENEZES, M. V. . Projeto Invente: Ensinando Algoritmos para Alunos do Ensino Médio. In: Encontros Universitários da UFC, 2018, Quixadá. Resumos Estendidos Encontros Universitários 2018, 2018.

• BARBOSA, D. H. F. ; SARAIVA, L. S. ; FRANCA, J. C. ; CARDOSO, P. ; MENEZES, M. V. . Projeto Invente: Ensinando Alunos do Ensino Médio a Desenvolver Aplicativos.. In: Enconttos Universitários da UFC, 2018, Quixadá. Resumos Estendidos Encontros Universitários 2018, 2018.

• SARAIVA, L. S. ; FRANCA, J. C. ; CARDOSO, P. ; MENEZES, M. V. . Ideação: Estimulando Alunos de Ensino Médio a Propor Soluções Tecnológicas para Problemas Reais. In: Encontros Universitários da UFC, 2018, Quixadá. Resumos Estendidos Encontros Universitários 2018, 2018.

• LIMA, Y. V. A. ; OLIVEIRA, B. S. N. ; SARAIVA, L. S. ; MENEZES, M. V. . Ensinando alunos do Ensino Médio a desenvolver protótipos de aplicativos móveis. In: Encontros Universitários da UFC, 2018, Quixadá. Resumos Estendidos Encontros Universitários 2018, 2018.

• SANTOS, M. P. M. ; MENEZES, M. V. . Diagramas de Decisão Binária. In: I Encontros Universitários do Campus da UFC em Russas, 2016, Russas. Anais dos I Encontros Universitários do Campus da UFC em Russas, 2016.

• VIANA, M. C. C. ; MENEZES, M. V. . Grafos para Representação de Variáveis em Domínios de Planejamento. In: I Encontros Universitários do Campus da UFC em Russas, 2016, Russas. Anais do I Encontros Universitários do Campus da UFC em Russas, 2016.

• MENEZES, L. M. C. ; MENEZES, M. V. . Problemas de Planejamento sem Solução. In: I Encontros Universitários do Campus da UFC em Russas, 2016, Russas. Anais do I Encontros Universitários do Campus da UFC em Russas, 2016.

• RODRIGUES, D. N. ; MENEZES, M. V. . Planejamento Não-Determinístico: Problemas e Soluções.. In: I Encontros Universitários do Campus da UFC em Russas, 2016, Russas. Anais dos I Encontros Universitários do Campus da UFC em Russas, 2016.

• LIMA, Y. V. A. ; JULIANI, J. S. ; MENEZES, M. V. . Estímulo à Prática de Programação através de Competições de Conhecimento.. In: I Encontros Universitários do Campus da UFC em Russas, 2016, Russas. Anais dos I Encontros Universitários do Campus da UFC em Russas, 2016.

• LIMA, Y. V. A. ; JULIANI, J. S. ; MENEZES, M. V. . Práticas Inovadoras na Monitoria de Fundamentos de Programação. In: I Encontros Universitários do Campus da UFC em Russas, 2016, Russas. Anais dos I Encontros Universitários do Campus da UFC em Russas, 2016.

• SILVA, P. B. S. ; MAIA, M. F. ; MENEZES, M. V. . Desenvolvimento de Aplicativos para Escolas Públicas do Município de Russas. In: I Encontros Universitários do Campus da UFC em Russas, 2016, RUSSAS. Anais dos I Encontros Universitários do Campus da UFC em Russas, 2016.

• CARDOSO, F. A. M. ; ANDRADE, M. D. ; MENEZES, M. V. . Estímulos ao aprendizado de Fundamentos de Programação. In: Encontros Universitários 2015, 2016, Fortaleza. Anais dos Encontros Universitários 2015, 2015.

• ANDRADE, M. D. ; CARDOSO, F. A. M. ; MENEZES, M. V. . O Ensino de Programação em Ciência da Computação e Engenharia de Software. In: Encontros Universitários 2015, 2015, Russas. I Encontros Universitários 2015, 2015.

• MENEZES, M. V. ; LELIANE N. DE BARROS . Model Update for Automated Planning. In: AAAI Conference on Artificial Intelligence, 2011, San Francisco. Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence. Menlo Park: AAAI Press, 2011. p. 1841-1842.

• VASCONCELOS, DAVI ROMERO DE ; MENEZES, M. V. . NADIA: Natural DeductIon proof Assistant: Um Assistente de provas de Dedução Natural para Lógica Proposicional e Lógica de Predicados (TO APPEAR). Revista Brasileira de Informática na Educação (RBIE) , 2024.

• MENEZES, M. V. . M MÉTODO UTILIZANDO TÊMPERA SIMULADA PARA A RESOLUÇÃO DO PROBLEMA DE ROTEAMENTO DE VEÍCULOS COM JANELA DE TEMPO 2008 (Monografia).

Outras produções

Projetos de pesquisa

• 2021 - 2022

  Governo Digital do Estado do Ceará, Descrição: Descrição: O Projeto Governo Digital do Estado do Ceará tem por objetivo geral realizar pesquisas científicas e tecnológicas visando o desenvolvimento de soluções para a construção de uma plataforma de governo digital para permitir o desenvolvimento de serviços digitais de forma ágil, transparente, eficiente, sustentável, fácil de usar e alinhada com os princípios do serviço público que atenda às necessidades dos cidadãos e dos servidores públicos. São temas de pesquisa do Projeto: - Em Inteligência de Artificial (IA): Criação automática de modelos para robotizar tarefas; Human into the loop (aprendizado semi-supervisionado); Robôs de conversão via voz e escrita (tipo Alexia);Transcrição de voz para texto;Processamento de texto (sumarização, extração de entidades, geração de textos, etc); Explicação de algoritmos de IA para o cidadão ; - Em Ciência de Dados: Coleta e monitoramento de streaming de dados para otimização dos serviços; Geração de visualizações semi-automáticas; - Em Interação Humano-Computador/Experiência do Usuário/Usabilidade: Métodos de avaliação de usabilidade e experiência do usuário; Design Participativo; Análise de usabilidade automatizada - Em Mineração de Processos: Descoberta de Processos; Análise e redesenho automático de fluxos; Detecção de anomalias - Em Engenharia de Software e Sistemas: Geração de aplicações Low Code; Métodos de Desenho de Serviços/Projetos; Integração e Interperabilidade de Sistemas; Blockchain.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (18) / Mestrado acadêmico: (8) . , Integrantes: Maria Viviane de Menezes - Integrante / Paulo de Tarso Guerra Oliveira - Integrante / Davi Romero de Vasconcelos - Coordenador / Andréia Lib'ório Sampaio - Integrante / Ticiana Linhares Coelho da Silva - Integrante / Régis Pires Magalhães - Integrante / José Antônio Fernandes de Macêdo - Integrante / Críston Souza Pereira - Integrante.

• 2016 - 2018

  Métodos Formais para Planejamento em Inteligência Artificial, Descrição: Este projeto de pesquisa está inserido na área de Planejamento Auto- matizado: a subárea da Inteligência Artificial que se preocupa com a escolha de ações de um agente inteligente para alcançar uma meta. Uma solução para um problema de planejamento é uma seqüência de ações (plano), que leva o agente de um estado inicial a um estado que satisfaz a meta (estado meta). Dizemos que um problema de planejamento não possui solução quando não existe um plano que alcança um estado meta. São três as possı́veis causas para um problema de planejamento sem solução: (i) especificação incorreta do estado inicial; (ii) meta não alcançável e; (iii) especificação incorreta das ações. Nesse projeto de pesquisa, propomos a construção de um arcabouço para sugerir mudanças em problema de planejamento sem solução, baseado em métodos formais tais como verificação de modelos, atualização de modelos e revisão de crenças. O objetivo deste projeto de pesquisa é o estudo e construção de algoritmos para verificar a existência de um plano solução e sugerir mudanças do estado inicial, meta e ações nos casos em que o problema não é solucionável.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (9) . , Integrantes: Maria Viviane de Menezes - Coordenador / LELIANE NUNES DE BARROS - Integrante / Marcos Paulo Maia dos Santos - Integrante / Marília Cristina do Carmo Viana - Integrante / Liana Mara Carvalho de Menezes - Integrante / Deyvison Nogueira Rodrigues - Integrante / marisa do carmo silva - Integrante / Vinicius Teixeira de Melo - Integrante / Rodrigo Barbosa de Almeida - Integrante / Rodrigo Machado dos Santos - Integrante / Macilio da Silva Ferreira - Integrante., Financiador(es): Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico - Outra., Número de produções C, T & A: 4

• 2009 - 2012

  LOGPROB: lógica probabilística - fundamentos e aplicações computacionais, Descrição: Das possíveis formas de raciocínio que um agente racional pode utilizar, o raciocínio lógico e as inferências probabilísticas estão entre as que recebem maior destaque na prática, sendo incorporadas em modelos e em programas de computador para a realização das mais diversas tarefas. No entanto, as interações possíveis entre estas formas de raciocínio ainda não são muito bem compreendidas, tanto do ponto de vista teórico como no de aplicações computacionais. Do ponto de vista teórico, ainda está-se por estabelecer, de forma inequívoca, relações entre valores verdades e distribuições de probabilidades sobre fórmulas. Do ponto de vista de aplicações, ainda está-se tentando estabelecer a fronteira entre quando empregar inferências lógicas e quando empregar inferências estatísticas. Este projeto pretende investigar estas questões, tanto do aspecto teórico quanto do aspecto de aplicações computacionais. Abordaremos a área de satisfatibilidade probabilística, lógicas de descrição probabilísticas para web semântica, planejamento probabilístico e análise de cenas. Este projeto pretende desenvolver softwares que abordem os temas investigados e disponibilizá-los através de uma licença de software livre dentro do escopo da Divisão de Inteligência Artificial do Centro de Competência em Software Livre da USP. (AU). , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (2) . , Integrantes: Maria Viviane de Menezes - Integrante / LELIANE NUNES DE BARROS - Integrante / Marcelo Finger - Coordenador / Fabio Gagliardi Cozman - Integrante / Renata Wassermann - Integrante / KARINA VALDIVIA DELGADO - Integrante / Luis Gustavo Rocha Vianna - Integrante / Anderson de Araújo - Integrante / Paulo de Tarso Guerra Oliveira - Integrante / Valdinei Freire da Silva - Integrante / Fabiano Rogerio Corrêa - Integrante / Juliana Bueno - Integrante / Tiago Matos - Integrante / Kate Cerqueira Revoredo - Integrante / Anna Helena Reali Costa - Integrante / Jerônimo Cordoni Pellegrini - Integrante / Paulo Eduardo Santos - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

• 2004 - 2005

  Elaboração de um sistema para testes de conformidade de protocolos, Descrição: Este projeto teve como objetivo implementar um sistema para geração de casos de testes para testes de conformidade de qualquer protocolo. O sistema projetado visa atender às necessidades das empresas que atualmente são obrigadas a comprar softwares específicos para testar a conformidade de cada tipo de protocolo.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Maria Viviane de Menezes - Integrante / MENDOUGA, Laure Waha Ndeuna - Coordenador / MARCIAL PORTO FERNANDEZ - Integrante / RAFAEL FERNANDO VAZ - Integrante., Financiador(es): Teracom Telemática - Cooperação.

Prêmios