Sheila Regina Murgel Veloso

Possui graduação em Engenharia Química pela Universidade Federal do Rio de Janeiro (1970), mestrado em M A Mathematics - University of California Berkely (1973) e doutorado em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro (1985). É professora adjunta aposentada do Universidade Federal do Riode Janeiro.Atualmente é prof. titular da Universidade do Estado do Rio de Janeiro. Tem experiência na área de Ciência da Computação, com ênfase em Teoria de Programação, atuando principalmente nos seguintes temas: lógica modal, algebra relacional, raciocínio genérico, raciocíno qualitativo e algebra com fork.

Informações coletadas do Lattes em 24/06/2020

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Engenharia de Sistemas e Computação

1979 - 1985

Universidade Federal do Rio de Janeiro
Título: Mecanismos de Transmissão de Mensagens em Sistemas Distribuídos
Orientador: Sueli Bandeira Mendes
Grande área: Ciências Exatas e da Terra

Mestrado em M A Mathematics

1972 - 1973

University of California System, UC System
Título: O mestrado na UCB não exige dissertação,Ano de Obtenção: 1973
Orientador: Inexistente
Palavras-chave: Algebra; Algebra comutativa.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra.

Graduação em Engenharia Química

1966 - 1970

Universidade Federal do Rio de Janeiro

Seção coletada automaticamente pelo Escavador

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Espanhol

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

Bandeira representando o idioma Francês

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

Seção coletada automaticamente pelo Escavador

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Teoria de Programação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas Modais.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Inteligênicia Artificial Fundamentos.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Especificações de Sistemas Distribuídos.

Seção coletada automaticamente pelo Escavador

Participação em eventos

International Congress on the Square of Opposition. ON COMPUTING MODALITY-LIKE DIAGRAMS. 2007. (Congresso).

XXVII congresso da SBC. 2007. (Congresso).

XXVII congresso da Sociedade Brasleira de Computação. 2007. (Congresso).

XIV Encontro Brasileiro de Lógica. Graoph Relational Calculus. 2006. (Congresso).

XIV Encontro Brasileiro de Lógica. Natural Deduction for Generally: proof strategies and normalizatioin. 2006. (Congresso).

First World Congress on Universal Logic. On Logics ofr generally and their relational interpretations. 2005. (Congresso).

XI Conference of the Association of Spainsh Artificial Intelligence. Caepia. 2005. (Congresso).

Workshop on Combination of Logics: Theory and Applications. On Filter Logic for 'Most' and Special Predicates?. 2004. (Congresso).

XVII Brazilian Symposium on Artificial Intelligence, SBIA04. ?On Modalities for Vague Notions?. 2004. (Congresso).

International Workshop on Universal Logic. On fork arrow logic and its expressive power. 2003. (Congresso).

XIII Encontro Brasileiro de Lógica. Uma Aplicação de Engenharia Lógica. 2003. (Congresso).

Encontro Nacional de Inteligência Artificial ENIA 2001.Classes of Sets give ansers to Answer Set Semantics and Program Evolution. 2001. (Seminário).

II Congresso de Lógica Aplicada à Tecnologia, LAPTEC'2001. On a Logical Framework for ?Generally. 2001. (Congresso).

no Encontro Nacional de Inteligência Artificial ENIA 2001.On Qualitative Reasoning with 'Most'and 'Typical'. 2001. (Seminário).

