Renata Wassermann

Possui bacharelado em Ciencia da Computacao pela Universidade de São Paulo (1991), mestrado em Matemática Aplicada pela Universidade de São Paulo (1995), doutorado em Ciência da Computação pela Universidade de Amsterdã (1999) e livre-docência pela Universidade de São Paulo (2005). Atualmente é professora associada do Departamento de Ciência da Computação do Instituto de Matemática e Estatística da Universidade de São Paulo. Sua área de pesquisa é a Inteligência Artificial, com ênfase em Lógica e Representação de Conhecimento.

Informações coletadas do Lattes em 18/10/2024

Acadêmico

Formação acadêmica

Doutorado em Ciência da Computação

1995 - 1999

Universiteit van Amsterdam, UvA
Título: Resource Bounded Belief Revision
Orientador: Hans Rott
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

Mestrado em Matemática Aplicada

1993 - 1995

Universidade de São Paulo
Título: A Lógica das Estruturas de Features e suas Aplicações
Orientador: Flávio Soares Corrêa da Silva
, Ano de Obtenção: 1995.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

Graduação em Bacharelado em Ciencia da Computacao

1988 - 1991

Universidade de São Paulo

Pós-doutorado

2005

Livre-docência. , Universidade de São Paulo, USP, Brasil. , Título: Lógica e Representação do Conhecimento, Ano de obtenção: 2005.

2000 - 2001

Pós-Doutorado. , Universidade de São Paulo, USP, Brasil. , Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. , Grande área: Ciências Exatas e da Terra

Idiomas

Inglês

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

Espanhol

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

Italiano

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

Francês

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

Alemão

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

Holandês

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

Á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: Inteligencia Artificial.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Sistemas de Informação.

Participação em eventos

Workshop on Belief Revision and Dynamic Logic. Membro do comitê de programa do Workshop on Belief Revision and Dynamic Logic. 2005. (Congresso).

International Workshop on Non-Monotonic Reasoning (subworshop Belief Change). Membro do comitê de programa do International Workshop on Non-Monotonic Reasoning (subworshop Belief Change). 2004. (Congresso).

Simpósio Brasileiro de Inteligência Artificial. Membro do comitê de programa do Simpósio Brasileiro de Inteligência Artificial. 2004. (Congresso).

International Conference on Information and Knowledge Sharing. Membro do comitê de programa da International Conference on Information and Knowledge Sharing. 2003. (Congresso).

Workshop on Logic, Language, Information and Computation. Membro do comitê de programa do Workshop on Logic, Language, Information and Computation. 2003. (Congresso).

. Membro do comitê de programa da International Conference on Information and Knowledge Sharing. 2002. (Congresso).

Workshop on Logic, Language, Information and Computation. Membro do comitê de organização do Workshop on Logic, Language, Information and Computation. 2001. (Congresso).

International Workshop on Belief Change: Theory and Practice. Membro do comitê de programa e organização do International Workshop on Belief Change: Theory and Practice. 2000. (Congresso).

Fourth Dutch-German Workshop on Non-monotonic Reasoning. Membro do comitê de organização do Fourth Dutch-German Workshop on Non-monotonic Reasoning. 1999. (Congresso).

Participação em bancas

Aluno: Erika Guetti Suca

SILVA, F. S. C.WASSERMANN, R.; PIZZIGATTI, P.. Interoperabilidade de documentos digitais usando ontologias. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Filipe Santana da Silva

Freitas, F. L. G.;Oliveira, A. G.WASSERMANN, R.. Ontologias e as Doenças Tropicais Negligenciáveis - NTDO. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Eduardo Menezes de Morais

WASSERMANN, R.SILVA, F. S. C.; SANTOS, P. E.. Answer Set Programming Probabilístico. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Ary Fagundes Bressane Neto

SILVA, F. S. C.WASSERMANN, R.; Lobo Netto, M.. Uma arquitetura para agentes inteligentes com personalidade e emoção. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Menandro Ribeiro Santana

Freitas, F. L. G.;Oliveira, A. G.WASSERMANN, R.. MONK: proposta de um motor de inferência híbrido para a web semântica. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Luis Gustavo Nardin

SICHMAN, J. S.; Dignum, \v.;WASSERMANN, R.. Uma arquitetura de apoio à interoperabilidade de modelos de reputação de agentes. 2009. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Filipe Correa Lima da Silva

SILVA, F. S. C.WASSERMANN, R.; CLUA, E.W.G.. Uma ferramenta para o ensino de inteligência artificial usando jogos de computador.. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Rodolfo Coura de Brito

SANTOS, P. E.; TONIDANDEL, F.;WASSERMANN, R.. Interpretação de sequências de imagem baseado em uma semântica de caminhos. 2008. Dissertação (Mestrado em Engenharia Elétrica) - FUNDACAO EDUCACIONAL INACIANA PADRE SABOIA DE MEDEIROS.

Aluno: Ana Luísa de Cerqueira Leite Duboc

ZAVERUCHA, G.; BENEVIDES, M. R. F.; VELOSO, S. R. M.;WASSERMANN, R.. Utilizando a Cláusula mais Específica na Revisão deTeorias 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: Guilherme de Souza Rabello

Marcelo FingerWASSERMANN, R.; BENEVIDES, M. R. F.. Aproximações de Lógicas Modais. 2005. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.

Aluno: Sara Jane Casare

SICHMAN, J. S.;WASSERMANN, R.; GOMI, E. S.. Uma ontologia funcional para reputação. 2005. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Denise Maria Maldonaldo Cunha

WASSERMANN, R.; CARNIELLI, W. A.; CONIGLIO, M. E.. Crenças não Ditas, Ditos de Crença. 2003. Dissertação (Mestrado em Lógica e Filosofia da Ciência) - Universidade Estadual de Campinas.

Aluno: Roberta Vanessa Rojo

WASSERMANN, R.; CASTILHO, M. A.; DONADELLI JR., J.. Uma Implementação Genérica para Métodos de Tableaux Modais com uma Aplicação Específica em Raciocínios Sobre Ações. 2003. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Adilson de Jesus Sanchez

WASSERMANN, R.MELO, A. C. V.; MOURA, H. P.. Uso de Redes Bayesianas no Gerenciamento de Manutenção de Software. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Tércio de Morais Sampaio Silva

WASSERMANN, R.; BITTENCOURT, G.; SOBRAL, J. B. M.; STEMMER, M. R.. Extração de Informação para Busca Semântica na WEB Baseada em Ontologias. 2003. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Fabiano de Carvalho e Sousa

Marcelo FingerWASSERMANN, R.; NUNES, M. G. V.. Analisador Sintático Estatístico Orientado ao Núcleo-Léxico para a Língua Portuguesa. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Michel de Almeida Carlini

WASSERMANN, R.; BENEVIDES, M. R. F.; VELOSO, S. R. M.. 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: Eudenia Xavier Menezes

WASSERMANN, R.SILVA, F. S. C.; MONARD, M. C.. Um modelo de capacidades formais para cooperação mediada entre sistemas baseados em conhecimento.. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Wagner Dias

WASSERMANN, R.; CARNIELLI, W. A.;Marcelo Finger. Implementações de Tableaux para Raciocínio por Aproximações. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Víctor Leandro Fernández

WASSERMANN, R.; CARNIELLI, W. A.; CONIGLIO, M. E.. Semântica de Sociedades para lógicas n-Valentes. 2001. Dissertação (Mestrado em Lógica e Filosofia da Ciência) - Universidade Estadual de Campinas.

