Mario Roberto Folhadela Benevides

Possui graduação em Engenharia Elétrica pela Pontifícia Universidade Católica do Rio de Janeiro (1982), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1985) e doutorado em Ciência da Computação - Imperial College of Science Technology And Medicine (1991). Atualmente é professor do Instituto de Computação da Universidade Federal Fluminense. Ele é professor titular aposentado da Universidade Federal do Rio de Janeiro. Tem experiência na área de Ciência da Computação, com ênfase em Lógicas e Semântica de Programas, atuando principalmente em lógicas aplicada à computação: lógicas modais, lógicas dinâmicas e lógicas epistêmica.

Informações coletadas do Lattes em 08/09/2025

Acadêmico

Formação acadêmica

Doutorado em Computer Science

1987 - 1991

Imperial College of Science Technology and Medicine
Título: A Proof Theoretical Methodology for Multiple-Word Reasoning
Orientador: Thomas S E. Maibaum
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Grande área: Ciências Exatas e da Terra

Mestrado em Informática

1983 - 1985

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Título: Implementação de um Protocolo N2 X 25 Multi-Enlace num Cobra-540, Ano de Obtenção: 1985
Orientador: Daniel Menasce
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Methodology; Multiple-World; Protocolo; X-25; Rede; Reasoning. Grande área: Ciências Exatas e da Terra

Graduação em Engenharia Elétrica

1978 - 1982

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio

Pós-doutorado

1997 - 1998

Pós-Doutorado. , Universiteit van Amsterdam, UvA, Holanda. , Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. , Grande área: Ciências Exatas e da Terra

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Espanhol

Compreende Bem, Fala Razoavelmente, Lê Razoavelmente, Escreve Pouco.

Italiano

Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.

Francês

Compreende Pouco, Fala Pouco, Lê Razoavelmente, Escreve Pouco.

Á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.

Participação em bancas

Aluno: Maurício da Silva Pires

VIEIRA, Bruno Lopes; SOUZA, U. S.;Benevides, MarioPROTTI, F.HAEUSLER, E. H.; OLIVEIRA, M. O.. Revisitando o Teorema de Courcelle. 2020. Dissertação (Mestrado em CIÊNCIAS DA COMPUTAÇÃO) - Universidade Federal Fluminense.

Aluno: Bernardo Pinto de Alkmim

HAEUSLER, E. H.; PEREIRA, L. C.;Benevides, Mario R. F.. A Lógica sobre Leis iALC: Implementação de Provas de Correção e Completude e Proposta de Formalização da Legislação Brasileira. 2019. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: ARNALDO ARAÚJO LIMA JÚNIOR

MARTINS, A.;Benevides, Mario R. F.. LÓGICA DE PRIMEIRA ORDEM COM AGREGAÇÃO DE PREFERÊNCIAS. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Rainer Augusto Ferreira Sales

OLIVEIRA, D. C. M.; CARVALHO, A. M. P.;Benevides, Mario. Aplicação de NPC Afetivo em Jogos de Simulação. 2014. Dissertação (Mestrado em CIÊNCIAS DA COMPUTAÇÃO) - Universidade Federal Fluminense.

Aluno: Vicente de Melo Pinheiro

FIGUEIREDO, D. R.;Benevides, Mario. . Modelagem e Caracteriização de um Processo de Amostragem de Vértices em Redes. 2013. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Fábio SILVA DO COUTO

DELGADO, C. M.Benevides, M.. Confiança e Reputação para Jogos. 2013. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Carlos Roberto Rodrigues Filho

Ana T. MartinsBenevides, M.. A EVOLUÇÃO DO PROJETO COMPUTACIONAL PARA UMA INTELIGENCIA ARTIFICIAL E AS NOVAS PERSPECTIVAS OFERECIDAS PELOS AVANCOS DA COGNIÇÃO ENATIVA. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: IURI FERNANDES QUEIROZ

Ana T. MartinsBenevides, M.. VERSIONAMENTO DE ONTOLOGIAS BASEADO EM LÓGICAS TEMPORAIS. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: HENRIQUE VIANA OLIVEIRA

ALCANTARA, J. F. L.;Ana T. MartinsBenevides, M.. REFINAMENTODECONSULTASEMLO ́GICASDEDESCRIC ̧A ̃O UTILIZANDO A TEORIA DOS ROUGH SETS. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Washington Luís Ribeiro de C

Flavio L. C. de Moura;BENEVIDES, M. Segundo. Verificação de Propriedades do Cálculo $\lambda$ex em Coq. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.

Aluno: Cibele Matos freire

Ana T. MartinsBenevides, Mario R.F.. Complexidade Descritiva das Lógicas de Ordem Superior com Menor Ponto Fixo e Análise de Expressividade de algumas Lógicas Modais.. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Andréia Avelar

Mauricio A. Rincon;BENEVIDES, M. Formalização da Prova do Teorema de Existência de Unificadores Mais Gerais em Teorias de Primeira Ordem. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.

Aluno: Cecilia Englander

HAEUSLER, E. H.BENEVIDES, M. 2-Category and Proof Theory. 2009. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: [Nome removido após solicitação do usuário]

M. Finger;Benevides, Mario R. F.; R. Wassermann. Revisão de modelos formais de sistemas de estados finitos. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Jandson Santos Ribeiro Santos

R. Wassermann;Benevides, Mario; M. Finger; ANDRADE, A.; COSMAN, F.. Belief Change without Compactness. 2020. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

Aluno: LUIS HENRIQUE BUSTAMANTE DE MORAIS

Ana T. Martins; BRITO, C.;Francicleber Martins FerreiraHAEUSLER, E. H.Benevides, Mario R. F.. PARAMETERIZED COMPLEXITY INVESTIGATIONS ON THE FIRST-ORDER SATISFIABILITY AND MATCHING PROBLEMS. 2019. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Jefferson de Barros Santos

HAEUSLER, E. H.; PEREIRA, L. C.;Benevides, Mario R. F.. Systems for provability and countermodel generation in Minimal Implicational Logic. 2017. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Bruno Lopes Ribeiro

HAEUSLER, E. H.Mario R. F. Benevides. Extending Propositional Dynamic Logic for Petri Nets. 2014. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Ana Luísa de Cerqueira Leite Duboc

G. Zaverucha;Mario R. F. Benevides. Uma Análise dos Operadores de Revisão de Teorias do Sistema de Revisão FORTE-MBC. 2014. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Alexandre Matos Arruda

M. Finger; R. Wassermann;Benevides, Mario R. F.. Abdução Clássica e Abdução Probabilı́stica: a busca pela explicação de dados reais. 2014. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

Aluno: Daniele Nantes Sobrinho

Mauricio A. Rincon; FERNANDEZ, M.;BENEVIDES, M; QUEIROZ, R. J. G.; Flavio L. C. de Moura. O Problema da Dedução do Intruso para Teorias AC-convergentes Localmente Estáveis. 2013. Tese (Doutorado em Matemática) - Universidade de Brasília.