International Joint Conference IBERAMIA 2000 (7thIbero American Conference on Artificial Intelligence) SBIA 2000( 15th Brazilian Symposium on Artificial Intelligenc. Representing Belief Revision through Default Theories. 2000. (Congresso).

no I Congresso de Lógica Aplicada à Tecnologia, LAPTEC'2000. On Modular Development with Default Specifictions. 2000. (Congresso).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Luiz Clá\áudio Frederico Fernandez

BENEVIDES, MARIO R.F.;ZAVERUCHA, G.VELOSO, SHEILA R.M.. A Tabelaux Method To sdolev-Yao Multi-Agent Epistemic Logic. 2018. Dissertação (Mestrado em PESC Programa de Engenharia de sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Ana Lu'sa de Cerqueira Leite Duboc

ZAVERUCHA, G.BENEVIDES, M. R. F.VELOSO, S. R. M.; WASSERMANN, R.. Utilizando a Cláusua mais específica e declaração de modos na revão de teorias de primeira ordem a partir de exemplos. 2008. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Ricardo Fernandes Ribeiro

BENEVIDES, M. R. F.VELOSO, S. R. M.; HAUSLER, E. H.. Programação em Lógica em Jogos Extensivos. 2005. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Paulo Coelho Ventura Pinto

BENEVIDES, M. R. F.VELOSO, S. R. M.; HAUSLER, E. H.;VELOSO, P. A. S.. Metodo de Tableaux Modal para Lógica Modal Epistêmica com operador de Conhecimento Comum. 2005. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Michel de Almeida Corsini

BENEVIDES, M. R. F.VELOSO, S. R. M.; WASSERMANN, R.. Especificação de sistemas Multi-agentes baseados em conhecimento. 2002. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Julio Henrique Araujo Pereira Machado,

MENEZES, P. B.;VELOSO, S. R. M.. Hyper-automaton: Hipertextos e cursos na Web usando Autômatos finitos com Saída. 2000. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Anderson Amendoeira Anamen

VELOSO, S. R. M.; FERNANDES, E. S.; MUYLAERT, J.. Números Reais Exatos-Uma abordagem híbrida. 2000. Dissertação (Mestrado em Engenharia de Eletricidade) - Instituo de Pesquisa do Rio de Janerio.

Aluno: Leonardo Fogel

ZAVERUCHA, G.VELOSO, S. R. M.; MARLEY. Programas Normais e o Aprendizado de Múltiplos Predicados em Programação em Lógica Indutiva. 1998. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Joisa de Souza Oliveira

FIGUEIRDO, C.;VELOSO, S. R. M.. Propriedades e Algoritmos para Especializações de Hipergrafos Orientados. 1994. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Marcelo Averbuch

LEÃO, J.;VELOSO, S. R. M.. Aplicação do Método de Tableau paraLógica temporal à Verificação de Programas Concorrentes, Tese de Mestrado de,Programa de Engenharia Elétrica, COPPE/UFRJ, abril de 1994. 1994. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro.

Aluno: Vitor Navarro A

ZAVERUCHA, G.VELOSO, S. R. M.; MARLEY. L.da Silva. Diagnose em Sistemas de Potência Utilizando Lógica não monotônica e Redes Neurais. 1994. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Fabio Prott

VELOSO, S. R. M.; SWARCFITER, J.; FIGUEIRDO, C.. Grafos de Intervalo: Caracterizações, Problemas e Algoritmos. 1993. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: ,Luiz Maltar Castello Branco

LEÃO, J.;VELOSO, S. R. M.. Verificação de Corretude de Programas CRIS utilizando Lógica Temporal. 1993. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro.

Aluno: Marcos Vianna VIllas

MENDES, S. T.;VELOSO, S. R. M.; LEÃO, J.. VDM-TXT: Um Tradutor de Especificação em VDM para Linguagem Natural, Tese de Mestrado de Marcos Vianna Villas, Programa de Engenharia de Sistemas e Computação, COPPE/UFRJ, fevereiro de 1991. 1991. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Maurício Gonzalo Solar Fuentesde

VELOSO, S. R. M.MENDES, S. B. T.; LEÃO, J.. Metodologia de Desenvolvimento de um Configurador de Testes Automáticos com Técnicas de Inteligência Artificial. 1989. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Marcia de Paiva Bastos Gottgtroy

VELOSO, S. R. M.MENDES, S. B. T.; PINHO, A.. O Processo de Aquisição do Conhecimento na Construção de Sistemas Especialistas. 1989. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Ernesto Luis Villaforte Oyola

MENDES, S. B. T.VELOSO, S. R. M.. Aplicação de Métodos de Inteligência Artificial ao Problema de Planejamento de Rotas. 1989. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: André Soares Monat

VELOSO, S. R. M.MENDES, S. B. T.. Métodos de Raciocínio Impreciso para Sistemas Especialistas Baseados em Regras. 1988. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia.

Aluno: Leonardo Bruno Vanan

VELOSO, S. R. M.VELOSO, P. A. S.ZAVERUCHA, G.; PEREIRA, L. C.;BENEVIDES, M. R. F.; CORREA, M.. Dedução nutural e cálculo de sequenters para lógica de geralmente. 2008. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Vera Lúcia Prudência dos Santos

BENEVIDES, M. R. F.; HAUSLER, E. H.; PROTTI, F.;VELOSO, S. R. M.; QUIEROZ, R. J. G. B.. Concorrência e Sincronização para Lógica Dinâmica de Processos. 2005. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Jorge PetrúcioVianna

VELOSO, S. R. M.VELOSO, P. A. S.; HAUSLER, E. H.; PEREIRA, L. C.; FINGER, M.;BENEVIDES, M. R. F.; FRIAS, M.. Extensões não lógicas do cálculo relacional. 2005. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Vania Costa

BENEVIDES, M. R. F.; HAUSLER, E. H.; PROTTI, F.; FINGER, M.;VELOSO, S. R. M.. Uma Lógica Bidimensional para Representação do Conhecimento em Sistemas distribuídos. 2002. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Fernanda Araujo Baião Amorim

MATTOSO, M.;ZAVERUCHA, G.; SALGADO, A. C.;VELOSO, S. R. M.; CAMPOS, M. L. M.; SOUZA, J. M.;CASANOVA, M. A.. Uma metodologia e algoritmos para o projeto de banco de dados distribuídos usando teoria de revisão. 2001. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Isabel Leite Cafezeiro

HAUSLER, E. H.;VELOSO, P. A. S.VELOSO, S. R. M.; PEREIRA, L. C.. Compartilhamento e Semântica Denotacional. 2000. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Marcelo da Silva Correa

HAUSLER, E. H.;VELOSO, P. A. S.VELOSO, S. R. M.; MENEZES, P. B.. Categorias e Sequêncialidade. 1997. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Celso Antônio Alves Kaestner

FARINES, J.;VELOSO, S. R. M.; BITTENCOURT, G.; FRAGA, J. S.; CURY, J. E.; GHALLAB, M.. Uma Proposta de Sistema Baseado no Conhecimento para Aplicações em Tempo-Real Utilizando o Enfoque Síncrono. 1993. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Cláudia Meré

VELOSO, P. A. S.; HABERER, A.; HAUSLER, E. H.;VELOSO, S. R. M.. Lógicas Relevantes: Formalismo e Semântica. 1993. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Celina Miraglia Herrera de Figueiredo

SWARCFITER, J.;VELOSO, S. R. M.. Um estudo de Problemas Combinatórios em Grafos Perfeitos. 1991. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Kate Cerqueira Revoredo

ZAVERUCHA, G.VELOSO, S. R. M.. Revisão de Teorias Probabilísticas Dinâmicas de Priemeira Ordem através de Exemplos. 2005. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Kate Cerqueira Revoredo

ZAVERUCHA, G.; COSTA, V. M. M. S.; COZMAN, F. G.;VELOSO, S. R. M.. Revisão de Teorias Probabilísticas dinâmicas de Primeira -Ordem Através de Exemplos. 2005. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Leonardo Bruno Vana

BENEVIDES, M. R. F.VELOSO, S. R. M.VELOSO, P. A. S.; HAUSLER, E. H.. Sobre lógicas de geralmente em ambiente de dedução natural e cálculo de sequentes. 2005. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia.

Aluno: Carla A

BENEVIDES, M. R. F.; HAUSLER, E. H.;VELOSO, S. R. M.; BARBOSA, V.. D. Delgado Morgado. Lógicas Modais de Jogos. 2004. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Vera Lúcia Prudência do Santo

VELOSO, S. R. M.BENEVIDES, M. R. F.; HAUSLER, E. H.. Concorrência e Sincronização para Lógica Dinâmica da de Processos. 2002. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Rodrigo Basilio

VELOSO, S. R. M.ZAVERUCHA, G.; MARLEY; BARBOSA, V.. FOCA: Cascade ARTMAP de Primeira Ordem. 2000. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Renata Pereira de Freitas

VELOSO, S. R. M.; HAUSLER, E. H.;BENEVIDES, M. R. F.VELOSO, P. A. S.. Lógica Modal do Fork. 2000. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Nelson Arbex Hallack

VELOSO, S. R. M.ZAVERUCHA, G.; BARBOSA, V.. Um modelo híbrido para revisão de teorias em lógica de primeira ordem. 1999. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Vania Costa

BENEVIDES, M. R. F.; BARBOSA, V.;VELOSO, S. R. M.; HAUSLER, E. H.. Lógica para Representação de Sistemas Distribuídos Assíncronos. 1999. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Adriano Brito Pereira

SILVA, J. C. P.VELOSO, S. R. M.; DUTRA, I. C.. Um agente inteligente para o mundo de wumpus. 2003. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Luiz Carlos Prado Mendes Junior

VELOSO, S. R. M.SILVA, J. C. P.BENEVIDES, M. R. F.. Problemas SAT e CSP. 2003. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: André Duarte de Souza e Bruno Rothgiesser

VELOSO, S. R. M.SILVA, J. C. P.BENEVIDES, M. R. F.. Análise Computacional da Morfologia e Sintaxe de Textos em Lingua Portuguesa. 2003. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Paulo Coelho Ventura Pinto

BENEVIDES, M. R. F.VELOSO, S. R. M.; MORGADO, C. A. D.. Lógica Modal Proposicional: Estudos, Propostas de Tableaux para lógica modal epistêmica com operador de conhecimento e implementação de provadores automáticos. 2003. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Denis Coelho

VELOSO, S. R. M.; FRANÇA, F.. Implementação de Redes neurais Sem Peso para Classificação de Perfis de Consumo de Energia Elétrica. 2002. Trabalho de Conclusão de Curso (Graduação em Engenharai Eletrônica) - Universidade Federal do Rio de Janeiro.

Aluno: Ricardo Fernandes Ribeiro

BENEVIDES, M. R. F.VELOSO, S. R. M.; MORGADO, C. A. D.. Corretor ortográfico. 2002. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Denise Cristine Peçanha Azevedo e Tahuana Araujo Cirati Gome

SILVA, J. C. P.VELOSO, S. R. M.ZAVERUCHA, G.. Implementação de Modelos Estáveis. 2001. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Denise Cristine Peçanha Azevedo e Tahuana Araujo Cirati Gome

VELOSO, S. R. M.SILVA, J. C. P.BENEVIDES, M. R. F.. Implementação de Modelos Estáveis. 2001. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Paulo Henrique B

ZAVERUCHA, G.VELOSO, S. R. M.; MARLEY. Oliveira e Sascha Kalinowski.Uma implementação do modelo CIL2P no sistema SNNS. 1999. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Ana Paula Leitão

THOMÉ, A. C. G.;VELOSO, S. R. M.; ADAUTO, L.. Reconhecimento de Objetos e faces por Categorização. 1998. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Rodrigo Basilio

ZAVERUCHA, G.VELOSO, S. R. M.; MARLEY. Uma implementação do modelo CIL2P no sistema ANL. 1997. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

BENEVIDES, MARIO R.F.; MOREIRA, A. M.;VELOSO, SHEILA R.M.FREITAS, R. P.; BRAGA, C. O.. professor Adjunto A - Departamento de Ciência da Computação. 2018. Universidade Federal do Rio de Janeiro.

VELOSO, S. R. M.. Concurso Público para Professor Adjunto na área de Sistemas de Programação do Departamento da Engenharia Elétrica Matemática da UERJ. 1994. Universidade do Estado do Rio de Janeiro.

VELOSO, S. R. M.. Concurso Público para Professor Assistente na área de Algoritmos do Departamento da Ciência da Computação do Instituto de Matemática da UFRJ. 1993. Universidade Federal do Rio de Janeiro.

VELOSO, S. R. M.. Concurso Público para Professor Assistente na área de Teoria da Computação do Departamento de Computação da UFF. 1991. Universidade Federal Fluminense.

Seção coletada automaticamente pelo Escavador

Orientou

Pryscila de Jesus de Sousa

Um Sistema para o Reconhecimento da Feição Edificação em Imagem Digital com Agentes Inteligentes; 2011; Dissertação (Mestrado em Engenharia de Computação) - Universidade do Estado do Rio de Janeiro,; Orientador: Sheila Regina Murgel Veloso;

Rubens Junior Magno Cabral

Revisão de Crenças Aplicadas a Programas em Lógica; 1998; 50 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sheila Regina Murgel Veloso;

Renata Pereira de Freitas

Modularidade e Relação de Consequência; 1997; 50 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sheila Regina Murgel Veloso;

Jorge Petrucio Viana

Sobre Esquemas de Indução; 1994; 50 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sheila Regina Murgel Veloso;

Marcelo Antonio Thomaz de Aragão

Desenvolvimento de Programas por Composição de Implementações Utilizando Lógica Clássica e Lógica Default; 1993; 100 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: Sheila Regina Murgel Veloso;

José Evande Araujo

Propriedades de Lógica Default e suas Aplicações a Especificação de Programas; 1992; 70 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: Sheila Regina Murgel Veloso;

Luis Fernando Souza

Automação de Lógica Modal Um Estudo Comparativo de Algumas Abordagens; 1992; 60 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sheila Regina Murgel Veloso;

Eliana Silva de Almeida

Um Estudo do Conhecimento: Algumas abordagens para a sua Formalização; 1991; 100 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: Sheila Regina Murgel Veloso;

Alexandre Plastino Carvalho

Um Método de Dedução Não Monotônico Baseado em Eliminação de Modelos; 1990; 70 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Coorientador: Sheila Regina Murgel Veloso;

João Carlos Pereira da Silva

Lógicas Não Montônicasna Formalização do Senso Comum; 1990; 100 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sheila Regina Murgel Veloso;

Vasconcelos Wamberto

O Tempo como Modelo: Aplicação de Lógicas Temporais na Especificação Formal de Sistemas Distribuídos, Wamberto Weber M; P; Vasconcelos; 1989; 100 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: Sheila Regina Murgel Veloso;

Leonardo Bruno Vana

Dedução Natural e Cálculo de seqüentes para logica de geralemente; 2008; 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: Sheila Regina Murgel Veloso;

Jorge Petrucio Viana

Extensões não lógicas do cálculo relacional; 2005; Tese (Doutorado em Programa de Engenharia de Sistemas e Computação) - Uinersidade Federal do Rio de Janeiro,; Orientador: Sheila Regina Murgel Veloso;

Renata Pereira de Freitas

Lógica Modal da Bifurcação; 2002; 111 f; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sheila Regina Murgel Veloso;

João Carlos Pereira da Silva

Semântica de Revisão de Crenças para Lógicas Default; 1996; 100 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: Sheila Regina Murgel Veloso;

Thiago Rodrigo Assumpção de Abreu

Lógica Descritiva Aplicada; 2013; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Sistemas e Computação) - Universidade do Estado do Rio de Janeiro; Orientador: Sheila Regina Murgel Veloso;

Eduardo Gomes Palermo

APLICATIVO MANIPULADOR DE GRAFOS RELACIONAIS; 2009; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Sistemas e Computação) - Universidade do Estado do Rio de Janeiro; Orientador: Sheila Regina Murgel Veloso;