Aluno: Alexandre Matos Arruda

Marcelo Finger; COZMAN, F. G.;WASSERMANN, R.; BENEVIDES, M. R. F.; SANTOS, P. E.. Abdução Clássica e Abdução Probabilística: a busca pela explicação de dados reais. 2014. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Pedro Losco Takecian

FERREIRA, J. E.;WASSERMANN, R.; SALGADO, A. C. B.; ITALIANO, I. C.; OIAKAWA, M. K.. Diretrizes metodológicas e validação estatística de dados para a construção de data warehouses. 2014. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Rafael Rodrigues Testa

CONIGLIO, M. E.;WASSERMANN, R.; SANZ, W.; CARNIELLI, W. A.; CHIBENI, S.. Revisão de Crenças Paraconsistente baseada em um operador formal de consistência. 2014. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Zhiqiang Zhuang

PAGNUCCO, M.; Delgrande, J.;WASSERMANN, R.. Belief Revision Under the Horn Fragment of Propositional Logic. 2012. Tese (Doutorado em Computer Science) - University of New South Wales.

Aluno: Ricardo Shirota Filho

COZMAN, F. G.; REVOREDO, K.; IDE, J. S.; BARROS, L. N.;WASSERMANN, R.. Processos de Decisão Markovianos com Probabilidades Imprecisas e Representações Relacionais: Algoritmos e Fundamentos. 2012. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo.

Aluno: José Eduardo Ochoa Luna

REVOREDO, K.; Silva, J. R.; MARUYAMA, N.;WASSERMANN, R.; COZMAN, F. G.. LÓGICAS PROBABILÍSTICAS COM RELAÇÕES DE INDEPENDÊNCIA: REPRESENTAÇÃO DE CONHECIMENTO E APRENDIZADO DE MÁQUINA. 2011. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo.

Aluno: Kevin Lee

FOO, N.; Meyer, T.; WANG, K.; PEPPAS, P.;WASSERMANN, R.. Inconsistency Management for Description Logics. 2010. Tese (Doutorado em Computer Science) - University of New South Wales.

Aluno: ADOLFO GUSTAVO SERRA SECA NETO

Marcelo Finger; BENEVIDES, M. R. F.; BITTENCOURT, G.; CARNIELLI, W. A.;WASSERMANN, R.. Um provador de teoremas multi-estratégia. 2007. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

Aluno: Ryan Ribeiro de Azevedo

Oliveira, A. G.; VIEIRA, R.;WASSERMANN, R.. Aprendizado Interativo: uma Abordagem para Construção de Ontologias em Lógica de Descrições a partir de Interações em Linguagem Natural e Raciocínio Automático. 2014. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Marlo Vieira dos Santos e Souza

MOREIRA, A. F.; BORDINI, R.; BAZZAN, A. L. C.;WASSERMANN, R.. Dinâmica epistêmica em linguagens de Programação BDI. 2014. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: José Eduardo Ochoa Luna

COZMAN, F. G.;Wassermann, R.; MARUYAMA, N.. Algoritmos para lógica probabilística de primeira ordem. 2009. Exame de qualificação (Doutorando em Engenharia Mecânica) - Universidade de São Paulo.

Aluno: Adolfo Gustavo Serra Seco Neto

Marcelo FingerWASSERMANN, R.SILVA, F. S. C.. A multi-strategy tableau prover. 2005. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade de São Paulo.

Aluno: Jerusa Marchi

WASSERMANN, R.; BITTENCOURT, G.; PIERI, E. R.; ROISENBERG, M.; COSTA, R. C.. Lógica Proposicional como Base para o Aprendizado e Elaboração do Comportamento Autônomo em Robôs Móveis. 2003. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Juan mikalef e Jorge Taboada

WASSERMANN, R.; FERME, E.; BECHER, V.. Funciones de Credibilidad Limitada. 2001 - Universidade de Buenos Aires.

WASSERMANN, R.. Concurso de Contratação de Professor Doutor. 2018. Universidade Federal do Paraná.

WASSERMANN, R.. Contratação de Professor Doutor. 2015. Universidade de São Paulo.

Orientou

Vivian Magri Alcaldi Soares

Ontology Extraction from Natural Language; Início: 2022; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Davy Alves de Souza

Optimal repair and pseudo contraction; Início: 2021; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo; (Orientador);

Izabela Paulino Fonseca

Integração de sistemas do SUS; Início: 2021; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo; (Orientador);

Vinícius Bitencourt Matos

Revisão de Crenças em Lógicas de Descrição; 2021; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renata Wassermann;

Alexandre César Pessoa

Integração de bases de dados com uso de ontologias; 2021; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Renata Wassermann;

Débora Lina Ciriaco

Integração Semântica das Bases de Dados do Sistema Único de Saúde: Um Estudo de Caso com o Município de São Paulo; 2019; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Renata Wassermann;

Bárbara Tieko Agena

Acesso a dados baseado em ontologias com NoSQL; 2017; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Renata Wassermann;

Rafael Brito de Oliveira

Utilização de ontologias para busca em base de dados de acórdãos do STF; 2017; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Renata Wassermann;

Marisol Solis

Utilização de Ontologias para Busca em um Sistema Colaborativo de Imagens Arquitetônicas; 2016; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renata Wassermann;

Yuri David Santos

Pseudo-Contractions in Belief Revision; 2016; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renata Wassermann;

Fillipe Manoel Xavier Resina

Revisão de Crenças em Lógicas de Descrição - Um Plug-In para o Protégé; 2014; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Renata Wassermann;

José David Curado

Tipicalidade em Lógicas de Descrição; 2014; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Renata Wassermann;

Renato Urquiza Lundberg

Análise Empírica de Algoritmos de Revisão sobre Bases de Crenças; 2013; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Renata Wassermann;

Eduardo Galego

Extração e consulta de informações do currículo Lattes baseadas em ontologias; 2013; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Renata Wassermann;

Fabiano Ferreira Luz

Consulta a ontologias em língua portuguesa através do português controlado; 2013; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Renata Wassermann;

Carlos Eduardo Atencio Torres

Uso de informação linguística e análise de conceitos formais no aprendizado de ontologias; ; 2012; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Renata Wassermann;

Esdras Bispo Jr

; Mapeamento de ontologias; 2011; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renata Wassermann;

Paulo de Tarso Guerra Oliveira

Revisão de Modelos CTL; 2010; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Renata Wassermann;

André Casado Castaño

Populando ontologias através de informações em HTML - o caso do Currículo Lattes; 2008; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Renata Wassermann;

Thiago Carvalho de Sousa

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, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Renata Wassermann;

Anderson Sanches

Construção e estudos sobre ontologias de bioquímica; 2005; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Renata Wassermann;

Christian Danniel Paz-Trillo

Recuperação de vídeos indexados por conceitos; 2005; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Renata Wassermann;

Joselyto Riani

Em Busca de Procedimentos de Inferência Eficientes via Relevância por Sintaxe; 2004; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, ; Orientador: Renata Wassermann;

Igor de Camargo e Souza Câmara

Quantificação em lógicas de descrição de tipicalidade; 2023; Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renata Wassermann;

Fillipe Manoel Xavier Resina

Revisão Múltipla de Ontologias; 2021; Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Renata Wassermann;

Jandson Santos Ribeiro

Belief Change Without Compactness; 2020; Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Renata Wassermann;

Ricardo Ferreira Guimarães