Aluno: Francicleber Martins Ferreira

Ana T. MartinsHAEUSLER, E. H.Benevides, M.. Expressiveness and Complexity in Preferential, Hybrid and Bounded-Degree Logics. 2012. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Ricardo Queiroz de Araújo Fernandes

HAEUSLER, E. H.Benevides, M.. Proximity-based Understanding of Conditionals. 2012. Tese (Doutorado em Doutorado) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Cecilia Fernanda Saraiva de Oliveira

COUTINHO, S. C.;Benevides, M.. SOBRE DERIVAC ̧O ̃ES SIMPLES E FOLHEAC ̧O ̃ES HOLOMORFAS SEM SOLUC ̧A ̃O ALGE ́BRICA. 2012. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Aline Marins Paes

ZAVERUCHA, G.;Benevides, M.. ON THE EFFECTIVE REVISION OF (BAYESIAN) LOGIC PROGRAMS. 2011. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Alexandre Cavalcante Silva

Ana T. MartinsBENEVIDES, M. Sistemas Esquem\'aticos de Deduçãoo Natural - Um Estudo Prova-Teórico. 2010. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Alexandre Rademaker

HAEUSLER, E. H.BENEVIDES, M. A proof theory for Description Logics. 2010. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Marcio Moretto Ribeiro

R. Wassermann;Benevides, Mario R.F.; Walter Carnielli; M. Finger; Fabio Cozman. Revisão de crenças em lógicas de descrição e em outras lógicas não clássicas. 2010. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

Aluno: Kate Cerqueira Revoredo

G. Zaverucha;BENEVIDES, M. PFORTE-PI: Revisão de Teorias Prob. de Prim. Ordem através de exemplos com invenção de predicados. 2009. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Raquel Defelippo Rodrigues

A. Cruz;BENEVIDES, M. Aliança - Uma Proposta de Arquitetura para Bancos de Dados Nebulosos. 2008. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Alberto Tavares da Silva

Luis A. V. Carvalho;BENEVIDES, M. Assistente Inteligente para a Extração de Elementos Orientados a Objeto de Discurso. 2008. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Bruno Shoedrenger

HAEUSLER, E. H.BENEVIDES, M. A Graph Based Theorem Prooving Platform. 2008. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Juliana Carpes Imperial

HAEUSLER, E. H.BENEVIDES, M. Confiança em Modelos Multi-Agentes. 2007. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Leila Andrade

Luis A. V. Carvalho;BENEVIDES, M. Uso de T\'ecnicas Inteligentes para Análise de Avaliações do Transtorno do Déficite de Atenção e Hiperatividade em um Jogo Computacional. 2007. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Carlos Bazílio Martins

HAEUSLER, E. H.Benevides, Mario R. F.. Análise Formal de Protocolos e Algoritmos Distribuídos: Uma Abordagem Baseada em Linguagem. 2005. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Bruno Lopes Ribeiro

HAEUSLER, E. H.BENEVIDES, M.R.F.. Extending Propositional Dynamic Logic for Petri Nets. 2004. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Samy Sá

ALCANTARA, J.;Benevides, MarioAna T. Martins; VASCONCELOS, D. R.. Semantic Equivalences Between Argumentation Formalisms. 2020. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Manisha Jain

SANTO, J. C. E.;Benevides, Mario; MADEIRA, A.. Dynamic fuzzy logics for quantum programs: Foundations and applications. 2020. Exame de qualificação (Doutorando em APPLIED MATHEMATICS DOCTORAL PROGRAM OF THE UNIVERSITIES OF MINHO, AVEIRO A) - Universidade do Minho.

Aluno: André Luiz Pereira de Oliveira Junior

VIEIRA, Bruno Lopes; OLIVEIRA, D. C. M.;Benevides, Mario. Verificação de modelos DS3 com Storm Model Checker. 2020. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Benevides, Mario; MIRAGLIA, F.; BIANCONI, R.; CONIGLIO, M. E.; TERAN, E. A. C.. Progressão para Classe E - Andreas Brauner - MAT/UFBA. 2021. Universidade Federal da Bahia.

Benevides, Mario R. F.; QUEIROZ, R. J. G.; MACEDO, R.. Progressão Classe E DCC/UFBA (Prof. Aline Andrade). 2019. Universidade Federal da Bahia.

Benevides, Mario R. F.. Progressão Classe E DCC/UFBA (Profa. Elaine Pimentel). 2018. Universidade Federal do Rio Grande do Norte.

Benevides, Mario R. F.. Progressão Titular Classe E DME/IM (Prof. Gastão Gomes). 2015. Universidade Federal do Rio de Janeiro.

Benevides, Mario R. F.; de Freitas, Renata;VELOSO, S. M.; MARTINS, A.; BRAGA, C.. Professor adjunto 40DE Teoria da Computação DCC/IM. 2018. Universidade Federal do Rio de Janeiro.

Benevides, Mario. Concurso Público para o cargo de Professor Adjunto. 2013. Instituto Militar de Engenharia.

ANDRADE, A.;BENEVIDES, M. Concurso Professor Adjunto Teoria da Computação. 2010. Universidade Federal da Bahia.

Benevides, M.. Concurso Prof. Adjunto Linguagens de Programação e Compiladores. 2010. Universidade Federal do Rio de Janeiro.

M. Rincon;BENEVIDES, M. Concurso Professor Adjunto Teoria da Computação. 2009. Universidade Federal do Rio de Janeiro.

A. Oliveira;BENEVIDES, M. Concurso Professor Adjunto Computação Gráfica. 2009. Universidade Federal do Rio de Janeiro.

P. Cunha; TRAINA JR, C.;BENEVIDES, M; PINHEIRO, P.; MELO, L.. Concurso Professor Adjunto Teoria da Computação. 2008. Universidade Federal do Ceará.

Orientou

Mateus Abreu Itikawa

Raciocínio Lógico com Large Language Models; Início: 2025; Dissertação (Mestrado em Computação) - Universidade Federal Fluminense; (Orientador);

Lívia Barreto Carvalhaes Girard

ANÁLISE TÉCNICA OU LSTM: UM ESTUDO COMPARATIVO NA PREDIÇÃO DE MINI ÍNDICE IBOVESPA PARA DAY TRADE; Início: 2025; Tese (Doutorado em Computação) - Universidade Federal Fluminense, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Anna C

C; M; Oliveira; Dolev-Yao Epistemic Logic for Security Verification in Protocols; Início: 2018; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Luiz C

F; Fernandez; Verifying Security Protocols as Planning Problem; Início: 2018; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Matheus Guimarães Robaína

A TABLEAUX METHOD FOR MEMORY PROPOSITIONAL DYNAMIC LOGIC WITH ITERATION; 2024; Dissertação (Mestrado em CIÊNCIAS DA COMPUTAÇÃO) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Mario Roberto Folhadela Benevides;

Anna C