Seção coletada automaticamente pelo Escavador

Foi orientado por

Sueli Bandeira Teixeira Mendes

Mecanismos deTtransmissão de Mensagens em Sistemas Distribuídos: um Modelo Semântico; 1985; 0 f; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

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

  • VELOSO, PAULO A.S. ; VELOSO, SHEILA R.M. . On Graphs for Intuitionistic Modal Logics. Electronic Notes in Theoretical Computer Science , v. 323, p. 215-233, 2016.

  • VELOSO, P. A. S. ; VELOSO, SHEILA R.M. . On GRaphical Calculi for Modal Logics. O QUE NOS FAZ PENSAR (PUCRJ) , v. 25, p. 157-191, 2016.

  • VELOSO, PAULO A.S. ; VELOSO, SHEILA R.M. ; BENEVIDES, MARIO R.F. . On Graph Calculi for Multi-modal Logics. Electronic Notes in Theoretical Computer Science , v. 312, p. 231-252, 2015.

  • VELOSO, PAULO A.S. ; VELOSO, SHEILA R.M. ; BENEVIDES, MARIO R.F. . On a Graph Approach to Modal Logics. Electronic Notes in Theoretical Computer Science , v. 305, p. 123-139, 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 , v. 22, p. 737-757, 2014.

  • S. VELOSO, PAULO A. ; M. VELOSO, SHEILA R. . A Graph Calculus for Predicate Logic. Electronic Proceedings in Theoretical Computer Science , v. 113, p. 153-168, 2013.

  • VELOSO, PAULO A. S. ; VEloso, Sheila R. M. . On Graph Refutation for Relational Inclusions. Electronic Proceedings in Theoretical Computer Science , v. 81, p. 47-62, 2012.

  • VELOSO, SHEILA R.M. ; VELOSO, PAULO A.S. ; VELOSO, PAULA M. . A Tool for Analysing Logics. Electronic Notes in Theoretical Computer Science , v. 269, p. 125-137, 2011.

  • VELOSO, P. A. S. ; VELOSO, S. R. M. ; VIANA, J. P. ; FREITAS, R. P. ; BENEVIDES, M. R. F. ; DELGADO, C. A. D. . On vague notions and modalities: a modular approach. Logic Journal of the IGPL (Print) , v. 18, p. 381-402, 2010.

  • Renata de Freitas ; VELOSO, P. A. S. ; Sheila R. M. Veloso ; Petrucio Viana . A Calculus for Graphs with Complement. Lecture Notes in Computer Science , v. 6170, p. 84-98, 2010.

  • FREITAS, R. P. ; VELOSO, P. A. S. ; VELOSO, S. R. M. ; VIANA, J. P. . On graph reasoning. Information and Computation (Print) , v. 207, p. 1000-1014, 2009.

  • Renata de Freitas ; Sheila R. M. Veloso ; VELOSO, PAULO A.S. ; VIANA, P. . Positive Fork Graph Calculus. Lecture Notes in Computer Science , v. 5407, p. 152-163, 2009.

  • VELOSO, P. A. S. ; FREITAS, R. P. ; VIANA, J. P. ; BENEVIDES, M. R. F. ; VELOSO, S. R. M. . On Fork Arrow Logic and its Expressive Power. Journal of Philosophical Logic (Dordrecht. Online) , v. 36, p. 489-509, 2007.

  • VANA, L. B. ; VELOSO, P. A. S. ; VELOSO, S. R. M. . Natural Deduction for 'Generally'. Logic Journal of the IGPL , v. 15, p. 775-800, 2007.

  • FREITAS, R. P. ; VELOSO, P. A. S. ; VELOSO, S. R. M. ; VIANA, J. P. . On Positive Relational Calculi. Logic Journal of the IGPL (Print) , v. 15, p. 577-601, 2007.

  • FREITAS, R. P. ; VELOSO, P. A. S. ; VELOSO, S. R. M. ; VIANA, J. P. . Reasoning with graphs. Electronic Notes in Theoretical Computer Science , v. 165, p. 201-212, 2006.

  • VELOSO, S. R. M. ; VELOSO, P. A. S. ; FREITAS, R. P. . An Application of Logic Engineering. Logic Journal of the IGPL , Gra Bretanha, v. 13, n.1, p. 29-46, 2005.

  • VELOSO, P. A. S. ; VELOSO, S. R. M. . On ?Most? and ?Representative?: Filter Logic and Special Predicates. Logic Journal of the IGPL , Oxford, v. 13, n.6, p. 717-728, 2005.

  • VELOSO, P. A. S. ; VELOSO, S. R. M. . On Ultrafilter Logic and Special Functions. Studia Logica , Alemanha, v. 78, p. 459-477, 2004.

  • VELOSO, P. A. S. ; VELOSO, S. R. M. . Functional Interpretation of Logics for Generally. Logic Journal of the IGPL , Gra Bretanha, v. 12, n.6, p. 627-640, 2004.

  • FREITAS, R. P. ; VIANA, J. P. ; BENEVIDES, M. R. F. ; VELOSO, S. R. M. ; VELOSO, P. A. S. . Squares in Fork Arrow Logic. Journal of Philosophical Logic , Holanda, v. 32, n.4, p. 344-355, 2003.

  • VELOSO, P. A. S. ; FIADEIRO, J. ; VELOSO, S. R. M. . On Local Modularity and Interpolation in Entailment Systems. Information Processing Letters (Print) , Amsterdã, v. 84, n.4, p. 203-211, 2002.

  • VELOSO, P. A. S. ; VELOSO, S. R. M. . On Local Modularity Variants and Pi-Institutions. Information Processing Letters (Print) , Amsterdã, v. 77, n.5-6, p. 247-253, 2001.

  • VELOSO, S. R. M. ; VELOSO, P. A. S. ; FIADEIRO, J. . Labelled Families in Modular Software Development. Journal Of The Brazilian Computer Society Special Issue On Software Engeneering, Campinas, v. 5, n.1, p. 20-31, 1998.

  • VELOSO, P. A. S. ; VELOSO, S. R. M. . On Methods for safe introduction of operations. Information Processing Letters (Print) , Holanda, v. 64, n.5, p. 231-238, 1997.

  • VELOSO, P. A. S. ; VELOSO, S. R. M. . On conservative and expansive extensions. O Que nos Faz Pensar Cadernos de Filosofia, Rio de Janeiro, n.4, p. 87-106, 1991.

  • SILVA, J. C. P. ; VELOSO, S. R. M. . Resultados da Circunscrição. Revista Brasileira de Computação Sbc, Rio de Janeiro, v. 6, n.4, p. 31-43, 1991.

  • VELOSO, P. A. S. ; VELOSO, S. R. M. . Problem Decomposition and Reduction. Progress In Cybernetics And Systems, Washington, v. 1, 1980.

  • Veloso, Sheila R. M. ; VELOSO, PAULO A. S. ; Benevides, Mario R. F. ; Lima, Isaque M. S. . On Diagrams and General Model Checkers. In: Chapman P.; Stapleton G.; Moktefi A.; Perez-Kriz S.; Bellucci, F. (Org.). Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2018, v. 10871, p. 680-688.

  • VELOSO, SHEILA R.M. ; VELOSO, P. A. S. ; BENEVIDES, M. R. F. ; Lima, Isaque M. S. . On General Graphical Model-Checkers. In: Jean-Yves Beziau, Francicleber Ferreira, Ana Teresa Martins, and Marcelo Pequeno, eds. (Org.). Logic, Intelligence, and Artifices Tributes to Tarcisio H. C. Pequeno. 1ed.Londres: College Publications, 2018, v. 38, p. 13-32.

  • VELOSO, PAULO A. S. ; VELOSO, SHEILA R.M. ; VANA, L. B. . On being naturally general. In: Edward Hermann Haeusler; Wagner de Campos Sanz; Bruno Lopes. (Org.). Why is this a Proof? Festschrift for Luiz Carlos Pereira. 1ed.LONDRES: College Publications, 2015, v. 27, p. 113-158.

  • VANA, L. B. ; VELOSO, P. A. S. ; Sheila R. M. Veloso . On the Structure of Natural deduction Derivations for 'Generally' and 'Rarely'. In: Pereira, Luiz Carlos; Haeusler, Edward Hermann; de Paiva, Valeria (Eds.). (Org.). Advances in Natural Deduction. XVIed.Heildeberg: Springer, 2014, v. 39, p. 105-131.

  • VELOSO, P. A. S. ; Veloso, S. R. M. ; VELOSO, P. M. . Alegrias e tristezas da visualização. In: ABEL LASSALLE CASANOVA; FRANK THOMAS SAUTTER. (Org.). VISUALIZAÇÃO NAS CIÊNCIAS FORMAIS. 1ed.OXFORD: OXFORD UNIVERSITY PRESS, 2012, v. 3, p. 1-12.

  • VELOSO, P. A. S. ; VELOSO, S. R. M. . Revisiting `Generally' and `Rarely'. In: Jean-Yves Béziau; Marcelo Esteban Coniglio (eds.). (Org.). Logic without Frontiers:Festschrift for Walter Alexandre Carnielli on the occasion of his 60th Birthday. Tributes series. 1ed.Londres: College Publications, 2011, v. 17, p. 183-208.

  • VELOSO, S. R. M. ; VELOSO, P. A. S. . On Modulated logics for. In: J-Y. Béziau; A. Costa Leite; A. Facchini. (Org.). Aspects of Universal Logic. Neuchâtel: Centre de Recherches Sémiologiques, 2004, v. 17, p. 146-168.

  • SILVA, J. C. P. ; VELOSO, S. R. M. . Stable Semantics for Logic Programming: a Belief Revision approach. In: Edward Hermann Hausleur; Luiz Carlos Pereira. (Org.). Proofs, Types and Categories, PRATICA. 1ed.Rio de Janeiro: , 1999, v. , p. 99-120.

  • VELOSO, P. A. S. ; VELOSO, S. R. M. . Methodical Construction of Symbolic Diagramas. In: 19th Brazilian Symposium on Artificial Intelligence, 2008, Salvador, Bahia, Brazil. Advances in Artificial Intelligence SBIA 2008, Lecture Notes in Artificial Intelligence. Berlin- Heildelberg: Springer Verlag, 2008. v. 5249. p. 187-196.

  • FREITAS, R. P. ; VELOSO, P. A. S. ; VELOSO, S. R. M. ; VIANA, J. P. . On a graph calculus for Algebras of Relations. In: Workshop on Logic, Language Information and computation, 2008, Edinburgh. Lecture Notes in Computer Science. Berlin / Heidelberg: Springer Verlag, 2008. v. 5110. p. 298-312.

  • VANA, L. B. ; VELOSO, P. A. S. ; VELOSO, S. R. M. . Sequent Calculi for 'Generally'. In: 2 Workshop on Logical and Semantic Frameworks, with applications, 2008, Ouro Preto. Electronic Notes on Theoretical Computer Science Proceedings do 2 Worshop on Logical and Semantics Frameworks , with applications LSFA'07. Amsterdan: Elsevier, 2008. v. 205. p. 49-65.

  • VANA, L. B. ; VELOSO, P. A. S. ; VELOSO, S. R. M. . Sobre lógicas para Geralmente em ambiente de Dedução Natural. In: V Encontro nacional de Inteligência Artificial, 2005, São Leopoldo, RS. Anais do ENIA,05, 2005. p. 1-10.

  • VELOSO, P. A. S. ; VANA, L. B. ; VELOSO, S. R. M. . Natural Deduction Strategies for "Generally. In: XI Conferencia de la Asociación Espanõla para a Inteligencia Artificial, 2005, Santiago de Compostela. Actas CAepia 2005. Santiago de Compostela: Copy Nino, 2005. v. 1. p. 173-182.

  • DELGADO, C. A. D. ; BENEVIDES, M. R. F. ; FREITAS, R. P. ; VELOSO, P. A. S. ; VELOSO, S. R. M. . On Modalities for Vague Notions. In: XVII Brazilian Symposioum on Artificial Intellignce SBIA'04, 2004, São Luis , Maranhão. Lecture Notes on Intelligence Artificial. Berlim: Springer -Verlag, 2004. v. 3171. p. 1-10.

  • VELOSO, P. A. S. ; VELOSO, S. R. M. . On Filter Logic for ?Most? and Special Predicate. In: Workshop on Combination of Logics: Theory and Applications CombLog', 2004, Lisboa. Proceedings of the Workshop on Combination of Logics: Theory and Applications. Lisboa: Departamento de Matemáitica - Instituo Superior Técnico, 2004. p. 167-174.

  • VELOSO, S. R. M. ; VELOSO, P. A. S. . On Special Functions and Theorem Proving in Logics for 'Generally'. In: SBIA 2002, 16th Brazilian Symposium on Artificial Intelligence, 2002, Porto de Galinhas. Lecture Notes in Computer Science: Lecture Notes in Artificial Intelligence. Berlin: Springer Verlag, 2002. v. 2507. p. 01-10.

  • VELOSO, P. A. S. ; VELOSO, S. R. M. . Qualitative Logic for Generally. In: CMSRA'02 Workshop dentro do IC-AC, 2002, Las Vegas. Proc. CMSRA'02, 2002. v. 3. p. 1246-1252.

  • FREITAS, R. P. ; VIANA, J. P. ; VELOSO, P. A. S. ; VELOSO, S. R. M. ; BENEVIDES, M. R. F. . On Hybrid Arrow Logic. In: HyLo@LICS, 2002, Copenhagem. Proc. IV HyLo@LICS Electronic Notes in Computer Science, 2002. p. 53-67.

  • FREITAS, R. P. ; VELOSO, P. A. S. ; VIANA, J. P. ; VELOSO, S. R. M. ; BENEVIDES, M. R. F. . On the expressive power of Fork Arrow Logic. In: Workshop em Métodos Formais, 2002, Gramado. Proceedings 5th Workshop on FormalMethods. Porto Alegre: Evangraf Ldta, 2002. p. 85-99.

  • FREITAS, R. P. ; VIANA, J. P. ; BENEVIDES, M. R. F. ; VELOSO, P. A. S. ; VELOSO, S. R. M. . Squares in Fork Modal Logic. In: WOLLIC 2001, 2001, Brasilia. Proceedings of WOLLIC 2001. Brasília: UnB, 2001. v. 1. p. 77-86.

  • SILVA, J. C. P. ; VELOSO, S. R. M. . Classes of sets give answers to Answer Set Semantics and Program Evolution. In: Encontro Nacional de Inteligência Artificial ENIA 2001, 2001, Anais do XXI Congresso da SBC. Anais do XXI Congresso da SBC em CD ROM, Fortaleza 30/07 - 3/08 2001. Niteroi: ILTC Instituto Doris Ferraz de Aragon, 2001. p. 1433-1442.

  • VELOSO, S. R. M. ; VELOSO, P. A. S. . On Qualitative Reasoning with 'Most'and 'Typical. In: I Encontro Nacional de Inteligência Artificial, ENIA2001, 2001, Fortaleza. Anais do XXI Congresso da SBC. Niteroi: ILTC Instituto Doriz Ferraz de Aragon, 2001. p. 1122-1134.

  • BENEVIDES, M. R. F. ; FREITAS, R. P. ; VELOSO, P. A. S. ; VELOSO, S. R. M. ; VIANA, J. P. . Axiomatization and Completeness in Fork Arrow Logic. In: Workshop on Formal Methods , outubro, 2001, Rio de Janeiro, RJ. Proc. IV WMF,, 2001. v. 1. p. 1-12.

  • VELOSO, S. R. M. ; VELOSO, P. A. S. . On a Logical Framework for Generally. In: Laptec 2001, 2001, São Paulo. Logic, Artificial Intelligence and Robotics. Holanda: IOS Press, 2001. v. 71. p. 279-286.

  • VELOSO, S. R. M. ; SILVA, J. C. P. . Reuse of Formal Specifications Through Default. In: 2000 International Conference on Artificial Intelligence, 2000, Las Vegas. Proceedings of IC-AI 2000, 2000. v. 3. p. 1293-1298.

  • SILVA, J. C. P. ; VELOSO, S. R. M. . Representing Belief Revision through Default. In: International Joint Conference IBERAMIA2000 -SBIA2000, 2000, Atibaia. Lecture Notes on IA, Advances in AI, International Joint Conference IBERAMIA 2000-SBIA2000. Atibaia S.P: Springer Verlag, 2000. v. 1952. p. 227-235.

  • VELOSO, S. R. M. ; VELOSO, P. A. S. . On Modular Development with Default Specifications. In: I Congresso de Lógica aplicada à Tecnologia, 2000, São Paulo. Anais do Laptec'2000. São Paulo: Faculdade SENAC de Ciências Extas e Tecnologia, 2000. p. 405-416.

  • VELOSO, S. R. M. ; CABRAL, R. J. M. ; SILVA, J. C. P. . Program Revision. In: XII Encontro Brasileiro de Lógica, 1999, Itatiaia. Anais do XII Encontro Brasileiro de Lógica, EBL'99, 1999. p. 78-86.

  • VELOSO, P. A. S. ; VELOSO, S. R. M. ; FIADEIRO, J. . Families of Specifications over a pi- Institutio: Modular Stepwise Development. In: International Conference on Computing and Information, 1998, Winnipeg. Proceedings of ICCI'98. Winnipeg: Univeristy of Mannitoba, Science faculty, 1998. p. 263-270.

  • ZAVERUCHA, G. ; VELOSO, S. R. M. . A Goal Directed Reasoning for Semi-normal default theories. In: XII Simpósio Brasileiro de Inteligência Artificial, 1995, Campinas. Lecture Notes on Artificial Intelligence. Berlin: Springer -Verlag, 1995. v. 919. p. 112-120.

  • SILVA, J. C. P. ; VELOSO, S. R. M. . A Sphere World Semantics for Default Reasoning. In: III International Conference on Logic Programmin and Non Monotonic Reasoning, 1995, Kentucky. Lecture Notes in Computer Science. Berlin: Springer Verlag, 1995. v. 928. p. 175-188.

  • ARAGÃO, M. A. T. ; VELOSO, S. R. M. ; VELOSO, P. A. S. . Introducing Functions Symbols on Default Theories. In: XI Simpósio Brasileiro de Computação, 1994, Rio de Janeiro. Anais do XI Simpósio Brasileiro de Computação, 1994. p. 143-155.

  • SOUZA, L. F. ; VELOSO, S. R. M. . Uma Automação de Lógica Temporal. In: IX Simpósio Brasileiro de Inteligência Artificial, 1992, Rio de Janeiro. Anais do IX Simpósio Brasileiro de Inteligência Artificial, 1992. p. 257-269.

  • VELOSO, S. R. M. . O Problema de Correção e Completude Fortes em Lógicas Defaults. In: VIII Simpósio Brasilieiro de Inteligência Artificial, 1991, Brasilía. Anais do VIII Simpósio Brasilieiro de Inteligência Artificial. Rio de \\janeiro: Sociedade Brasileira de Computação, SBC, 1991. p. 31-37.

  • CARVALHO, A. P. ; CASANOVA, M. A. ; VELOSO, S. R. M. . Método de Dedução Não Monotônico e Parametrizado baseado em Eliminação de Modelos. In: VII Simpósio Brasileiro de Inteligência Artificial, 1990, Campina Grande. Anais do VII Simpósio Brasileiro de Inteligência Artificial, 1990.

  • VELOSO, S. R. M. . Nomeabilidade: algumas propriedades lógicas e aplicações em modelagem. In: IV Simpósio Brasiliero de Intelgiência Artificial, 1989, Rio de Janeiro. Anais do IV Simpósio Brasiliero de Intelgiência Artificial, 1989. p. 288-303.

  • VELOSO, S. R. M. ; MENDES, S. B. T. ; VELOSO, P. A. S. . Um Modelo Abstrato para Troca de Mensagens. In: Seminário Franco-Brasileiro em Sistemas Informáticos Distribuídos, 1989, Florianópolis. Anais do Seminário Franco-Brasileiro em Sistemas Informáticos Distribuídos. Florianópolis: Universidade Federal de Santa Catarina, 1989. p. 64-70.

  • VELOSO, S. R. M. ; MENDES, S. B. T. . Formal Specification on Concurrent Disitributed Systems. In: Conferencia Internacional sobre Informática, 1988, La Habana. Anales de la Conferencia Internacional sobre Informática, 1988.

  • VELOSO, S. R. M. ; MENDES, S. B. T. . Mecanismos para Troca de Mensagens em Ambientes Distribuídos e Dinâmicos. In: Jornadas Argentinas de Informática e Investigacion Operativa, 1986, Buenos aAres. Anais do XVI JAIIO. Buenos Aires: SWociedade Argentina de Informática e Investigación Operativa,SADIO, 1986. p. 32-41.

  • VELOSO, P. A. S. ; VELOSO, S. R. M. ; VELOSO, P. . On Piaget-like monoids: Monoids for logics. In: 14TH Congress of Logic, Methodology and Philosophy of Science, 2011, Nancy, França. Volume of Abstracts of the 14TH Congress of Logic, Methodology and Philosophy of Science, 2011. p. 102-115.

  • VELOSO, P. A. S. ; VELOSO, S. R. M. . A Goal-oriented Graph Calculus for Relations. In: TACL 2011 5th International conference on Topology, Algebra and Categories in Logic, 2011, Marselha, França. Book of abtracts of the 5th International Conference on Topology, Algebra, and Categories in Logic,. Marselha, França: Université Aix- Marseille I, 2011. p. 285-288.

  • PAULO VELOSO ; SHEILA VELOSO ; MARIO BENEVIDES . On graph calculus approach to modalities. In: LOGIC COLLOQUIUM Vienna Summer of Logic 20114, 2014, VIENA. Abstract Booklet Logic Colloquium Logic Algebra and Truth Degrees. VIENA: Technische Universität Wien, 2014. p. 103-104.

  • PAULO VELOSO ; MARIO BENEVIDES ; SHEILA VELOSO . Graph Approach to Modal Logics. In: EBL 2014 17th BRAZILIAN LOGIC CONFERENCE, 2014, PETRÓPOLIS. BOOK OF ABSTRACTS 17th BRAZILIAN LOGIC CONFERENCE. RIO DE JANEIRO: PUC-RIO, 2014. p. 104-104.

  • BENEVIDES, M. R. F. ; VELOSO, P. A. S. ; Veloso, S. R. M. . Enhancing Propositional Dynamic Logic for Structured Data. In: Model-based reasoning 2012, 2012, Sestri Levante. Model-based reasoning 2012, 2012. v. 1. p. 7-8.

  • VELOSO, P. A. S. ; VELOSO, S. R. M. . On graph calculi for relational inclusions. In: XVI ENCONTRO BRASILEIRO DE LÓGICA 16TH BRAZILIAN LOGIC CONFERENCE, 2011, PETRÓPOLIS, BRASIL. PROCEEDINGS OF THE 16TH BRAZILIAN LOGIC CONFERENCE. RIO DE JANIERO: UFF, 2011. p. 10-11.

  • VELOSO, P. A. S. ; VELOSO, S. R. M. . ON COMPUTING MODALITY-LIKE DIAGRAMS. In: International Congress on the Square of Opposition, 2007, Montreux. The Square of Opposition International Congress, 2007. p. 52-52.

  • VELOSO, S. R. M. ; VELOSO, P. A. S. ; VANA, L. B. . Natural Deduction for Generally: proof strategies and normalization. In: XIV Encontro Brasileiro de Lógica 2006, 2006, Itatiaia. Caderno de Resumos, 2006.

  • VIANA, J. P. ; FREITAS, R. P. ; VELOSO, S. R. M. ; VELOSO, P. A. S. . Graph Relational Calculus. In: XIV Encontro Brasileiro de Lógica, 2006, Itatiaia. Caderno de Resumos, 2006.

  • VELOSO, S. R. M. ; VELOSO, P. A. S. . On Logic for generally and ther relational interpretations. In: First world Congress on Universal Logic, 2005, Montreux. Handbook of the 1st World Congress and School on Universal Logic. Neuchâtel: Uniuversité de Neuchâtel, 2005. v. 1. p. 101-102.

  • VELOSO, S. R. M. ; FREITAS, R. P. ; VELOSO, P. A. S. . On modularity and interpolation in general pi institution. In: LOGIC COLLOQUIUM, 1998, Praga. Conference Report of Summer Meeting of the ASL. The Bulletim of Symbolic Logic, 1998. v. 5. p. 152-153.

  • VELOSO, P. A. S. ; VELOSO, S. R. M. ; VIANA, J. P. . Schematic systems. In: WoLLIC97, 1997, Fortaleza. Conference report Logical Journal of the IGPL. Oxford: Oxford University Press, 1997. v. 5. p. 917-919.

  • CABRAL, R. J. M. ; VELOSO, S. R. M. . Revisão de Programas. In: I Encontro Nacional de Inteligência Artificial, ENIA, 1997, Brasília. Anais do I Encontro Nacional de Inteligência Artificial, 1997.

  • VELOSO, S. R. M. . A Sphere World Semantics Framework for Default Reasoning. In: Encontro Brasiliero de Lógica, XI EBL, 1996, Salvador. Anais do XI EBL, 1996. p. 92-94.

  • SILVA, J. C. P. ; VELOSO, S. R. M. . Belief Revision View of Logic programming. In: Worshop on Logic, Language, Information and Computation, WoLLIC, 1996, Slavador. Conference Report Logical Journal of the IGPL, 1996. v. 4. p. 522-523.

  • ARAGÃO, M. A. T. ; VELOSO, S. R. M. ; VELOSO, P. A. S. . Hierarchical and Encapsulated specifications: a categorical approach. In: Workshop on Logic, Language, infromation and Computation, WoLLIC, 1995, Recife. Conference Report Logical Journal of IGPL. Oxford: Oxford University Press, 1995. v. 4. p. 314-315.

  • ARAGÃO, M. A. T. ; VELOSO, S. R. M. ; VELOSO, P. A. S. . On the Constructibility theorem for Logical Specification and its role in the Composibility of Implementation steps. In: Worshop on Logic, Language, Information and Computation, WoLLIC, 1994, Recife. Conference Report, Logical Journal of IGPL. Oxford: Oxford University Press, 1994. v. 3. p. 128-129.

  • ZAVERUCHA, G. ; VELOSO, S. R. M. . A Goal Directed Reasoning for Semi-normal Default Theories. In: Workshop on Non-Standard Logic and Logical Aspects of Computer Science,NSL, 1994, Kanasawa. Proceedings of the Workshop on Non-Standard Logic and Logical Aspects of Computer Science. Hokuriku: Japan Advanced Institute of Science and Technology, JAIST, 1994. p. 32-33.

  • ZAVERUCHA, G. ; FERRAMOLA, M. ; VELOSO, S. R. M. . A Computational Approach to Relevant Logic. In: Worshop on Logic, Languages , Information and Computation, 1994, Recife. Conference Report Logical journal of IGPL. Oxford: Oxford Unversity Press, 1994. v. 3. p. 138-139.

  • VELOSO, P. A. S. ; VELOSO, S. R. M. . Some Remarks on conservative extensions:a Socratic dialogue. Bulletin Of The European Association For Theoretical Computer Science, v. 43, p. 189-198, 1991.

  • FREITAS, R. P. ; VELOSO, P. A. S. ; VELOSO, S. R. M. ; VIANA, J. P. . On a Graph Calculus for Algebras of Relations on Structure Domains.. Journal of Computer and System Sciences (Print) , 2011.

  • VELOSO, P. A. S. ; VELOSO, S. R. M. . On a graph calculus for Relations Inclusions. 2011. (Apresentação de Trabalho/Congresso).

  • VELOSO, S. R. M. ; VELOSO, P. A. S. ; VELOSO, P. . On Piaget-like Monoids: Structure and Characterization. 2011. (Apresentação de Trabalho/Congresso).

  • VANA, L. B. ; VELOSO, P. A. S. ; VELOSO, S. R. M. . On the Structure of Natural Deduction Derivations for Generally. Dordrech: Springer Verlag, 2011 (capítulo de livro).

  • VELOSO, S. R. M. ; VELOSO, P. A. S. . On Special Predicates and Filter Logic for "Most".. PESC, 2004 (Relatorio Tecnico).

  • VELOSO, P. A. S. ; VELOSO, S. R. M. . On Logics for "Generally". PESC- UFRJ, 2004 (Relatório Tecnico).

  • VELOSO, P. A. S. ; VELOSO, S. R. M. . On Modulated Logics for "Generally": Some Metamathematical AspectsOn Modulated Logics for "Generally": Some Metamathematical Aspects. PESC- UFRJ, 2004 (Relatorio Técnico).

  • VELOSO, P. A. S. ; VELOSO, S. R. M. . On Logics for "Generally" and Relational Interpretations for "Generally". PESC UFRJ, 2004 (Relatorio Tecnico).

  • FREITAS, R. P. ; VELOSO, P. A. S. ; VIANA, J. P. ; VELOSO, S. R. M. ; BENEVIDES, M. R. F. . On the expressive power of Fork Arrow Logic. Rio de Janeiro: Progrma de Engenharia de Sistemas e Computação/COPPE, 2002 (Relatorio Tecnico).

  • VELOSO, P. A. S. ; VELOSO, S. R. M. . Towards Theorem Proving in Logics for. PESC UFRJ, 2002 (Relatorio Tecnico).

  • VELOSO, S. R. M. ; SILVA, J. C. P. . Classes of Sets give answer to Answer Set Semantics and Program Evolution. Rio de Janeiro: Programa de Engenharia de Sistemas e Computação/COPPE, 2000 (Relatorio Tecnico).

  • VELOSO, P. A. S. ; FIADEIRO, J. ; VELOSO, S. R. M. . On Local Modularity and Interpolation over Entailment Systems. Rio de Janeiro: Programa de Engenharia de Sistemas e Computação- COPPE, 1999 (Relatório Tecnico).

  • VELOSO, P. A. S. ; VELOSO, S. R. M. . On Variants of Local Modularity. Rio de Janeiro: PESC- COPPE, 1999 (Relatorio Técnico).

