Vania Costa

Idiomas

Áreas de atuação

Participação em eventos

Participação em bancas

Produções bibliográficas

• COSTA, Vania ; BENEVIDES, Mário . Reasoning about Knowledge in Asynchronous Distributed Systems. Logic journal of the IGPL (Print) , Inglaterra, v. 13, n.1, p. 5-28, 2005.

• COSTA, Vania ; BENEVIDES, Mário . Formalizing Concurrent Common Knowledge as Product of Modal Logics. Logic journal of the IGPL (Print) , Inglaterra (to appear), v. 13, n.1, p. 685-716, 2005.

• COSTA, Vania . A Lógica do Conhecimento. In: Congresso de Informática Pública (CONIP), 2003, São Paulo - SP. IX Congresso de Informática Pública - CONIP 2003. São Paulo - SP, Brasil: SUCESP-SP e IDETI, 2003.

• COSTA, Vania ; BENEVIDES, Mário . A Two-dimensional Modal Logic for Knowledge Representation in Asynchronous Multi-agent Systems. In: International Conference on Artificial Intelligence (IC-AI), 2002, Las Vegas - EUA. Proceedings of the International Conference on Artificial Intelligence. Las Vegas - Nevada, USA: CSREA Press, 2002. v. III. p. 1271-1277.

• COSTA, Vania ; BENEVIDES, Mário . Formalizing Concurrent Common Knowledge as Product of Modal Logics. In: Workshop on Combination of Logics: Theory and Applications (Comblog), 2004, Lisboa. Proceeding of Comblog'04 - Workshop on Combination of Logics: Theory and Applications. Lisboa, Portugal: Walter A. Carnielli, F. Miguel Diionísio, Paulo Mateus Editors, 2004. p. 99-105.

• COSTA, Vania ; BENEVIDES, Mário ; BARBOSA, Valmir . Two-Dimensional Logic for Concurrent Knowledge. In: European Summer School in Logic, Language and Information (ESSLLI), 2000, Birmingham - UK. Workshop on Many-Dimensional Logical Systems. Birmingham, Inglaterra: The University of Birmingham, 2000.

• COSTA, Vania ; BENEVIDES, Mário ; BARBOSA, Valmir . Rumo a uma Lógica Bidimensional de Conhecimento em Sistemas Distribuídos Assíncronos. In: Encontro Brasileiro de Lógica (EBL), 1999, Itatiaia - RJ. XII Encontro Brasileiro de Lógica. Campinas - SP, Brasil: Sociedade Brasileira de Lógica, 1999. p. 95-103.

Projetos de pesquisa

• 2005 - Atual

  Lógicas Modais, Álgebras, Sistemas Distribuídos e Jogos, Descrição: O projeto tem como objetivo estudar diferentes aspectos envolvendo Álgebra de Processos, Sistemas Distribuídos e Teoria dos Jogos sob uma perspectiva de Lógica Modal. Todos estes tópicos tem em comum, em geral, uma semântica baseada em diagrama de transição. Linguagens modais são linguagens apropriadas para expressar propriedades de estruturas relacionais, as quais sistemas de transição são casos particulares. Lógicas modais têm sido usadas na especificação e verificação de propriedades em algoritmos distribuídos e de jogos estratégicos e extensivos. Da mesma forma, álgebra de processos tem sido utilizada para especificar o comportamento de sistemas distribuídos. Teoria dos jogos tem sido empregada na prova de correção de algoritmos distribuídos e protocolos. Através da utilização de lógicas modais, gostaríamos de investigar as relações entre estes tópicos e abordagens unificadoras de métodos algébricos, lógicos e jogos na especificação de sistemas distribuídos.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (2) . , Integrantes: Vania Costa - Integrante / Mário Benevides - Coordenador / Carla Delgado - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 1

• 2003 - Atual

  Algoritmos: Engenharia e Fundamentos (PRONEX); Engenharia Lógica na Computação (Ed. Universal); Engenharia Lógica na Computação: Fundamentos e Aplicações (Cientistas do Nosso Estado), Descrição: Compreendem três projetos distintos, porém com escopos semelhantes e coordenados pelo mesmo Professor. O objetivo geral destes projetos é investigar aspectos de Fundamentos de Computação, com ênfase em Engenharia Lógica. Almeja-se analisar formalismos e métodos, envolvendo diversos paradigmas, adequados para tratar de propriedades estáticas e dinâmicas de sistemas computacionais. Pretende-se, com isso, fornecer subsídios para a análise e ao desenvolvimento metódico de sistemas confiáveis e programas eficientes. A articulação é dada pela intensificação da cooperação de pesquisadores líderes na área. As pesquisas propostas envolvem investigações rigorosas de problemas fundamentais e correspondentes soluções algorítmicas. Pretende-se divulgar os resultados publicando-os nos principais periódicos nacionais e internacionais de Ciência da Computação. A contribuição à sociedade ocorrerá de duas maneiras principais: através da aplicação dos resultados aos problemas que os originaram e alavancando a formação de pesquisadores e docentes de alto nível nas instituições envolvidas.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (2) . , Integrantes: Vania Costa - Integrante / Mário Benevides - Integrante / Sheila Murgel Veloso - Integrante / Paulo Augusto Veloso - Coordenador / Jorge Petrúcio Viana - Integrante / Renata de Freitas - Integrante., Financiador(es): Fundação de Amparo a Pesquisa do Estado do Rio de Janeiro - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 2

• 2000 - 2002

  Algoritmos Distribuídos: Princípios e Aplicações, Descrição: Programa especial de bolsas destinadas a apoiar projetos coordenados por pesquisadores de reconhecida liderança na sua área, a fim de prover apoio mensal para o desenvolvimento do referido projeto. Neste caso, o projeto visa ao desenvolvimento de algoritmos distribuídos eficientes para a resolução de problemas, a análise teórica dos algoritmos e suas aplicações em diversas áreas do conhecimento.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (2) . , Integrantes: Vania Costa - Integrante / Mário Benevides - Integrante / Valmir Barbosa - Coordenador., Financiador(es): Fundação de Amparo a Pesquisa do Estado do Rio de Janeiro - Bolsa., Número de produções C, T & A: 2

• 1998 - 1999

  Os Aspectos Simbolistas, Conexionistas e Biológicos da Inteligência Artificial, Descrição: O projeto investiga os diversos paradigmas em IA, os aspectos teóricos e práticos de cada um, visando a integração das diferentes abordagens e o desenvolvimento de métodos e algoritmos originais.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (2) . , Integrantes: Vania Costa - Integrante / Mário Benevides - Integrante / Valmir Barbosa - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 1

• 1996 - 1998

  Lógica para Concorrência e Sincronização, Descrição: O projeto tem por objetivo obter uma visão mais estrutural de concorrência e dos sistemas utilizados para derivar equivalência entre descrições de processos concorrentes, além de uma disciplina de tipos para processos concorrentes. Investiga também a possibilidade de se definir uma abordagem unificadora (métodos algébricos versus métodos lógicos) para a formalização de sistemas distribuídos, concorrência e sincronização, utilizando-se das técnicas mais recentes provenientes de lógica matemática, teoria da prova e semântica de processos concorrentes.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (5) / Mestrado profissional: (0) / Doutorado: (4) . , Integrantes: Vania Costa - Integrante / Mário Benevides - Integrante / Ruy José de Queiroz - Coordenador / Felipe Maia Galvão França - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.