C; Moreira de Oliveira; Model Checking Dolev-Yao Multi-Agent Epistemic Logic; 2018; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Mario Roberto Folhadela Benevides;

Luiz Cláudio Frederico Fernandez

A Tableaux for Dolev-Yao Multi-Agent Epistemic Logic; 2018; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Mario Roberto Folhadela Benevides;

Vitor Pereira Machado

POPULATIONAL ANNOUNCEMENT LOGIC (PPAL); 2016; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Mario Roberto Folhadela Benevides;

Glauco Ofranti Trindade

VIDEO GAME DEVELOPMENT ONTOLOGY; 2015; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Mario Roberto Folhadela Benevides;

Isaque Lima Maçalam Saab

Evolução do Conhecimento; 2013; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, ; Orientador: Mario Roberto Folhadela Benevides;

Rafael Nader

Jogos Ocultos de Markov; 2013; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, ; Orientador: Mario Roberto Folhadela Benevides;

Edno Vicente da Silva

Especificação Formal e Verificação Automática de Workflows Científicos; 2010; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, ; Coorientador: Mario Roberto Folhadela Benevides;

Edurado Ramos Waghabi

Aplicação de Modelos Ocultos de Markov em Jogos de Estratégia Mista; 2009; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, ; Orientador: Mario Roberto Folhadela Benevides;

Daniel Levitan

Agorítimos para Achar Equilíbrio em Jogos Baseados em Grafos; 2007; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, ; Orientador: Mario Roberto Folhadela Benevides;

Luis Roberto Medeiros Lopes

MAPKAT: Um Framework Lógico para Planejamento Multi-Agente; 2006; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Mario Roberto Folhadela Benevides;

Ricardo Ribeiro

Programação em Lógica em Jogos Extensivos; 2005; 122 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Mario Roberto Folhadela Benevides;

Paulo Coelho Ventura Pinto

Método de Tableaux Modal para Lógica Modal Epstêmica com Operador de Conhecimento Comum; 2005; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Mario Roberto Folhadela Benevides;

Lorena Sophia Campos de Oliveira

Especificação de Software Educacionais utilizando Lógica de Diálogos e Sistemas Multi-agentes baseados em Conhecimento; 2004; 121 f; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, ; Orientador: Mario Roberto Folhadela Benevides;

Ricardo Pires Mesquita

ProCalculus: Programação em Lógica e Álgebra de Processos; 2003; 104 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Mario Roberto Folhadela Benevides;

Marcele Câmara de Souza

Utilização de Lógica Modal na Verificação de Sistemas de Trocas de Mensagens; 2002; 106 f; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, ; Coorientador: Mario Roberto Folhadela Benevides;

Michel de Almeida Carlini

Especificação de Sistemas Multi-Agentes Baseados em Conhecimento; 2002; 105 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Mario Roberto Folhadela Benevides;

Carla Amor Divino Moreira Delgado

Lógica de Conhecimento e Eventos em Sistemas Assíncronos; 2001; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Mario Roberto Folhadela Benevides;

Marcelo Sihman

Deteção de Deadlock em Especificações Algébricas para Sistemas Concorrentes; 1998; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Mario Roberto Folhadela Benevides;

Odinaldo T

Rodrigues; Prolog Modal de Ação e Revisão de Crenças Em Conjuntos Definidos; 1993; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Mario Roberto Folhadela Benevides;

Vitor Pereira Machado

Temporal Logics for Diffusion Social Networks; 2023; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Mario Roberto Folhadela Benevides;

Luis Menasché Schechter

Aplicações de Lógicas Modais a Teoria de Grafos e Sistemas Concorrentes; 2010; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Mario Roberto Folhadela Benevides;

Carla Amor Divino Moreira Delgado

Modelagem e Verificação de Propriedades Epistêmicas em Sistemas Multi-Agentes; 2007; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Mario Roberto Folhadela Benevides;

Vera Lúcia Prudência dos Santos

Concorrência e Sincronização em Lógica Dinâmica de Processos; 2005; 202 f; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Mario Roberto Folhadela Benevides;

Paulo Pires

WEBTRANSACT: Uma Infraestrutura para Especificação e Coordenação de Composições de Serviços Web Robustas; 2002; 42 f; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Mario Roberto Folhadela Benevides;

Vania Costa

Uma Lógica Modal Bidimensional para representação do Conhecimento em Sistemas Distribuidos Multiagentes; 2002; 100 f; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Mario Roberto Folhadela Benevides;

Renata Freitas

Lógica Modal da Bifurcação; 2002; 0 f; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Mario Roberto Folhadela Benevides;

Hugo de Holanda Cunha Nobrega

2018; Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Mario Roberto Folhadela Benevides;

Ivan Jose Varzinczak

2015; Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Mario Roberto Folhadela Benevides;

Lew Gordev

2015; Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Mario Roberto Folhadela Benevides;

Silvia Pimpão Velasques

IMPLEMENTAÇÃO DE UM SISTEMA PARA MODELAGEM EPISTÊMICA DE CONHECIMENTOS E VALIDAÇÃO DE SEGURANÇA EM PROTOCOLOS DE COMUNICAÇÃO; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Mario Roberto Folhadela Benevides;

André Gustavo Lima Figueiredo

ANÁLISE DO MODELO DE ATAQUES AO PROTOCOLO SIGNAL Uma abordagem usando lógica e mCRL2; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Mario Roberto Folhadela Benevides;

Vanessa Escocio Lourenço

Ricardo Ribeiro

Corretor Ortográfico; 2002; 36 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Mario Roberto Folhadela Benevides;

Hugo Fernando Marques Fernandes

SiSitemas Distribuídos e Compartilhamento de Recursos; 2001; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Mario Roberto Folhadela Benevides;

Roberta de Oliveira Rocha

Teoria dos Jogos; 2000; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Mario Roberto Folhadela Benevides;

José Alves Jr

; Problema de Concenso; 1999; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Mario Roberto Folhadela Benevides;

Carla Amor Divino Moreira Delgado

Lógica de Conhecimento e Crença; 1999; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Mario Roberto Folhadela Benevides;

Produções bibliográficas