Modularity in Belief Change of Description Logic Bases; 2020; Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Renata Wassermann;

Paulo de Tarso Guerra Oliveira

Revisão de crenças temporais; 2016; Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Renata Wassermann;

Ricardo Moura Sekeff Budaruiche

Uso de ontologias para classificação de pacientes portadores da Síndrome de Li-Fraumeni: Estudo de caso no A; C; Camargo Cancer Center; 2016; Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, ; Orientador: Renata Wassermann;

Raphael Mendes Cóbe

Integração entre múltiplas ontologias: reúso e gerência de conflitos; 2014; Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Renata Wassermann;

Diogo Ferreira da Costa Patrão

DESENVOLVIMENTO E AVALIAÇÃO DE FERRAMENTAS COMPUTACIONAIS PARA TRIAGEM AUTOMÁTICA DE SUJEITOS DE PESQUISA; 2014; Tese (Doutorado em Doutorado) - Fundação Antônio Prudente, ; Coorientador: Renata Wassermann;

Márcio Moretto Ribeiro

Revisão de Crenças em Lógicas de Descrição e Outras Lógicas não Clássicas; 2010; Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Renata Wassermann;

Martin Moguillansky

Argumentation Dynamics; 2009; Tese (Doutorado em Doutorado em Ciência da Computação) - Universidad Nacional del Sur, Consejo Nacional de Investigaciones Científicas y Técnicas; Coorientador: Renata Wassermann;

Marlo Souza

2021; Universidade de São Paulo, ; Renata Wassermann;

Lais Salvador

2018; Universidade de São Paulo, ; Renata Wassermann;

Aline Andrade

2013; Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Renata Wassermann;

Marta Ruiz Costa-jussà

2012; Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Renata Wassermann;

Igor Shigueo Kawasaki Nakabayashi

Geração de consulta SPARQL a partir de texto; 2011; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Matemática Aplicada Computacional) - Universidade de São Paulo; Orientador: Renata Wassermann;

Fillipe Manoel Xavier Resina

Revisor de ontologias; 2010; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renata Wassermann;

José David Curado

Geração de metadados; 2010; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo; Orientador: Renata Wassermann;

Anauê Pereira da Costa e Fabio Sendoda Yamate

Semantic Lattes: uma ferramenta de consulta baseada em ontologias; 2009; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Escola Politécnica; Orientador: Renata Wassermann;

Andrew Yuan

Ontologias e a Biblioteca Virtual; 2003; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo; Orientador: Renata Wassermann;

Danilo Conde

Biblioteca Virtual; 2002; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo; Orientador: Renata Wassermann;

Fillipe Manoel Xavier Resina