Seção coletada automaticamente pelo Escavador

Outras produções

VIANA, J. P. ; FREITAS, R. P. ; VELOSO, P. A. S. ; VELOSO, S. R. M. ; BENEVIDES, M. R. F. . Hybridizing Square Arrow Logic. 2002.

FREITAS, R. P. ; VELOSO, P. A. S. ; VIANA, J. P. ; VELOSO, S. R. M. ; BENEVIDES, M. R. F. . On the expressive Power of Fork Arrow Logic. 2002.

BENEVIDES, M. R. F. ; FREITAS, R. P. ; VELOSO, P. A. S. ; VELOSO, S. R. M. ; VIANA, J. P. . Fork Arrow Logic: Axiomatization and Completeness. 2001.

FREITAS, R. P. ; VIANA, J. P. ; BENEVIDES, M. R. F. ; VELOSO, P. A. S. ; VELOSO, S. R. M. . Infinite Squares in Fork Arrow Logic. 2001.

VELOSO, S. R. M. ; SILVA, J. C. P. . Classes of sets give answers to Answers-set Semantics and Program Evolution. 2000.

VELOSO, P. A. S. ; FIADEIRO, J. ; VELOSO, S. R. M. . On Modularity and Interpolation over Entailment Systems. 1999.

VELOSO, P. A. S. ; VELOSO, S. R. M. . On Variants of local modularity. 1999.