Benevides, Mario ; Gomes, Leandro ; Lopes, Bruno . Towards determinism in PDL: relations and proof theory. JOURNAL OF LOGIC AND COMPUTATION , v. 1, p. 1, 2024.
MACHADO, VITOR ; Benevides, Mario . Temporal logics for compartmental models. JOURNAL OF LOGIC AND COMPUTATION , v. 1, p. 1, 2024.
Benevides, M. ; Madeira, Alexandre ; MARTINS, M. . Graded epistemic logic with public announcement. Journal of Logical and Algebraic Methods in Programming , v. 125, p. 100732, 2022.
MACHADO, V. ; Benevides, M. . Temporal Logic for Social Networks. JOURNAL OF LOGIC AND COMPUTATION , v. 32, p. 1088-1108, 2022.
Benevides, Mario ; Lopes, Bruno ; Haeusler, Edward Hermann . Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach. THEORETICAL COMPUTER SCIENCE , v. 744, p. 22-36, 2018.
Benevides, Mario R. F. ; FERNANDEZ, L. C. ; OLIVEIRA, A. C. M. . Dolev-Yao Multi-Agent Epistemic Logic}{Dolev-Yao Multi-Agent Epistemic Logic. SOUTH AMERICAN JOURNAL OF LOGIC , v. 4, p. 281-312, 2018.
VELOSO, PAULO A.S. ; VELOSO, SHEILA R.M. ; Benevides, Mario R.F. . On a graph calculus for modalities. THEORETICAL COMPUTER SCIENCE , v. 685, p. 83-103, 2017.
Benevides, Mario . Bisimilar and logically equivalent programs in PDL with parallel operator. THEORETICAL COMPUTER SCIENCE , v. 685, p. 23-45, 2017.
Benevides, Mario ; LIMA, I. . Action Models with Postconditions. COMPUTACION Y SISTEMAS , v. 21, p. 401-406, 2017.
FERREIRA, F.M. ; FREIRE, C.M. ; BENEVIDES, M.R.F. ; MENASCHÉ SCHECHTER, L. ; MARTINS, A.T. . Polynomial hierarchy graph properties in hybrid logic. Journal of Computer and System Sciences (Print) , v. 80, p. 1087-1101, 2014.
Benevides, M. R. F. ; Schechter, L. M. . Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator. Journal of Logic and Computation (Print) , v. 24, p. 919-951, 2014.
Veloso, P. A. S. ; Veloso, S. R. M. ; Benevides, M. R. F. . PDL for structured data: a graph-calculus approach. Logic Journal of the IGPL (Print) , v. 22, p. 737-757, 2014.
LOPES, B. ; Benevides, M. ; HAEUSLER, E. H. . Propositional dynamic logic for Petri Nets. Logic Journal of the IGPL (Print) , v. 22, p. 721-736, 2014.
Benevides, Mario R.F. ; Schechter, L. Menasché . A study on multi-dimensional products of graphs and hybrid logics. Theoretical Computer Science , v. 412, p. 4946-4966, 2011.
Veloso, P. A. S. ; Veloso, S. R. M. ; VIANA, P. ; Freitas, R. D. ; Benevides, M. ; Delgado, C. . On vague notions and modalities: a modular approach. Logic Journal of the IGPL , v. 18, p. 381-402, 2010.
Benevides, M. R. F. ; Schechter, L. M. . Using modal logics to express and check global graph properties. Logic Journal of the IGPL , v. 17, p. 559-587, 2009.
Veloso, Paulo A. S. ; Freitas, Renata P. ; Viana, Petrucio ; Benevides, Mario ; Veloso, Sheila R. M. . On Fork Arrow Logic and its Expressive Power. Journal of Philosophical Logic , v. 36, p. 489-509, 2007.
COSTA, Vania ; BENEVIDES, M. R. F. . Reasoning about Knowledge in Asychronous Distributed Systems. Bulletin of the IGPL , Inglaterra, v. 13, n.1, p. 5-28, 2005.
COSTA, Vania ; BENEVIDES, M. R. F. . Formalizing Concurrent Common Knowledge as Product of Modal Logic. Bulletin of the IGPL , Oxford University Press, v. 13, n.6, p. 665-684, 2005.
BENEVIDES, M. R. F. ; FREITAS, R. P. ; VIANA, P. ; VELOSO, S. M. ; VELOSO, P. A. . Squares in Fork Arrow Logic. Journal of Philosophical Logic (Dordrecht. Online) , Holanda, v. 32, n.1, p. 343-355, 2003.
BARBOSA, V. C. ; BENEVIDES, M. R. F. ; OLIVEIRA FILHO, A. L. . A Priority Dynamics for Generalized Drinking Philosophers. Information Processing Letters, v. 79, p. 189-195, 2001.
BENEVIDES, M. R. F. ; BARBOSA, V. ; FRANÇA, F. G. . Sharing Resources at Nonuniform Access Rates. Theory of Computing Systems , v. 34, p. 13, 2000.
BENEVIDES, M. R. F. ; MAYBAUM, T. S. E. . A Constructive Presentation for the Modal Connective of Necessity (¿). Journal of Logic and Computation (Online) , v. 2, n.1, p. 31-50, 1992.
BENEVIDES, M.R.F. ; LOPES, B. . Memory Propositional Dynamic Logic. In: Edward H. Haeusler, Luis Carlos. Pereira, Jorge P. Viana. (Org.). A Question is More Illuminating than an Answer. A Festschrift for Paolo A. S. Veloso. 1ed.Londres: College Publications, 2021, v. 44, p. 9-27.
Gomes, Leandro ; Madeira, Alexandre ; Benevides, Mario . Logics for Petri Nets with Propagating Failures. In: Hojjat H., Massink M.. (Org.). Lecture Notes in Computer Science. 1ed.Cham: Springer International Publishing, 2019, v. 11716, p. 145-157.
Veloso, Sheila R. M. ; Veloso, Paulo A. S. ; Benevides, Mario R. F. ; Lima, Isaque M. S. . On Diagrams and General Model Checkers. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2018, v. 10871, p. 680-688.
VELOSO, S. M. ; VELOSO, P. A. ; Benevides, Mario R. F. ; LIMA, I. . On General Graphical Model-Checkers. In: Jean-Yves Beziau; Francicleber Ferreira; Ana Teresa Martins; Marcelo Pequeno. (Org.). Logic, Intelligence, and Artifices. 38ed.Londres: College Publications, 2018, v. 1, p. 13-32.
Benevides, Mario R. F. ; Lopes, Bruno ; Haeusler, Edward Hermann . Propositional Dynamic Logic for Petri Nets with Iteration. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2016, v. 9965, p. 441-456.
Lopes, Bruno ; Benevides, Mario ; Haeusler, Edward Hermann . Reasoning about Multi-Agent Systems Using Stochastic Petri Nets. Advances in Intelligent Systems and Computing. 1ed.: Springer International Publishing, 2015, v. 372, p. 75-86.
BENEVIDES, M. R. F. . Modal Logics for Finite Graphs. In: Ruy J. G. Queiroz. (Org.). Logic for Concurrency and Synchronization. Amsterdam: Kluwer Academic Publishers series Trends in Logic, 2003, v. 18, p. 239-267.
BENEVIDES, M. R. F. . A Natural Deduction Presentation For Intuitionistic Modal Logic. In: W. Carnielli; L. C.Pereira. (Org.). Logic, Sets and Information. Campinas - SP: Unicamp - Coleção CLE, 1995, v. 14, p. 25-59.
FERNANDEZ, LUIZ C. F. ; Benevides, Mario R. F. . A Tableaux System for Dolev-Yao Multi-Agent Epistemic Logic. In: Workshop Brasileiro de Lógica, 2023, Brasil. Anais do IV Workshop Brasileiro de Lógica (WBL 2023). Porto Alegre: Sociedade Brasileira de Computação, 2023. v. 1. p. 9-1.
Benevides, Mario R. F. ; MADEIRA, A. ; MARTINS, M. . Adding Proof Calculi to Epistemic Logics with Structured Knowledge. In: International Conference on Fundamentals of Software Engineering - FSEN, 2021, Tehran. Lecture Notes in Computer Science. Londres: Springer, 2021. v. 12818. p. 53-68.
MACHADO, V. ; Benevides, Mario R. F. . Populational Announcement Logic (PPAL). In: 14th International Workshop on Logical and Semantic Frameworks, with Applications, 2020, Natal. Electronic Notes in Theoretical Computer Science. Amsterdã: Elsevier, 2020. v. 348. p. 105-123.
BENEVIDES, MARIO FOLHADELA ; DE OLIVEIRA, ANNA MOREIRA . Propositional Dynamic Logic for Planning. In: Workshop Brasileiro de Lógica, 2020, Brasil. Anais do Workshop Brasileiro de Lógica (WBL 2020). Porto Alegre: Sociedade Brasileira de Computação - SBC, 2020. v. 1. p. 17-24.
BENEVIDES, MARIO FOLHADELA ; LIMA, ISAQUE MACALAM SAAB . Dynamic Epistemic Logic with Assignments, Concurrency and Communication Actions. In: Workshop Brasileiro de Lógica, 2020, Brasil. Anais do Workshop Brasileiro de Lógica (WBL 2020). Porto Alegre: Sociedade Brasileira de Computação - SBC, 2020. v. 1. p. 25-32.
Benevides, Mario R. F. ; LIMA, I. . Dynamic Epistemic Logic with Communication Actions. In: 13th Workshop on Logical and Semantic Frameworks with Applications, 2019, Fortaleza. Electronic Notes in Theoretical Computer Science. Amsterdã: Elsevier, 2019. v. 344. p. 67-82.
MADEIRA, A. ; MARTINS, M. ; Benevides, Mario R. F. . Epistemic Logics with Structured Knowledge. In: 13th Workshop on Logical and Semantic Frameworks with Applications, 2019, Fortaleza. Electronic Notes in Theoretical Computer Science. Amsterdã: Elsevier, 2018. v. 344. p. 137-149.
Benevides, Mario R. F. ; MADEIRA, A. ; MARTINS, M. . A family of graded epistemic logics. In: 13th Workshop On Logical and Semantic Frameworks with applications (to aapear), 2018, Brasilia. Eletronic Notes in Theoretical Computer Science' ENTCS, 2018. v. 338. p. 45-59.
MACHADO, V. ; Mario R. F. Benevides . Populational Announcement Logic (PPAL). In: International Workshop on Defeasible and Ampliative Reasoning 2017, 2017, Spoo. Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17), 2017. v. 1. p. 2-15.
Benevides, Mario R.F. ; MACHADO, V. . Populational Dynamic Epistemic Logic (PPDEL). In: Encontro Nacional de Inteligência Artificial e Computacional, 2015, Natal. Anais Encontro Nacional de Inteligência Artificial e Computacional. Porto Alegre: Sociedade Brasileira de Computação, 2015. v. 1. p. 1.
VELOSO, P. A. ; VELOSO, S. M. ; BENEVIDES, M . On Graph Calculi for Multi-modal Logics. In: Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2015, Brasilia. Electronic Notes in Theoretical Computer Science. Amsterdã: Elsevier, 2014. v. 312. p. 231-252.
Mario R. F. Benevides . Bisimilar and Logically Equivalent Programs in PDL. In: VIII Workshop on Logical and Semantic Frameworks, with Applications, 2014, São Paulo. Electronic Notes in Theoretical Computer Science ENTCS. Amsterdam: Elsevier, 2014. v. 305. p. 5-18.
Veloso, Paulo A. S. ; Veloso, Sheila R. M. ; Benevides, Mario R.F. . On a Graph Approach to Modal Logics. In: VIII Workshop on Logical and Semantic Frameworks, with Applications, 2014, São Paulo. Electronic Notes in Theoretical Computer Science ENTCS. Amsterdam: Elsevier, 2014. v. 305. p. 123-139.
LOPES, B. ; Benevides, M. R. F. ; HAEUSLER, E. H. . Extending Propositional Dynamic Logic for Petri Nets. In: VIII Workshop on Logical and Semantic Frameworks, with Applications, 2014, São Paulo. Electronic Notes in Theoretical Computer Science ENTCS. Amsterdam: Elsevier, 2014. v. 305. p. 67-83.
Benevides, M. R. F. ; LIMA, I. ; NADER, R. ; ROUGEMONT, P. . Using HMM in Strategic Games. In: 9th International Workshop on Developments in Computational Models, affiliated workshop of CONCUR 201, 2014, Buenos Aires. Electronic Proceedings in Theoretical Computer Science EPTCS. Amsterdam: Elsevier, 2014. v. 144. p. 73-84.
LIMA, I. ; BENEVIDES, M. R. F. . Modelos de Ação com Pós-Condição. In: ENIAC 2014 ? Encontro Nacional de Inteligência Artificial e Computacional, 2014, São Carlos. Brazilian Conference on Intelligent Systems, 2014. v. 1. p. 1-9.
LOPES, B. ; Benevides, M. R. F. ; HAEUSLER, E. H. . Verifying properties in multi-agent systems using Stochastic Petri Nets and Propositional Dynamic Logic. In: Encontro Nacional de Inteligência Artificial e Computacional, 2013, Fortaleza. Anais Encontro Nacional de Inteligência Artificial e Computacional. Rio de Janeiro: SBC, 2013. v. 1. p. 1-12.
Benevides, Mario R.F. ; de Freitas, Renata ; Viana, Petrucio . Propositional Dynamic Logic with Storing, Recovering and Parallel Composition. In: Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop (LSFA 2010), 2011, Natal. Electronic Notes in Theoretical Computer Science. Amsterdã: Elsevier B.V., 2010. v. 269. p. 95-107.
Francicleber Martins Ferreira ; Cibele Matos Freire ; Benevides, Mario R.F. ; Luis Menasché Schechter ; Ana T. Martins . Hybrid Logics and NP Graph Properties. In: XVIII Workshop on Logic, Language, Information and Computation (Wollic 2011), 2011, Philadelphia, USA. Lecture Notes in Artificial Intelligence, 2011. v. 6642. p. 123-134.
Benjamin C. Bedrega ; Regivan N. Santiago ; Benevides, Mario R.F. ; Viana, Petrucio . K, T and D-like fuzzy Kripke models. In: 2011 Annual Meeting of the North American Fuzzy Information Processing, 2011, , El Paso - Texas. NAFIPS 2011. Danvers, MA: IEEE, 2011. v. 1. p. 103-108.
Benevides, Mario R.F. ; Schechter, L. Menasché . A Propositional Dynamic Logic for Concurrent Programs Based on the ?-Calculus. In: Methods for Modalities (M4M), 2010, Copenhaguem. Electronic Notes in Theoretical Computer Science ENTCS. Amsterdã: Elsevier. v. 262. p. 49-64.
Benjamin C. Bedrega ; Regivan N. Santiago ; Benevides, Mario R.F. ; Viana, Petrucio . K-Like Fuzzy Kripke Models. In: I Congresso Brasileiro de Sistemas Fuzzy, 2010, Sorocaba. Anais do I Congresso Brasileiro de Sistemas Fuzzy. São Carlos: Universidade Federal de São Carlos, 2010. p. 1-7.
BENEVIDES, M. R. F. ; Luis Menasché Schechter . Product of Graphs and Hybrid Logic. In: Fourth Workshop on Logical and Semantic Frameworks, with Applications, 2009, Brasilia. Eletronic Notes in Theoretical Computer Science. Amsterdam: Elvesier, 2009. v. 256. p. 103-118.
DELGADO, C. M. ; BENEVIDES, M. R. F. . Verification of epistemic properties in probabilistic Multi-Agent Systems. In: 17th German conference on Multi-Agent System Technologies (MATES), 2009, Hamburg. Lecture Notes in Artificial Intelligence. Amsterdam: Springer, 2009. v. 5774. p. 1-15.
Eduardo R. Waghabi ; BENEVIDES, M. R. F. . Aplicação de Modelos Ocultos de Markov na Teoria dos Jogos. In: ENIA - VII Encontro Nacional de Inteligência Artificial, 2009, Bento Gonçalves. 29ª Congresso da Sociedade Brasileira de Computação ? CSBC 2009., 2009. v. 1. p. 1-10.
BENEVIDES, M ; DELGADO, C ; POMBO, C ; LOPES, L ; RIBEIRO, R . A Compositional Automata-based Approach for Model Checking Multi-Agent Systems. In: Simpósium Brasileiro de Métodos Formais, 2008, Natal. Electronic Notes in Theoretical Computer Science (ENTCS). Amsterdam: Elsevier. v. 195. p. 133-149.
BENEVIDES, M ; SCHECHTER, L . Modal Expressiveness of Graph Properties. In: Second Workshop on Logical and Semantic Frameworks, with Applications, 2008, Ouro Preto. Electronic Notes in Theoretical Computer Science ENTCS. v. 205. p. 31-47.
BENEVIDES, M. R. F. ; Luis Menasché Schechter . A Propositional Dynamic Logic for CCS Programs. In: XV Workshop on Logic, Language, Information and Computation, 2008, Edinburgh. Lecture Notes in Computer Science. Berlin: Springer, 2008. v. 5110. p. 83-97.
BENEVIDES, M. R. F. ; Luis Menasché Schechter . Decidability of a Syntactic Fragment of the Hybrid Computation Tree Logic with the Downarrow Operator. In: XV Encontro Brasileiro de Lógica, 2008, Paraty. XV Encontro Brasileiro de Lógica. Campinas: CLE-ePrints, 2008. v. 8.
BENEVIDES, M. R. F. ; DELGADO, C. M. ; CARLINI, M. A. . Proving Epistemic and Temporal Properties from Knowledge Based Programs. In: Brazilian Symposium on Artificial Intelligence, 2008, Salvador. Lecture Notes in Artificial Intelligence. Berlin: Springer, 2008. v. 5249. p. 134-144.
T. Azevedo ; BENEVIDES, M ; PROTTI, F. ; SIHMAN, M. . On detecting deadlock in the Pi-Calculus. In: Fourth Conference on Computability in Europe , CiE 2008, 2008, Atenas. Proceedings of the Fourth Conference on Computability in Europe 2008, CiE 2008, 2008.
HAEUSLER, E. H. ; VASCONCELOS, D. R. ; BENEVIDES, M. R. F. . Defining Agents via Strategies: Towards a Game-Theoretical view of MAS. In: Workshop on Radical Agent Concepts, 2005, Washington. Lecture Notes in Computer Science. Londres: Springer-Verlag, 2005. v. 3825.
BENEVIDES, M. R. F. ; DELGADO, C. M. ; FREITAS, R. P. ; VELOSO, P. A. ; VELOSO, S. M. . Modalities for Vague Notions. In: XVII Brazilian Symposioum on Artificial Intelegence, 2004, São Luix. Lecture Notes in Artificial Intelegence, 2004. v. 3171. p. 1-10.
BENEVIDES, M. R. F. ; RIBEIRO, R. . Game Prolog. In: SIXTH CONFERENCE ON LOGIC AND THE FOUNDATIONS OF GAME AND DECISION THEORY, 2004, Leipzig, 2004. v. 1. p. 1-1.
COSTA, Vania ; BENEVIDES, M. R. F. . Formalizing concurrent common knowledge as product of modal logics. In: Proceedings of Workshop on Combination of Logics: Theory and Applications, CombLog, 2004, Lisboa. CLE e-Prints (Impresso). Campinas: CLE- e-prints, 2004. v. 4.
PIRES, P. F. ; BENEVIDES, M. R. F. ; MATTOSO, M. L. Q. . Building Reliable Web Services Compositions. In: International Workshop on Web Services: Research, Standardization and Development, 2003, Berlin. Lecture Notes in Computer Science, 2002. v. 2593. p. 59-72.
PIRES, P. F. ; MATTOSO, M. L. Q. ; BENEVIDES, M. R. F. . Mediating Heterogeneous Web Services. In: 2003 Symposium On Applications And The Internet (SAINT 2003), 2003, Orlando, 2003. p. 344-347.
PIRES, P. F. ; BENEVIDES, M. R. F. ; MATTOSO, M. L. Q. . WebTransact: A Framework for Building Reliable Web Service Compositions. In: XXIII Congresso da Sociedade Brasileira de Computação, 2003, Campinas, 2003. v. 3. p. 139-146.
DELGADO, C. M. ; BENEVIDES, M. R. F. . Reasoning about Events Knowledge in Distributed System. In: CMSRA-2002 Computational Models of Scientific Reasoning and Applications, 2002, Las Vegas. Proceedings of the International Conference on Artificial Intelligence, 2002. v. III. p. 1213-1219.
COSTA, Vania ; BENEVIDES, M. R. F. . A Two-dimensional Modal Logic for Knowledge Representation in Asynchnrous Multi-Agent Systems. In: CMSRA-2002 Computational Models of Scientific Reasoning and Applications, 2002, Las Vegas. Proceedings of the International Conference on Artificial Intelligence, 2002. v. III. p. 1271-1277.
FREITAS, R. P. ; VIANA, P. ; VELOSO, P. A. ; VELOSO, S. M. ; BENEVIDES, M. R. F. . On Hybrid Arrow Logic. In: HyLo@LICS: 4th Workshop on Hybrid Logic, 2002, Copenhague. Eletronic Notes in Theoretical Computer Science, 2002.
FREITAS, R. P. ; VELOSO, P. A. ; VIANA, P. ; VELOSO, S. M. ; BENEVIDES, M. R. F. . Expressive Power of Fork Arrow Logic. In: WMF´2002: V Workshop de Métodos Formais, 2002, Gramado. Proceedings of 5th Workshop on Formal Methods, 2002. v. 1. p. 84-99.
BENEVIDES, M. R. F. ; SIHMAN, M. . DeadLock Detection in Algebraic Specifications for Concurrent Systems. In: WMF´2002: V Workshop de Métodos Formais, 2002, Gramado, 2002.
FREITAS, R. P. ; VIANA, P. ; BENEVIDES, M. R. F. ; VELOSO, P. A. ; VELOSO, S. M. . Squares in Fork Modal Logic. In: Workshop on Logic, Language and Computation, 2001, Brasilia. WoLLIC 2001, 2001. v. 1. p. 77-85.
BENEVIDES, M. R. F. ; FREITAS, R. P. ; VELOSO, P. A. ; VELOSO, S. M. ; VIANA, P. . Axiomatization and Completeness for Fork Modal logic. In: Workshop on Formal Methods, 2001, Rio de Janeiro. Proceedings of IV WMF, 2001. p. 1-12.
BENEVIDES, M. R. F. ; DELGADO, C. M. . Dynamic Logic of Knowledge. In: ENIA 2001 Encontro Nacional de Inteligência Artificial, 2001, Fortaleza. SBC, 2001.
BENEVIDES, M. R. F. ; MATTOSO, M. L. Q. ; PIRES, P. F. . Mechanisms for Specifying Communication Behavior in Object Oriented Database Systems. In: 14th ACM Symposium on Applied Computing, 2000, Como. SAC'00, 2000. p. 389-397.
BENEVIDES, M. R. F. ; COSTA, Vania ; BARBOSA, V. . Rumo a uma Lógica Bidimensional de Conhecimento em Sistemas Distribuídos Assíncronos. In: XII Encontro Brasileiro de Lógica, 1999, Parque Nacional de Itatiaia, 1999. p. 98-106.
BENEVIDES, M. R. F. ; SIHMAN, M. . Automatic Generation of CCS Specification for Resource Sharing Problems. In: International Conference on Principles of Distribuited System, 1997. Paris: Editora Hermes, 1997.
BENEVIDES, M. R. F. . A Modal Logic for Finite Graphs. In: Eleventh Amsterdam Colloquium, 1997, Amsterdã. Amsterdã: ILLC-Publications, 1997. p. 79-84.
BENEVIDES, M. R. F. . Multiple Database Logic. In: European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995, Fribourg. Lecture Notes in Artificial Intelligence. Berlin: Springer Verlag, 1995. v. 946. p. 28-35.
BENEVIDES, M. R. F. ; SOUZA, M. C. . Promal: Programming In Modal Action Logic. In: 12th Brazilian Symposium on Artificial Intelligence, 1995, Campinas. Lectures Notes in Artificial Intelligence. Berlin: Springer Verlag. v. 991. p. 101-111.
BENEVIDES, M. R. F. ; RODRIGUES, O. T. . Belief Revision In Pseudo-Definite Sets. In: XI Brazilian Symposium on Artificial Intelligence, 1994, Fortaleza. p. 157-171.
BENEVIDES, M. R. F. . Differentiating Assumption From Extra-Logical Axioms In Natural Deduction. In: Kurt Gödel Colloquim - Computational Logic and Proof Theory, 1993, Brno. Lecture Notes in Computer Science. Berlin: Springer Verlag, 1993. v. 713. p. 120-131.
BENEVIDES, M. R. F. ; SILVA, J. C. P. . Um Estudo sobre Lógicas de Multiplos Bancos de Dados. In: XIX Conferência Latinoamericana de Informática, 1993, Buenos Aires, 1993.
BENEVIDES, M. R. F. ; VELOSO, P. A. . Axiomatization and Completeness for Fork Modal Logic. In: Encontro Brsileiro de Lógica, 1999, Parque Nacional de Itatiaia. XII EBL, 1999. p. 90-97.
BENEVIDES, M. R. F. . Natural Deduction For Sub-Lógics Of Predicate Logic. In: XI Encontro Brasileiro de Lógica, 1997, Salvador. Journal of the Interest Group In Pure and Applied Logics IGPL. Londres: Oxford Press, 1996. v. 5. p. 443-443.
BENEVIDES, M. R. F. . A Labelled Deductive System Approach To Multiple Database Logic. In: X International Congress of Logic, Methodology and Philosophy of Science, 1995, Florença. p. 99-99.
BENEVIDES, M. R. F. . Axioms And Assumptions. In: IX INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, 1991, Uppsala, 1991.
BENEVIDES, M . What makes a Logic Dynamic. 2019. (Apresentação de Trabalho/Conferência ou palestra).
MADEIRA, A. ; BENEVIDES, M . Special Issue Journal of Logical and Algebraic Methods in Programming. 2019. (Editoração/Periódico).
MADEIRA, A. ; BENEVIDES, M . Dynamic Logic. New Trends and Applications - DALI 2017. 2018. (Editoração/Anais).
Mario R. F. Benevides ; THIEMANN, R. . Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2015). 2016. (Editoração/Anais).
PAIVA, V. ; Benevides, M. R. F. ; NIGAM, V. ; E, Pimentel . Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications (IMLA 2013). 2014. (Editoração/Anais).
E, Pimentel ; BENEVIDES, M. R. F. . Electronic Notes in Theoretical Computer Science - Volume 247. 2009. (Editoração/Anais).
BENEVIDES, M. R. F. ; PROTTI, F. . Communication Problems in the Pi-Calculus. 2000 (Relatório Técnico NCE 02/2000) .