Implementação de um revisor de ontologias; 2010; Iniciação Científica; (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renata Wassermann;

Marcos Yoshinori Nakashima

CV Lattes e Web-semântica; 2005; Iniciação Científica; (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renata Wassermann;

Hugo Corbucci

Ontologia de orientação a objetos; 2005; Iniciação Científica; (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renata Wassermann;

Flávio Protásio Ribeiro

Uma Interface para o OpenCyc; 2004; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Renata Wassermann;

Rogerio Kakehashi

Legolog e Java; 2004; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade de São Paulo; Orientador: Renata Wassermann;

Márcio Moretto Ribeiro

Revisão em lógica de descrições; 2004; Iniciação Científica; (Graduando em Ciências Moleculares) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renata Wassermann;

Juliana Barby Simão

IDE para Prolog; 2003; Iniciação Científica; (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, IBM; Orientador: Renata Wassermann;

Thiago Carvalho de Sousa

Revisão de Crenças e Banco de Dados; 2001; Iniciação Científica; (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renata Wassermann;

Flávio Protásio Ribeiro

Revisão de Crenças e Manutenção de Consistência; 2001; Iniciação Científica; (Graduando em Engenharia - Ciclo Básico) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Renata Wassermann;

Produções bibliográficas

GUERRA, Paulo T. ; WASSERMANN, R. . Revising System Specifications in Temporal Logic. Journal of Logic Language and Information , v. 31, p. s1084902209379, 2022.
GUERRA, Paulo T. ; WASSERMANN, R. . Two AGM-style characterizations of model repair. Annals of Mathematics and Artificial Intelligence (Dordrecht. Online) , v. -, p. 1-25, 2019.
SANTOS, YURI DAVID ; MATOS, VINÍCIUS BITENCOURT ; RIBEIRO, M. M. ; WASSERMANN, R. . Partial meet pseudo-contractions. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING , v. 103, p. 11-27, 2018.
FERMÉ, EDUARDO ; Wassermann, Renata . On the logic of theory change: iteration of expansion. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (IMPRESSO) , v. 24, p. 8, 2018.
OLIVEIRA, P. T. G. ; Wassermann, R. . On the uncomputability of partial meet contraction for Linear-time Temporal Logic. SOUTH AMERICAN JOURNAL OF LOGIC , v. 4, p. 7, 2018.
Wassermann, Renata ; Marcio Moretto Ribeiro . Bringing AGM to Computer Science. south american journal of logic , v. 1, p. 8, 2015.
ROCHA, VLADIMIR ; KON, FABIO ; COBE, RAPHAEL ; Wassermann, Renata . A hybrid cloud-P2P architecture for multimedia information retrieval on VoD services. Computing (Wien. Print) , p. 73-92, 2014.
Marcio Moretto Ribeiro ; Wassermann, R. ; Flouris, G. ; Antoniou, G. . Minimal change: Relevance and recovery revisited. Artificial Intelligence (General Ed.) , v. 201, p. 59-80, 2013.
Delgrande, J. ; Wassermann, R. . Horn Clause Contraction Functions. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH , v. 48, p. 475-511, 2013.
Moguillansky, M. O. ; Wassermann, R. ; FALAPPA, M. A. . Inconsistent-tolerant base revision through Argument Theory Change. Logic Journal of the IGPL (Online) , v. 20, p. 154-186, 2012.
Wassermann, Renata . On AGM for Non-Classical Logics. Journal of Philosophical Logic , v. 40, p. 271-294, 2011.
Booth, R. ; Meyer, T. ; Varzinczak, I. ; WASSERMANN, R. . On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. The Journal of Artificial Intelligence Research (Print) , v. 42, p. 31-53, 2011.
Ribeiro, M. M. ; Wassermann, R. . Base Revision for Ontology Debugging. JOURNAL OF LOGIC AND COMPUTATION , v. 19, p. 721-743, 2009.
Marcelo Finger ; WASSERMANN, R. . The universe of propositional approximations. THEORETICAL COMPUTER SCIENCE , v. 355, n.2, p. 153-166, 2006.
Marcelo Finger ; WASSERMANN, R. . Anytime Approximations of Classical Logic from Above. JOURNAL OF LOGIC AND COMPUTATION , v. 17, p. 53-82, 2006.
PAZ-TRILLO, C. ; WASSERMANN, R. ; BRAGA, P. P. . An information retrieval application using ontologies. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (IMPRESSO) , v. 11, n.2, p. 17-31, 2005.
Marcelo Finger ; WASSERMANN, R. . Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. JOURNAL OF LOGIC AND COMPUTATION , v. 14, n.2, p. 179-204, 2004.
WASSERMANN, R. . Generalized Change and the Meaning of Rationality Postulates. Studia Logica , v. 73, n.2, p. 299-319, 2003.
Marcelo Finger ; WASSERMANN, R. . The Universe of Approximations. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE , v. 84, p. 91-104, 2003.
HANSSON, S. O. ; WASSERMANN, R. . Local Change. Studia Logica , v. 70, n.1, p. 49-76, 2002.
WASSERMANN, R. . Local Diagnosis. Journal of Applied Non-Classical Logics , v. 11, n.1-2, p. 107-129, 2001.
CHOPRA, S. ; PARIKH, R. ; WASSERMANN, R. . Approximate Belief Revision. Logic Journal of the IGPL , v. 9, n.6, p. 755-768, 2001.
WASSERMANN, R. . Resource Bounded Belief Revision. Erkenntnis , v. 50, n.2-3, p. 429-446, 1999.
SILVA, A. (Org.) ; WASSERMANN, R. (Org.) ; QUEIROZ, R. (Org.) . Logic, Language, Information, and Computation. 1. ed. , 2021.
MATOS, VINÍCIUS BITENCOURT ; Guimarães, Ricardo ; SANTOS, YURI DAVID ; Wassermann, Renata . Pseudo-contractions as Gentle Repairs. In: Carsten Lutz; Uli Sattler; Cesare Tinelli; Anni-Yasmin Turhan; Frank Wolter. (Org.). Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2019, v. , p. 385-403.
WASSERMANN, R. . On Structured Belief Bases. In: Hans Rott, Mary-Anne Williams. (Org.). Frontiers in Belief Revision. : Kluwer, 2001, v. , p. -.
LOPES, WASHINGTON ROBERTO ; ZILBERMAN, BE ; DA CRUZ, BRUNA MAGRINI ; CRUZ, LETICIA DOS SANTOS MONTE ; GOMES, RAFAELLA ALVES LUCENA ; Wassermann, Renata ; PERES, SARAJANE MARQUES ; FREIRE, VALDINEI . Eu, Tu, Ele, Ela, Elu, Nós, Vós, Eles, Elas, Elus por um Modelo de Linguagem Neutra. In: Encontro Nacional de Inteligência Artificial e Computacional, 2023, Brasil. Anais do XX Encontro Nacional de Inteligência Artificial e Computacional (ENIAC 2023), 2023. p. 969.
SOUZA, MARLO ; Wassermann, Renata . Hyperintensional Partial Meet Contractions. In: 19th International Conference on Principles of Knowledge Representation and Reasoning {KR2022}, 2022, Haifa. Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning. California: International Joint Conferences on Artificial Intelligence Organization, 2022. p. 341.
MATOS, VINÍCIUS BITENCOURT ; WASSERMANN, R. . Repairing Ontologies via Kernel Pseudo-Contraction. In: 20th International Workshop on Non-Monotonic Reasoning (NMR 2022), 2022, Haifa. Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, 2022. p. 16-26.
SOUZA, MARLO ; Wassermann, Renata . Belief Contraction in Non-classical logics as Hyperintensional Belief Change. In: 18th International Conference on Principles of Knowledge Representation and Reasoning {KR2021}, 2021, Hanoii. Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning. California: International Joint Conferences on Artificial Intelligence Organization, 2020. p. 588.
RESINA, F. M. X. ; WASSERMANN, R. . Multiple Selective Revision. In: International Workshop on Non-Monotonic Reasoning, 2021, Hanoii. Proceedings of the International Workshop on Non-Monotonic Reasoning (NMR), 2021.
CIRIACO, D. L. ; PESSOA, A. ; SALVADOR, L. ; Wassermann, R. . Integração Semântica das Bases de Dados do Sistema Único de Saúde: Um Estudo de Caso com o Município de São Paulo (Semantic Data Integration for the Brazilian Public Health System: A Case Study With São Paulo). In: XIII Seminar on Ontology Research in Brazil (Ontobras), 2020, Vitória. Proceedings of the XIII Seminar on Ontology Research in Brazil, 2020.
RESINA, F. M. X. ; WASSERMANN, R. . A Survey on Multiple Revision. In: International Workshop on Non-Monotonic Reasoning, 2020, Rhodes. Proceedings of the International Workshop on Non-Monotonic Reasoning (NMR), 2020.
RIBEIRO, J. S. ; NAYAK, A. ; WASSERMANN, R. . Belief Change and Non-monotonic Reasoning sans Compactness. In: AAAI Conference on Artificial Intelligence (AAAI-19), 2019, Honolulu. Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19), 2019. p. 1.
RIBEIRO, J. S. ; NAYAK, A. ; WASSERMANN, R. . Belief Update without Compactness in Non-finitary Languages. In: International Joint Conference on Artificial Intelligence, 2019, Macau. Proceedings of the 28th International Joint Conference on Artificial Intelligence, 2019. p. 1.
RIBEIRO, J. S. ; NAYAK, A. ; WASSERMANN, R. . Towards Belief Contraction without Compactness. In: Principles of Knowledge Representation and Reasoning, 2018, Tempe, Arizona. Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning, 2018. p. 287.
GUIMARAES, R. F. ; SATTLER, U. ; WASSERMANN, R. . Ontology Stratification Methods: A Comparative Study. In: International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2018), 2018, Tempe, Arizona. Proceedings of the Third International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2018), 2018. p. 1.
OLIVEIRA, R. B. ; WASSERMANN, R. . Utilização de Ontologia para Busca em Base de Dados de Acórdãos do STF. In: Ontobras, 2017, Brasília. Anais do Ontobras, 2017.
AGENA, B. T. ; ARAUJO, T. H. D. ; BRAGHETTO, K. R. ; WASSERMANN, R. . OntoMongo- Ontology-Based Data Access for NoSQL.. In: Ontobras, 2017, Brasília. Anais do Ontobras, 2017.
GUIMARAES, R. F. ; WASSERMANN, R. . Local Change in Ontologies with Atomic Decomposition. In: Joint Ontology Workshops (JOWO), 2017, Bolzano. Proceedings of the Joint Ontology Workshops, 2017.
FERME, EDUARDO ; Wassermann, Renata . Iterated Belief Change the Case of Expansion Into Inconsistency. In: 2017 Brazilian Conference on Intelligent Systems (BRACIS), 2017, Uberlandia. 2017 Brazilian Conference on Intelligent Systems (BRACIS), 2017. p. 420.
BONA, G. ; Marcelo Finger ; Marcio Moretto Ribeiro ; SANTOS, Y. D. ; WASSERMANN, R. . Consolidating Probabilistic Knowledge Bases via Belief Contraction. In: Principles of Knowledge Representation and Reasoning (KR), 2016, Cidade do Cabo. Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning, 2016. p. 125-134.
SOLIS, M. ; LIMA, V. M. A. ; WASSERMANN, R. . On the use of ontologies for search in a collaborative system for architectural images. In: 14th International ISKO Conference, 2016, Rio de Janeiro. Proceedings of the 14th International ISKO Conference, 2016.
SANTOS, Y. D. ; Marcio Moretto Ribeiro ; Wassermann, Renata . Between Belief Bases and Belief Sets: Partial Meet Contraction. In: International Workshop on Defeasible and Ampliative Reasoning, DARe, 2015, Buenos Aires. Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, DARe 2015, co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015. p. 9.
CÓBE, Raphael M. O. ; Wassermann, Renata . Ontology Repair Through Partial Meet Contraction. In: International Workshop on Defeasible and Ampliative Reasoning, DARe 2015, 2015, Buenos Aires. Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, DARe 2015, co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015. p. 3.
BUDARUICHE, RICARDO M.S. ; Wassermann, Renata ; PATRAO, DIOGO F.C. ; ACHATZ, MARIA I.W. . Li-Fraumeni Ontology: A Case Study of an Ontology for Knowledge Discovery in a Cancer Domain. In: 2015 Brazilian Conference on Intelligent Systems (BRACIS), 2015, Natal. 2015 Brazilian Conference on Intelligent Systems (BRACIS), 2015. p. 157-162.
RESINA, F. M. X. ; Ribeiro, M. M. ; Wassermann, Renata . Algorithms for Multiple Contraction and an Application to OWL ontologies. In: Brazilian Conference on Intelligent Systems (BRACIS), 2014, São Carlos. Proceedings of BRACIS 2014, 2014.
Herzig, Andreas ; MENEZES, V. ; BARROS, L. N. ; WASSERMANN, R. . On the revision of planning tasks. In: ECAI, 2014, Praga. Proceedings of ECAI, 2014. v. 263. p. 435-440.
OLIVEIRA, P. T. G. ; ANDRADE, A. ; WASSERMANN, R. . Toward the Revision of CTL Models through Kripke Modal Transition Systems. In: Simpósio Brasileiro de Métodos Formais (SBMF), 2013, Brasília. Proceedings of SBMF - LNCS, 2013.
PATRAO, D. ; BRENTANI, H. ; Marcelo Finger ; WASSERMANN, R. . Ontocloud ? a clinical information ontology based data integration system. In: Ontobras, 2013, Belo Horizonte. Anais do Ontobras, 2013.
CÓBE, Raphael M. O. ; RESINA, F. M. X. ; WASSERMANN, R. . Merging Ontologies via Kernel Contraction. In: Ontobras, 2013, Belo Horizonte. Anais do Ontobras, 2013.
LUZ, F. F. ; Wassermann, R. . Consulta a ontologias em língua portuguesa através do português controlado. In: Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), 2013, Fortaleza. Anais do ENIAC 2013, 2013.
GALEGO, E. F. ; Wassermann, R. . Extração e Consulta de Informações do Currículo Lattes Baseadas em Ontologias. In: Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), 2013, Fortaleza. Anais do ENIAC 2013, 2013.
LUNDBERG, R. U. ; Marcio Moretto Ribeiro ; Wassermann, R. . A Framework for Empirical Evaluation of Belief Change Operators. In: Simpósio Brasileiro de Inteligência Artificial (SBIA), 2012, Curitiba. Advances in Artificial Intelligence, 2012.
CÓBE, Raphael M. O. ; Wassermann, R. . Ontology Merging and Conflict Resolution: Inconsistency and Incoherence Solving Approaches. In: Workshop on Belief Change, Non-monotonic Reasoning and Conflict Resolution, 2012, Montpellier. Proceedings of the Workshop on Belief Change, Non-monotonic Reasoning and Conflict Resolution, 2012.
PAZ-TRILLO, C. ; COSTA-JUSSA, M. R. ; WASSERMANN, R. . Initial approaches on Cross-Lingual Information Retrieval using SMT on user-queries. In: Seminário Brasileiro de Ontologias (OntoBras), 2012, Recife. Anais do Ontobras, 2012.
BISPO JR., E. L. ; WASSERMANN, R. . Uma Nova Abordagem de Avaliação de Alinhamentos de Ontologias baseada em Consultas. In: Encontro Nacional de Inteligência Artificial (ENIA), 2011, Natal. Anais do Encontro Nacional de Inteligência Artificial (ENIA), 2011.
CÓBE, Raphael M. O. ; KON, F. ; WASSERMANN, R. . Ontology Merging: on the confluence between theoretical and pragmatic approaches. In: Seminário de Pesquisa em Ontologias do Brasil (ONTOBRAS), 2011, Gramado. Anais do Seminário de Pesquisa em Ontologias do Brasil (ONTOBRAS), 2011.
Delgrande, J. ; WASSERMANN, R. . Topics in Horn Contraction: Supplementary Postulates, Package Contraction, and Forgetting. In: 9th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC-2011), 2011, Barcelona. Proceedings of the 9th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC-2011), 2011.
Delgrande, J. ; Wassermann, R. . Horn Clause Contraction Functions: Belief Set and Belief Base Approaches. In: International Conference on the Principles of Knowledge Representation and Reasoning, 2010, Toronto. Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning, 2010.
Booth, R. ; Meyer, T. ; Varzinczak, I. ; WASSERMANN, R. . A Contraction Core for Horn Belief Change: Preliminary Report. In: 13th international workshop on Non-Monotonic Reasoning, 2010, Toronto. Proceedings of NMR 2010, 2010.
OLIVEIRA, P. T. G. ; WASSERMANN, R. . Revision of CTL Models. In: Ibero-American Conference on Artificial Intelligence, 2010, Bahia Blanca. Proceedings of the 12th Ibero-American Conference on Artificial Intelligence, 2010.
MOGUILLANSKY, M. ; FALAPPA, M. A. ; WASSERMANN, R. . An Argumentation Machinery to Reason over Inconsistent Ontologies. In: Ibero-American Conference on Artificial Intelligence, 2010, Bahia Blanca. Proceedings of the 12th Ibero-American Conference on Artificial Intelligence, 2010.
ATENCIO-TORRES, C. E. ; WASSERMANN, R. . Uma Análise de Técnicas Utilizadas no Aprendizado de Ontologias. In: 3° Seminário de Pesquisa em Ontologia no Brasil, 2010, Florianópolis. Anais do 3° Seminário de Pesquisa em Ontologia no Brasil, 2010.
Ribeiro, M. M. ; WASSERMANN, R. ; Antoniou, G. ; Flouris, G. ; Pan, J. . Belief Contraction in Web-Ontology Languages. In: International Workshop on Ontology Dynamics (IWOD), 2009, Washington. {Proceedings of the International Workshop on Ontology Dynamics (IWOD-2009), 2009.
Marcelo Finger ; WASSERMANN, R. . Revising Specifications with CTL Properties Using Bounded Model Checking. In: Sinpósio Brasileiro de Inteligência Artificial (SBIA), 2008, Salvador. Advances in Artificial Intelligence - SBIA 2008 (LNAI). Berlin/Heidelberg: Springer, 2008. v. 5249. p. 157-166.
Ribeiro, M. M. ; WASSERMANN, R. . The Ontology Reviser Plug-In for Protégé. In: WORKSHOP ON ONTOLOGIES AND THEIR APPLICATIONS (WONTO?2008), 2008, Salvador. Proceedings of Wonto 2008, 2008. p. ??.
Ribeiro, M. M. ; WASSERMANN, R. . Degrees of Recovery and Inclusion in Belief Base Dynamics. In: Twelfth International Workshop on Non-Monotonic Reasoning, 2008, Sydney. Proceedings of NMR-2008, 2008.
Marcio Moretto Ribeiro ; WASSERMANN, R. . Base Revision in Description Logics - Preliminary Results. In: International Workshop on Ontology Dynamics (IWOD), 2007, Innsbruck, Austria. Proceedings of the International Workshop on Ontology Dynamics (IWOD), 2007.
Sousa, Thiago Carvalho de ; WASSERMANN, R. . Handling Inconsistencies in CTL Model-Checking using Belief Revision. In: Simpósio Brasileiro de Métodos Formais, 2007, Ouro Preto. Proceedings of the Tenth Brazilian Symposium in Formal Methods, 2007.
Fabio Kepler ; PAZ-TRILLO, C. ; RIANI, J. ; Marcio Moretto Ribeiro ; Valdivia-Delgado, Karina ; BARROS, L. N. ; WASSERMANN, R. . Classifying Ontologies. In: 2nd Workshop on Ontologies and their Applications (WONTO'2006), 2006, Ribeirão Preto. Anais do Workshop on Ontologies and their Applications, 2006.
Marcio Moretto Ribeiro ; WASSERMANN, R. . First Steps Towards Revising Ontologies. In: 2nd Workshop on Ontologies and their Applications (WONTO'2006), 2006, Ribeirão Preto. Anais do Workshop on Ontologies and their Applications, 2006.
SILVA, F. S. C. ; WASSERMANN, R. ; MELO, A. C. V. ; BARROS, L. N. ; Marcelo Finger . Intelligent mobile multi-robotic systems: some challenges and possible solutions. In: International Conference on Informatics in Control, Automation and Robotics (ICINCO), 2005, Barcelona. Proceedings of the Second International Conference on Informatics in Control, Automation and Robotics, 2005. p. 479-485.
RIANI, J. ; WASSERMANN, R. . Using Relevance to Speed up Inference. In: Simpósio Brasileiro de Inteligência Artificial, 2004, São Luís. Advances in Artificial Intelligence (Lecture Notes in Artificial Intelligence), 2004. v. 3171. p. 21-30.
PAZ-TRILLO, C. ; WASSERMANN, R. ; BRAGA, P. P. . Using Ontologies to Retrieve Video Information. In: Workshop on Ontologies and their Applications, 2004, São Luís. Proceedings of the workshop on Ontologies and their Applications, 2004.
Marcelo Finger ; WASSERMANN, R. . The Universe of Approximations. In: Workshop on Logic, Language, Information and Computation, 2003, Ouro Preto. Anais do Workshop on Logic, Language, Information and Computation, 2003.
WASSERMANN, R. ; Marcelo Finger . Expressivity and Control in Limited Reasoning. In: European Conference on Artificial Intelligence (ECAI), 2002, Lyon. Proceedings of ECAI 2002, 2002.
WASSERMANN, R. ; CHOPRA, S. . Attacking the complexity of prioritized inference -- Preliminary Report. In: Simpósio Brasileiro de Inteligência Artificial, 2002, Porto de Galinhas. Proceedings of the Brazilian Symposium on Artificial Intelligence, 2002.
WASSERMANN, R. ; Marcelo Finger . Logics for Approximate Reasoning: Approximating Classical Logic ``From Above''. In: Simpósio Brasileiro de Inteligência Artificial, 2002, Porto de Galinhas. Proceedings of the Brazilian Symposium on Artificial Intelligence, 2002.
WASSERMANN, R. ; Wagner Dias . Abductive Expansion of Belief Bases. In: IJCAI Workshop on Abductive Reasoning, 2001, Seattle. Proceedings of the IJCAI Workshop on Abductive Reasoning, 2001.
WASSERMANN, R. ; Marcelo Finger . Tableaux for Approximate Reasoning. In: IJCAI Workshop on Inconsistency in Data and Knowledge, 2001, Seattle. Proceedings of the IJCAI Workshop on Inconsistency in Data and Knowledge, 2001.
WASSERMANN, R. ; Marcelo Finger . Approximate Reasoning and Paraconsistency - Preliminary Report. In: Workshop on Logic, Language, Information and Computation, 2001, Brasilia. Proceedings of the 8th Workshop on Logic, Language, Information and Computation, 2001.
WASSERMANN, R. . An Algorithm for Belief Revision. In: Conference on Principles of Knowledge Representation and Reasoning, 2000, Breckenridge. Proceedings of the Conference on Principles of Knowledge Representation and Reasoning, 2000.
WASSERMANN, R. . Local Diagnosis. In: International Workshop on Nonmonotonic Reasoning, 2000, Breckenridge. Proceedings of the Eighth International Workshop on Nonmonotonic Reasonin, 2000.
WASSERMANN, R. ; PARIKH, R. ; CHOPRA, S. . Approximate Belief Revision - A Preliminary Report. In: Workshop on Logic, Language, Information and Comunication, 2000, Natal. Proceedings of the Seventh Workshop on Logic, Language, Information and Comunication, 2000.
WASSERMANN, R. ; CARBOGIM, D. V. . Full Acceptance via Argumentation. In: SBIA/IBERAMIA, 2000, Atibaia. Proceedings of the Discussion Track of SBIA/IBERAMIA, 2000.
WASSERMANN, R. . Full Acceptance Through Argumentation - A Preliminary Report. In: Workshop on Practical Reasoning and Rationality, 1999, Estocolmo. Proceedings of the IJCAI Workshop on Practical Reasoning and Rationality (PRR), 1999.
WASSERMANN, R. . Revising Concepts. In: Workshop of Logic, Language, Information and Computation, 1998, Sao Paulo. Proceedings of WoLLIC, 1998.
WASSERMANN, R. . On Structured Belief Bases - A Preliminary Report. In: International Workshop on Nonmonotonic Reasoning, 1998, Trento. Proceedings of the Belief Revision Workshop, 1998.
WASSERMANN, R. . Towards a Theory of Resource Bounded Belief Revision. In: Dutch-German Workshop in Non-Monotonic Reasoning, 1997, Saarbruecken. Proceedings of the Third Dutch-German Workshop in Non-Monotonic Reasoning, 1997.
WASSERMANN, R. ; SILVA, F. S. C. . Towards Efficient Modelling of Distributed Knowledge Using Equational and Order-Sorted Logic. In: Simposio Brasileiro de Inteligencia Artificial, 1994, Fortaleza. Proceedings of the XI Brazilian Symposium on Artificial Intelligence, 1994.
RESINA, FILLIPE ; GARAPA, MARCO ; Wassermann, Renata ; FERMÉ, EDUARDO ; REIS, MAURÍCIO . Choosing What to Believe - New Results in Selective Revision. In: 17th International Conference on Principles of Knowledge Representation and Reasoning {KR2020}, 2020, Rhodes. Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning, 2020. p. 687.
OLIVEIRA, P. T. G. ; WASSERMANN, R. . Two AGM-Style Characterizations of Model Repair. In: Principles of Knowledge Representation and Reasoning, 2018, Tempe, Arizona. Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning, 2018. p. 645.
Ribeiro, M. M. ; Wassermann, R. . Minimal Change in AGM Revision for Non-classical Logics. In: International Conference on Principles of Knowledge Representation and Reasoning (KR), 2014, Viena. Proceedings of KR2014, 2014.
OLIVEIRA, P. T. G. ; Wassermann, R. . On the Difference Between Revising Models and Revising Specifications. In: Workshop on Logical and Semantic Frameworks with Applications (LSFA), 2013, São Paulo. Proceedings of the Workshop on Logical and Semantic Frameworks with Applications (LSFA), 2013.
Ribeiro, M. M. ; WASSERMANN, R. . More About AGM Revision in Description Logics. In: Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE), 2010, Lisboa. Notes of the Workshop on Automated Reasoning about Context and Ontology Evolution, 2010.
Ribeiro, M. M. ; WASSERMANN, R. . AGM Revision for Description Logics. In: The IJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-09), 2009, Pasadena, CA. Proceedings of ARCOE-09, 2009.
MOGUILLANSKY, M. ; WASSERMANN, R. . Inconsistent-Tolerant DL-Lite Reasoning: An Argumentative Approach. In: The IJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-09), 2009, Pasadena, CA. Proceedings of ARCOE-09, 2009.
WASSERMANN, R. . Inclusion versus Recovery in Belief Base Dynamics. In: Encontro Brasileiro de Lógica (EBL), 2008, Paraty. Anais do EBL, 2008.
Marcio Moretto Ribeiro ; WASSERMANN, R. . On the Relation Between Remainder Sets and Kernels. In: Encontro Brasileiro de Lógica (EBL), 2008, Paraty. Anais do EBL, 2008.
Marcelo Finger ; COZMAN, F. G. ; WASSERMANN, R. . Satisfiability in EL with sets of Probabilistic ABoxes. In: Description Logic Workshop, 2011, Barcelona. Proceedings of the Description Logic Workshop, 2011.
WASSERMANN, R. . Revising Concepts. Logic Journal of the IGPL, v. 6, n.6, 1998.
WASSERMANN, R. ; FERME, E. . A Note on Prototype Revision 1999 (artigo).