FREITAS, R. P. ; VELOSO, S. R. M. ; VELOSO, P. A. S. . Modularity in General pi-Institution. 1998.

VELOSO, S. R. M. ; VELOSO, P. A. S. ; ARAUJO, J. E. . On Default Specifications for Modular Development. 1998.

VELOSO, S. R. M. ; VELOSO, P. A. S. ; FIADEIRO, J. . On Logical Specifications and Program Development. 1997.

VELOSO, P. A. S. ; VELOSO, S. R. M. . On Modularity of Internal and External Choices in Software Development of versions. 1997.

VELOSO, P. A. S. ; VELOSO, S. R. M. ; FIADEIRO, J. . On Modularity of Internal and External Choices in Formal Software Development. 1996.

SILVA, J. C. P. ; VELOSO, S. R. M. . Evolution of Logical Objects Specifications. 1994.

SILVA, J. C. P. ; VELOSO, S. R. M. . A Sphere World Semantics for Default Reasoning. 1994.

ARAGÃO, M. A. T. ; VELOSO, S. R. M. . Definindo Conservativamente um novo símbolo de função em uma Teoria Default. 1994.

ARAGÃO, M. A. T. ; VELOSO, S. R. M. . Sobre o teorema da construtibilidade e a Implementação de Tipos Abstratos de Dados. 1994.