Projetos de pesquisa

2025 - Atual

Lógicas Dinâmicas, Aplicações: de Artificial Intelligence à Especificação Formal DL-IA-FS, Descrição: Este projeto tem como objetivo estudar diferentes aspectos envolvendoÁlgebra de Processos, Sistemas Distribuídos, Complexidade Computacionale Segurança em Sistemas Computacionais sob uma perspectiva de LógicaModal. Todos estes tópicos têm em comum, em geral, uma semânticabaseada em sistemas de transição. Linguagens modais são linguagens apro-priadas para expressar propriedades de estruturas relacionais, das quais sis-temas de transição são casos particulares.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (8) / Mestrado acadêmico: (3) / Doutorado: (3) . , Integrantes: Mario Roberto Folhadela Benevides - Coordenador / Bruno Lopes - Integrante / Manuel Martins - Integrante / Madeira, Alexandre - Integrante / Carlos Areces - Integrante / Claudia Nalon - Integrante / Marlon Souza - Integrante / Luis Barbosa - Integrante / Hans van Ditmarsch - Integrante / Andreas Herzig - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação.
2024 - Atual

Dynamic Logics (Reloaded)DL(R), Descrição: Programa STIC AMSUD - COOPERAÇÃO EM CIÊNCIA ETECNOLOGIA DA INFORMAÇÃO E DA COMUNICAÇÃO FRANÇA - AMÉRICA DO SUL -CAPES/CDEFI. EDITAL0 6/2023. Número do processo 88881.878839/2023-01. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Mario Roberto Folhadela Benevides - Coordenador / Bruno Lopes Vieira - Integrante / Carlos Areces - Integrante / Stephane Demri - Integrante / Lutz Strassburger - Integrante.
2023 - Atual