Outras produções

Wassermann, R. . Supervisão de Facilitadores Univesp. 2019.

WASSERMANN, R. ; PATRAO, DIOGO F.C. ; Marcelo Finger . Integração de dados clínicos. 2008.

Wassermann, R. . Tópicos Avançados de Direito e Tecnologia da Informação II. 2019. (Curso de curta duração ministrado/Especialização).

Wassermann, R. . Inteligência Artificial. 2018. (Curso de curta duração ministrado/Outra).

Wassermann, R. . Membro do comitê de programa do ARCOE (Automated Reasoning about Context and Ontology Evolution). 2011. (Membro do comitê de programa).

WASSERMANN, R. . Membro do comitê de programa do RuleML (5th International Symposium on Rules). 2011. (Membro do comitê de programa).

WASSERMANN, R. . Membro do comitê de programa do OntoBras-MOST. 2011. (Membro do comitê de programa).

WASSERMANN, R. . Membro do comitê de programa do EvoDyn (Joint Workshop on Knowledge Evolution and Ontology Dynamics). 2011. (Membro do comitê de programa).

WASSERMANN, R. . Membro do comitê de programa do Australasian Joint Conference on Artificial Intelligence. 2011. (Membro do comitê de programa).

WASSERMANN, R. . Membro do comitê de programa do ENIA (Encontro Nacional de Inteligência Artificial). 2011. (Membro do comitê de programa).