ARAGÃO, M. A. T. ; VELOSO, S. R. M. . Sobre o Teorema da Modularização e a Composição de Passos Canônicos Subseqüentes no Contexto de Lógica Default. 1994.

ARAUJO, J. E. ; VELOSO, S. R. M. . Properties of Default Logic and its applications to the Formal Specification of Programs. 1993.

VELOSO, P. A. S. ; VELOSO, S. R. M. . On conservative and expansive extensions; why and how they differ. 1991.

VELOSO, P. A. S. ; VELOSO, S. R. M. . Some notes on conservative extensiotn: a socratic dialogue. 1990.

VELOSO, P. A. S. ; VELOSO, S. R. M. . On extensions by function symbols: conservativeness and comparision. 1990.

VELOSO, S. R. M. ; MENDES, S. B. T. ; VELOSO, P. A. S. . Um modelo abstrato para troca de mensagens. 1989.

VELOSO, P. A. S. ; VELOSO, S. R. M. . On the use of nameability: some logical properties and modelling applications. 1988.

VELOSO, S. R. M. . Estudos de problemas relacionados com projeto e construção de programas concorrentes e distribuídos. 1986.

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2016 - Atual

    Uma abordagem lógico-algébrica para Computação bolsa de produtividade do CNPq, Descrição: Este projeto pretende dar continuidade às investigações que vêm sendo desenvolvidas por esta pesquisadora nos últimos anos em métodos formais e fundamentos da computação. iPretendemos investigar e aprofundar a transferência de informação, de cunho simbiótico, entre diversas áreas de conhecimento que pode ser estabelecida de forma extremamente profícua através da abordagem formal a aspectos fundamentais da Computação. Enfatizaremos questões provenientes do inter-relacionamento entre Álgebra, Lógica e Computação. Este projeto pode ser visto como consistindo de três eixos principais, envolvendo aspectos algébricos, lógicos e computacionais de desenvolvimento metódico de sistemas (com base em abstrações e especificações formais). Este eixos serão tratados Segundo a seguinte abordagem. Os aspectos algébricos dizem respeito, principalmente, a álgebras booleanas com operadores, como extensões de álgebras relacionais motivadas por lógicas modais para tratar das propriedades estáticas e dinâmicas de sistemas. Os aspectos lógicos envolvem, principalmente, lógicas modais. Os aspectos computacionais abordam o fluxo de informações em sistemas distribuídos envolvendo aplicações de métodos algébricos e lógicos. Dentro dessa perpesctiva nossa pesquisa pretende investigar a aplicabilidade de idéias de cálculo com grafos a diversas lógicas, em particular, àquelas de grande interesse em Computação. A idéia é explorar a representação gráfica de modelos dessas lógicas para desenvolver cálculos com grafos que espelhem o raciocíniom feito no contexto semântico. Uma vez que linguagens de grafos têm grande poder expressivo, é nosso entendimento que uma formulação usando tais linguagens venha a servir para desenvolver sistemas que podem ser bem mais simples e, em alguns casos, mais expressivos do que as formulações (axiomáticas) usuais.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Sheila Regina Murgel Veloso - Coordenador.

  • 2012 - 2016

    Computação, Álgebrae Lógica: Interrelcionamneto e Intercâmbio de Informação, bolsa de produtividade de pesquisa 1D CNPq, Descrição: Este projeto pretende dar continuidade à investigação de aspectos formais da Computação, com ênfase no intercâmbio de informação entre áreas de conhecimento, decorrente da aplicação de 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, com vistas a maior confiabilidade. Pretende-se, com isso, fornecer subsídios para a análise e o desenvolvimento de sistemas e programas (especialmente os de grande porte): um melhor entendimento de questões fundamentais, bem como de formalismos e métodos para tratá-las de modo preciso e da maneira a mais amigável possível ao usuário, de modo a garantir maior confiabilidade.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Sheila Regina Murgel Veloso - Coordenador.

  • 2011 - 2014

    Relações entre Computação, Álgebra e Lógica Procienci 2011-2014, Descrição: Investigação de aspectos formais da Computação, com ênfase no intercâmbio de informação entre áreas de conhecimento, decorrente da aplicação de 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, com vistas a maior confiabilidade. Pretende-se, com isso, fornecer subsídios para a análise e o desenvolvimento de sistemas e programas (especialmente os de grande porte): um melhor entendimento de questões fundamentais, bem como de formalismos e métodos para tratá-las de modo preciso e da maneira a mais amigável possível ao usário de modo a garantir maior confiabilidade.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Sheila Regina Murgel Veloso - Coordenador.

  • 2009 - 2012

    Intercâmbio de InformaçÃo: lógica e computação, Descrição: No presente projeto vamos dar continuidade à pesquisa que vem sendo desenvolvida considerando um paradigma de aplicações de Engenharia Lógica como ponto focal para examinar o intercâmbio seguro de informação entre diversas áreas de conhecimento através da abordagem formal a alguns aspectos fundamentais da Computação. Bolsa de produtividade de pesquisa 1D, CNPq. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Sheila Regina Murgel Veloso - Coordenador.

  • 2009 - 2011

    Transferência de informação: lógica e computação Prociência 2009-2011, Descrição: Este projeto pretende investigar aspectos formais da Computação, com ênfase na Transferência de Informação entre áreas de conhecimento decorrente da aplicação de 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 com vistas a maior confiabilidade. Estaremos focalizando principalmente três aspectos: algébricos, lógicos e computacionais.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Sheila Regina Murgel Veloso - Coordenador., Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Bolsa.

  • 2009 - 2011

    Computação, Lógica e Álgebra: transferência de informação e métodos, Descrição: Edital MCT/CNPq 14/2009 - Universal - Faixa A - Até R$ 20.000,00 Número do processo: 472887/2009-2. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Sheila Regina Murgel Veloso - Coordenador / Paulo Augusto Silva Veloso - Integrante / Leonardo Bruno Vana - Integrante / Luiz Carlos Pinheiro Dias Pereira - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

  • 2007 - 2009

    ?Apoio à infra-estrutura do PGEC?, Descrição: O objetivo geral do presente projeto é abrigar e buscar promover a integração de 10 subprojetos de pesquisa, em andamento, de professores membros da equipe, para que eles possam prosseguir e ampliar suas investigações no campo teórico e prático da Geomática.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Sheila Regina Murgel Veloso - Coordenador / Cristiana Barbosa Bentes - Integrante / Flávio Joaquim de Souza - Integrante / Gilberto Pessanha - Integrante / Jorge Nunes Silva Brito - Integrante / José Carlos P. de Vasconcellos - Integrante / Magareth Meirelles - Integrante / Neide dos Santos - Integrante / - Orlando Bernardo Filho - Integrante / - Oscar Luiz M. de Farias - Integrante.

  • 2006 - 2007

    Construção de Lógicas e Algoritmos: Teoria e Aplicações APQ1- Faperj, Descrição: O presente projeto pode ser justificado com base em quatro pontos principais, a saber: - a importância de Algoritmos, em particular Construção, Análise e Fundamentos, para o desenvolvimento metódico de programas e sistemas confiáveis; - a desejabilidade de se ter um grupo de pesquisa consolidado capaz de desenvolver pesquisa de ponta em Fundamentos de Algoritmos, com ênfase em métodos precisos e suas aplicações, bem como colaborar para acelerar o desenvolvimento de núcleos similares em departamentos de ensino e pesquisa da UERJ; - a experiência dos membros da presente equipe em ensino e pesquisa em tópicos ligados à Lógica e Fundamentos de Algoritmos, como Especificações e Métodos Formais, Análise de Complexidade, Algoritmos e Combinatória. - a experiência de uma rica colaboração entre os pesquisadores do grupo, através da realização de projetos de pesquisa e seminários conjuntos.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Sheila Regina Murgel Veloso - Coordenador / Paulo Augusto Silva Veloso - Integrante / Luérbio Faria - Integrante / Luiz Carlos Pinheiro Dias Pereira - Integrante.

  • 2005 - 2009

    ENGENHARIA LÓGICA: Fundamentos e Aplicações, Cientistas de Nosso Estado - FAPERJ, Descrição: Cientistas de Nosso Estado - FAPERJ. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Sheila Regina Murgel Veloso - Integrante / Paulo Augusto Silva Veloso - Coordenador.

  • 2005 - 2008

    Engenharia lógica e transferência de informação (Prociência 2005-08), Descrição: O projeto se insere dentro de um programa de pesquisa que almeja prover subsídios para a construção de um arcabouço formal para o desenvolvimento de programas segundo diferentes paradigmas.O objetivo principal do projeto é fornecer subsídios teóricos para a análise e o desenvolvimento de sistemas e programas, especialmente os de grande porte. Pretende dar seguimento ao desenvolvimento de arcabouço lógico qualitativo para noções vagas; desenvolver procedimentos de prova automática para lógicas para "geralmente"; comparar o poder dedutivo de lógica de primeira ordem e de lógica das setas com bifurcação.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Sheila Regina Murgel Veloso - Coordenador.

  • 2003 - 2011

    ALGORITMOS: ENGENHARIA E FUNDAMENTOS editais Pronex 2003 e 2006, Descrição: Edital Pronex 2003/Edital Pronex 2006 Este projeto tem seu principal foco em Engenharia e Fundamentos de Algoritmos, visando ferramentas cruciais para o desenvolvimento metódico de sistemas confiáveis e 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. Pretendemos 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 em instituições no estado do Rio de Janeiro.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Sheila Regina Murgel Veloso - Integrante / Paulo Augusto Silva Veloso - Coordenador / Gerson Zaverucha - Integrante / Jorge Petrucio Viana - Integrante / Mario Roberto Folhadela Benevides - Integrante / Fabio Protti - Integrante / Luérbio Faria - Integrante / Jayme Luiz SZWARCFITER - Integrante / Valmir Carneiro BARBOSA - Integrante / Edward Hermann HAEUSLER - Integrante / Celina M. H. de FIGUEIREDO - Integrante / Sulamita KLEIN - Integrante / Claudson BORNSTEIN - Integrante / Márcia R. CERIOLI - Integrante / Eduardo S. LABER - Integrante / Renata P. de FREITAS - Integrante / Simone Dantas de SOUZA - Integrante / Loana T. NOGUEIRA - Integrante / Mitre C. DOURADO - Integrante / Paulo E. D. PINTO - Integrante / Vínicius G. P. SÁ - Integrante., Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.

  • 2003 - 2005

    Projeto 08/02 CAPG-BA, Descrição: Programa CAPG/BA-CAPES "Centros Associados de Pós-graduação". UFRJ, Brasil - UBA, Argentina / CAPES-SPU. CAPES - Programa de Centros Associados Pós-graduação em Engenharia da COPPE-UFRJ e a Facultad de Ciencias Exactas y Naturales de la Universidad Buenos Aires. Duração: 03/2006 - 02/2008. O projeto CAPG-BA número 08/02 é uma cooperação bilateral entre o Brasil e Argentina através da CAPES pelo lado brasileiro e da SPU (Secretaria de Políticas Universitárias) pelo lado argentino. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Sheila Regina Murgel Veloso - Coordenador / Marcelo Frias - Integrante.