Lógicas Modais Aplicadas à Computação, Descrição: Bolsa de Produtividade em Pesquisa. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (3) . , Integrantes: Mario Roberto Folhadela Benevides - Coordenador.
2020 - Atual

Lógicas Dinâmicas Aplicadas à Computação, Descrição: Projeto APQ1 da FAPERJ aprovado e com termo de outorga assinado.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (5) . , Integrantes: Mario Roberto Folhadela Benevides - Coordenador.
2017 - 2020

Lógicas Modais Aplicadas à Computação, Descrição: Bolsa de Produtividade em Pesquisa. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (4) . , Integrantes: Mario Roberto Folhadela Benevides - Coordenador.
2014 - 2017

Lógicas Modais Aplicadas à Verificação de Sistemas Computacionais, Descrição: Universal 2014. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Mario Roberto Folhadela Benevides - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2014 - 2015

Lógicas Modais Aplicadas à Computação, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) . , Integrantes: Mario Roberto Folhadela Benevides - Coordenador., Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.
2013 - 2015

Provas: estrutura, transformações e semântica, Descrição: Pesquisador Visitante Estrangeiro. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Mario Roberto Folhadela Benevides - Coordenador / Edward Hermann Haeusler - Integrante / Bruno Lopes - Integrante / Luis Carlos Pereira - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2013 - 2015