Wassermann, R. . Membro do comitê de programa da IJCAI. 2011. (Membro do comitê de programa).

WASSERMANN, R. . Membro do comitê de programa do ARCOE (Automated Reasoning about Context and Ontology Evolution). 2010. (Revisor de trabalhos para conferências).

WASSERMANN, R. . Membro do comitê de programa do IBERAMIA (Ibero-American International Congress on Artiticial Intelligence). 2010. (Revisor de trabalhos para conferências).

WASSERMANN, R. . Membro do comitê de programa do IWOD (International Workshop on Ontology Dynamics). 2010. (Revisor de trabalhos para conferências).

WASSERMANN, R. . Chair do NMROnto (Non-monotonic Reasoning for Ontologies). 2010. (Revisor de trabalhos para conferências).

WASSERMANN, R. . Membro do comitê de programa do VORTE (The Joint 5th International Workshop on Vocabularies, Ontologies and Rules for The Enterprise). 2010. (Revisor de trabalhos para conferências).

WASSERMANN, R. . Membro do comitê de programa do ARCOE (Automated Reasoning about Context and Ontology Evolution). 2009. (Revisor de trabalhos para conferências).

WASSERMANN, R. . Membro do comitê de programa do IWOD (International Workshop on Ontology Dynamics). 2009. (Revisor de trabalhos para conferências).