Histórico profissional

Seção coletada automaticamente pelo Escavador

Endereço profissional

  • Universidade do Estado do Rio de Janeiro, Faculdade de Engenharaia. , Rua São Francisco Xavier, 524, sala 5022-D, Maracanã, 20550-900 - Rio de Janeiro, RJ - Brasil, Telefone: (21) 25877442, Fax: (21) 25877374, URL da Homepage:

Seção coletada automaticamente pelo Escavador

Experiência profissional

2005 - Atual

Universidade do Estado do Rio de Janeiro

Vínculo: Docente, Enquadramento Funcional: Prof. Titular, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

  • 03/2007

    Ensino, Engenharia de Computação, Nível: Pós-Graduação,Disciplinas ministradas, Sistemas Multi agentes

  • 01/2005

    Ensino, Engenharia de Sistemas e Computação, Nível: Graduação,Disciplinas ministradas, Topicos Especias, Analise de algoritmos

2003 - 2005

Universidade Federal do Rio de Janeiro

Vínculo: servidor publico aposentado, Enquadramento Funcional: Professor adjunto aposentado

1978 - 2003

Universidade Federal do Rio de Janeiro

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

Atividades

  • 10/1988 - 01/2005

    Ensino, Engenharia de Sistemas e Computação, Nível: Pós-Graduação,Disciplinas ministradas, Especificações Formais, Inteligência Artificial II COS 741, Lógica I COS744, Programação em Lógica, Teoria da Computação COS 700, Teoria de conjuntos e Lógica, Tópicos Especiais em Especificações Formais COS 849, Tópicos Especiais em I.A. VII 776, Tópicos Especiais em I.A. COS840

  • 04/1978 - 01/2005

    Ensino, Engenharia de Sistemas e Computação, Nível: Pós-Graduação,Disciplinas ministradas, Cálcuo Numérico, Computação I, Inteligência Artificial, Linguagens Formais MAB 123, Lógica em Programação, Lógica MAB 236, Organização de Dados I MAB 243, Programaçào m Computadores II, Teoria da Computação