Logical Foundations of Modern Defeasibility-Tolerant Knowledge Based Systems, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Mario Roberto Folhadela Benevides - Coordenador / Ivan José Varzinczak - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2011 - 2013

Lógicas Modais Aplicadas à Computação, Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Mario Roberto Folhadela Benevides - Coordenador / Carla Amor Divino Moreira Delgado - Integrante / Edward Hermann Haeusler - Integrante / Luis Menasché Schechter - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2010 - 2014

Projeto Instituto Brasileiro de Pesquisa em Ciência da Web, Descrição: Projeto Instituto Brasileiro de Pesquisa em Ciência da Web. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Mario Roberto Folhadela Benevides - Integrante / José Pereira de Lucena - Coordenador / Outros Membros - Integrante., Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2009 - 2011

Lógicas Modais e Verificação de Sistemas Concorrentes, Descrição: Projeto Universal CNPq. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) . , Integrantes: Mario Roberto Folhadela Benevides - Coordenador / Edward Hermann Haeusler - Integrante / Luis Menasché Schechter - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2008 - 2010

Projeto BOOST ? Consolidação da Pós-Graduação em Ciência da Computaçãoo da UFC através de Parcerias, Descrição: Projeto CASADINHO Edital/MCT/CNPq/PADCT Regi\~ao\\ Nordeste, consolidação do Programa de Pós-Graduação Universidades participantes: UFC, UFRJ e PUC-RJ.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Mario Roberto Folhadela Benevides - Integrante / Ana Teresa Martins - Integrante / Creto Augusto Vidal - Coordenador / Outros Membros - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2008 - 2010