WASSERMANN, R. . Membro do comitê de programa do MOST-ONISW (The Joint International workshop on Metamodels, Ontologies, Semantic Technologies, and Information Systems for the Semantic Web). 2009. (Revisor de trabalhos para conferências).

WASSERMANN, R. . Membro do comitê de programa do SBIA (Simpósio Brasileiro de Inteligência Artificial). 2008. (Revisor de trabalhos para conferências).

WASSERMANN, R. . Membro do comitê de programa da 21st Australasian Joint Conference on Artificial Intelligence. 2008. (Revisor de trabalhos para conferências).

WASSERMANN, R. . Membro do comitê de programa do IWOD (International Workshop on Ontology Dynamics). 2008. (Revisor de trabalhos para conferências).

WASSERMANN, R. . Membro do comitê de programa do WONTO (Workshop on Ontologies and their Application). 2008. (Revisor de trabalhos para conferências).

WASSERMANN, R. . Revisora da IJCAI 07 (International Joint Conference in Artificial Intelligence). 2007. (Revisor de trabalhos para conferências).

WASSERMANN, R. . Membro do comitê de programa do SBIA/IBERAMIA. 2006. (Revisor de trabalhos para conferências).

WASSERMANN, R. . Membro do comitê de programa do STAIRS (European STarting AI Researcher Symposium). 2006. (Revisor de trabalhos para conferências).

WASSERMANN, R. . Membro do comitê de programa do WONTO (Workshop on Ontologies and their Applications ). 2006. (Revisor de trabalhos para conferências).

WASSERMANN, R. . Membro do comitê de programa do KSCE (Knowledge Sharing and Collaborative Engineering). 2006. (Revisor de trabalhos para conferências).

WASSERMANN, R. . Membro do comitê de programa do Workshop on Rationality and Knowledge. 2006. (Revisor de trabalhos para conferências).

WASSERMANN, R. . Raciocínio Aproximado. 2005. (Curso de curta duração ministrado/Extensão).

WASSERMANN, R. ; Herzig, Andreas . Belief Change, from AGM to realistic models. 2001. (Curso de curta duração ministrado/Extensão).

WASSERMANN, R. ; FERME, E. ; CHOPRA, S. . Belief Revision: From AGM to Computational Models. 2000. (Curso de curta duração ministrado/Extensão).

Projetos de pesquisa

2014 - Atual

Revisão de modelos, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Renata Wassermann - Coordenador / Paulo de Tarso Guerra Oliveira - Integrante / Aline Andrade - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2013 - 2015

LoRMAE ? Logics for Reasoning in Multi-Agent Environments, Descrição: Multi-agent environments are inhabited by various ?autonomous agents?. These are are entities capable of acting autonomously, i.e., without external intervention, in order to meet their design objec- tives. Although single-agent environments have been studied for a long time, studies about multi-agent environments are relatively new. This kind of environment brings new issues to be dealt with, such as non-deterministic actions, competition and cooperation among agents. Current solutions treat such is- sues by using some kind of multi-modal logic. But these logics present two important limitations: they do not allow efficient representations and they do not allow efficient reasoning. By applying some tech- niques previously studied by us, we intend to design new logics that overcome these limitations. The project aims (1) to develop formal languages able to represent multi-agent environments; (2) to develop formal methods by means of which multi-agent reasoning tasks can be performed; and (3) to imple- ment such methods in software prototypes. The proposal involves two Brazilian partners, the Institute of Mathematics and Statistics of the University of São Paulo (IME-USP) and the School of Arts, Science and Humanities (EACH-USP), as well as two French partners, the Toulouse Computer Science Research Institute (IRIT-CNRS) and the Computer Science Research Center of Lens (CRIL-CNRS).. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Renata Wassermann - Coordenador / Marcelo Finger - Integrante / Marcio Moretto Ribeiro - Integrante / Andreas Herzig - Integrante / Tiago de Lima - Integrante.
2011 - 2013

OnAIR 2.0, Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (2) . , Integrantes: Renata Wassermann - Coordenador / Fábio Kon - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
2010 - 2012

Revisão de Crenças em Lógicas Não Clássicas, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Renata Wassermann - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2009 - 2012

LogProb, Descrição: Projeto Temático. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Renata Wassermann - Integrante / Marcelo Finger - Coordenador / Leliane Nunes de Barros - Integrante / Paulo Eduardo Santos - Integrante / Fabio Gagliardi Cozman - Integrante / Anna Helena Reali Costa - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
2008 - 2010

Revisão de Especificações Formais, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Renata Wassermann - Coordenador / Marcelo Finger - Integrante / Mario Roberto Folhadela Benevides - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2005 - 2009

Logical Consequence and Combination of Logics, Descrição: Projeto temático FAPESP 2004/14107-2.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Renata Wassermann - Integrante / Marcelo Finger - Integrante / Walter Alexandre Carnielli - Coordenador / Marcelo Esteban Coniglio - Integrante / Marcio Moretto Ribeiro - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
2003 - 2005

Knowledge Sharing and Communication among Heterogeneous Autonomous Intelligent Agents, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Renata Wassermann - Integrante / Flavio Soares Correa da Silva - Coordenador / Marcelo Finger - Integrante / Ana Cristina Vieira de Melo - Integrante / Leliane Nunes de Barros - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
2003 - 2005

BIBO Intelligent Search Based on Ontologies, Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (4) . , Integrantes: Renata Wassermann - Coordenador / Flavio Soares Correa da Silva - Integrante / Leliane Nunes de Barros - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 3
2001 - 2002

Lógicas não Monotônicas para Modelos Alternativos de Revisão de Crenças, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Renata Wassermann - Coordenador / Eduardo Fermé - Integrante., Financiador(es): Universidade de Buenos Aires - Cooperação / VITAE - Auxílio financeiro / Fundación Antorchas - Auxílio financeiro.
2001 - 2002

Provadores de Teorema Livres de Estrutura e Revisão de Crenças, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Renata Wassermann - Integrante / Marcelo Finger - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 4
1996 - 1998

Reasoning with Uncertainty, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Renata Wassermann - Integrante / Michiel van Lambalgen - Coordenador., Financiador(es): Nederlandse Organisatie voor Wetenschappelijk Onderzoek - Auxílio financeiro / Universidade de Amsterdã - Cooperação.

Projetos de desenvolvimento

2003 - 2004

ECLIPSE IDE for CIAO PROLOG, Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Renata Wassermann - Coordenador / Flavio Soares Correa da Silva - Integrante., Financiador(es): IBM - Bolsa.Número de orientações: 1
2003 - 2004

ECLIPSE IDE for CIAO PROLOG, Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Renata Wassermann - Coordenador / Flavio Soares Correa da Silva - Integrante., Financiador(es): IBM - Bolsa.Número de orientações: 1
2003 - 2004

ECLIPSE IDE for CIAO PROLOG, Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Renata Wassermann - Coordenador / Flavio Soares Correa da Silva - Integrante., Financiador(es): IBM - Bolsa.Número de orientações: 1
2003 - 2004

ECLIPSE IDE for CIAO PROLOG, Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Renata Wassermann - Coordenador / Flavio Soares Correa da Silva - Integrante., Financiador(es): IBM - Bolsa.Número de orientações: 1
2003 - 2004

ECLIPSE IDE for CIAO PROLOG, Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Renata Wassermann - Coordenador / Flavio Soares Correa da Silva - Integrante., Financiador(es): IBM - Bolsa.Número de orientações: 1
2003 - 2004

ECLIPSE IDE for CIAO PROLOG, Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Renata Wassermann - Coordenador / Flavio Soares Correa da Silva - Integrante., Financiador(es): IBM - Bolsa.Número de orientações: 1
2003 - 2004

ECLIPSE IDE for CIAO PROLOG, Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Renata Wassermann - Coordenador / Flavio Soares Correa da Silva - Integrante., Financiador(es): IBM - Bolsa.Número de orientações: 1
2003 - 2004

ECLIPSE IDE for CIAO PROLOG, Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Renata Wassermann - Coordenador / Flavio Soares Correa da Silva - Integrante., Financiador(es): IBM - Bolsa.Número de orientações: 1
2003 - 2004

ECLIPSE IDE for CIAO PROLOG, Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Renata Wassermann - Coordenador / Flavio Soares Correa da Silva - Integrante., Financiador(es): IBM - Bolsa.Número de orientações: 1
2003 - 2004

ECLIPSE IDE for CIAO PROLOG, Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Renata Wassermann - Coordenador / Flavio Soares Correa da Silva - Integrante.Financiador(es): IBM - Bolsa.Número de orientações: 1
2003 - 2004

ECLIPSE IDE for CIAO PROLOG, Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Renata Wassermann - Coordenador / Flavio Soares Correa da Silva - Integrante., Financiador(es): IBM - Bolsa.Número de orientações: 1
2003 - 2004

ECLIPSE IDE for CIAO PROLOG, Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Renata Wassermann - Coordenador / Flavio Soares Correa da Silva - Integrante., Financiador(es): IBM - Bolsa.Número de orientações: 1
2003 - 2004

ECLIPSE IDE for CIAO PROLOG, Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Renata Wassermann - Coordenador / Flavio Soares Correa da Silva - Integrante., Financiador(es): IBM - Bolsa.Número de orientações: 1
2003 - 2004

ECLIPSE IDE for CIAO PROLOG, Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Renata Wassermann - Coordenador / Flavio Soares Correa da Silva - Integrante., Financiador(es): IBM - Bolsa., Número de produções C, T & A: 1
2003 - 2004

ECLIPSE IDE for CIAO PROLOG, Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Renata Wassermann - Coordenador / Flavio Soares Correa da Silva - Integrante., Financiador(es): IBM - Bolsa., Número de produções C, T & A: 1

Histórico profissional

Endereço profissional

Universidade de São Paulo, Instituto de Matemática e Estatística. , Rua do Matao 1010, Cidade Universitaria, 05508090 - São Paulo, SP - Brasil, Telefone: (011) 30919687, Fax: (011) 30916134, URL da Homepage:

Experiência profissional

2006 - Atual

Universidade de São Paulo

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

2001 - 2006

Universidade de São Paulo

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

Atividades

01/2003
Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.,Cargo ou função, Membro da comissão de admissão e bolsas da pós-graduação.
01/2003
Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.,Cargo ou função, Membro da comissão de dispensas.
01/2001
Ensino, Bacharelado em Ciencia da Computacao, Nível: Graduação,Disciplinas ministradas, Estruturas de Dados, Introducao a Computacao, Introdução à Inteligência Artificial
01/2001
Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.,Cargo ou função, Membro do conselho do departamento.
01/2000
Pesquisa e desenvolvimento, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.,Linhas de pesquisa
01/2000
Ensino, Ciencia da Computacao, Nível: Pós-Graduação,Disciplinas ministradas, Raciocínio sobre Conhecimento, Introdução à Inteligência Artificial, Laboratório de Inteligência Artificial, Topicos de Inteligencia Artificial

1995 - 2000

Universidade de Amsterdã

Vínculo: Colaborador, Enquadramento Funcional: pesquisadora visitante