Projeto Fortalecimento do PPgSC/UFRN atrav\'es de Projetos para Desenvolvimento de Tecnologias em Software e Hardware para Sistemas Embarcados, Descrição: Projeto CASADINHO Edital/MCT/CNPq/PADCT Regi\~ao\\ Nordeste, consolida\c c\~ao do Programa de P\'os-Gradua\c c\~ao. Universidades participantes: UFRN, UFRJ, PUC-RJ, UFPE, e UFRGS.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Mario Roberto Folhadela Benevides - Integrante / Benjamin Callejas Bedrega - Integrante / Regivan Hugo Nunes Santiago - Integrante / Thais Vasconcelos Batista - Coordenador / Outros Membros - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2007 - 2010

Algoritmos: Engenharia e Fundamentos, Descrição: PRONEX. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Mario Roberto Folhadela Benevides - Integrante / Sheila M. Veloso - Integrante / Renata Freitas - Integrante / Petrúcio Viana - Integrante / Veloso, Paulo A. S. - Coordenador / Outros Membros - Integrante., Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2007 - 2009

Lógicas Modais, Algebras de Processos e Jogos, Descrição: Projeto Universal CNPq. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) / Doutorado: (2) . , Integrantes: Mario Roberto Folhadela Benevides - Coordenador / Renata Freitas - Integrante / Petrúcio Viana - Integrante / Edward Hermann Haeusler - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2007 - 2009

Revisão de Especificações Formais, Descrição: Projeto Universal CNPq Coordenador Renata Wasserman (USP). , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Mario Roberto Folhadela Benevides - Integrante / Renata Wassermann - Coordenador / Marcelo Finger - Integrante / Outros Membros - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2004 - 2007

Lógicas Modais, Álgebras, Sistemas Distribuidos e Jogos, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) / Doutorado: (2) . , Integrantes: Mario Roberto Folhadela Benevides - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

Histórico profissional

Endereço profissional

Universidade Federal Fluminense, Instituto de Computação. , Avenida General Milton Tavares de Souza s/n, Gragoatá, 24210346 - Niterói, RJ - Brasil, Telefone: (21) 26292960, URL da Homepage:

Experiência profissional

2020 - Atual

Universidade Federal Fluminense

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

1993 - 2020

Universidade Federal do Rio de Janeiro

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

Atividades

11/1993
Pesquisa e desenvolvimento, Instituto Alberto Luiz Coimbra de Pós Graduação e Pesquisa de Engenharia, Programa de Engenharia de Sistemas.,Linhas de pesquisa
11/1993
Ensino, Engenharia de Sistemas e Computação, Nível: Pós-Graduação,Disciplinas ministradas, Especificação de Sistemas Concorrentes, Lógica, Lógica Modal, Teoria da Computação, Teoria dos Jogos
10/1993
Outras atividades técnico-científicas , Instituto Alberto Luiz Coimbra de Pós Graduação e Pesquisa de Engenharia, Instituto Alberto Luiz Coimbra de Pós Graduação e Pesquisa de Engenharia.,Atividade realizada, Orientação de Alunos de Projeto Final, Mestrado e Doutorado.

2007 - 2022

Fundação Centro de Ciências e Educação Superior à Distância do Estado do RJ

Vínculo: Bolsista, Enquadramento Funcional: Coordenador de Disciplina, Carga horária: 8

Outras informações:
Programação 1 (207-2 até 2016-2)Programação com Interfaces Gráficas (2017-1 até 2019-2)