Renata Wassermann

  • Endereço para acessar este CV: http://lattes.cnpq.br/8548608291351316
  • Última atualização do currículo em 11/10/2018


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. (Texto informado pelo autor)


Identificação


Nome
Renata Wassermann
Nome em citações bibliográficas
WASSERMANN, R.;Wassermann, R.;Wassermann, Renata

Endereço


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: www.ime.usp.br/~renata


Formação acadêmica/titulação


1995 - 1999
Doutorado em Ciência da Computação.
Universiteit van Amsterdam, UvA, Holanda.
Título: Resource Bounded Belief Revision, Ano de obtenção: 2000.
Orientador: Hans Rott.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
1993 - 1995
Mestrado em Matemática Aplicada.
Universidade de São Paulo, USP, Brasil.
Título: A Lógica das Estruturas de Features e suas Aplicações,Ano de Obtenção: 1995.
Orientador: Flávio Soares Corrêa da Silva.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
1988 - 1991
Graduação em Bacharelado em Ciencia da Computacao.
Universidade de São Paulo, USP, Brasil.


Pós-doutorado e Livre-docência


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


Atuação Profissional



Universidade de São Paulo, USP, Brasil.
Vínculo institucional

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

Vínculo institucional

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

Atividades

2003 - Atual
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.
2003 - Atual
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.
2001 - Atual
Ensino, Bacharelado em Ciencia da Computacao, Nível: Graduação

Disciplinas ministradas
Estruturas de Dados
Introducao a Computacao
Introdução à Inteligência Artificial
2001 - Atual
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.
2000 - Atual
Pesquisa e desenvolvimento , Instituto de Matemática e Estatística, Departamento de Ciência da Computação.

2000 - Atual
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

Universidade de Amsterdã, UVA, Holanda.
Vínculo institucional

1995 - 2000
Vínculo: Colaborador, Enquadramento Funcional: pesquisadora visitante



Linhas de pesquisa


1.
Grupo de Inteligencia Artificial


Projetos de pesquisa


2014 - Atual
Revisão de modelos
Situação: Em andamento; Natureza: Pesquisa.
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.
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.
2009 - 2012
LogProb
Descrição: Projeto Temático.
Situação: Em andamento; Natureza: Pesquisa.
2008 - 2010
Revisão de Especificações Formais
Situação: Em andamento; Natureza: Pesquisa.
2005 - 2009
Logical Consequence and Combination of Logics
Descrição: Projeto temático FAPESP 2004/14107-2..
Situação: Em andamento; Natureza: Pesquisa.
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 orientações: 3
2003 - 2005
Knowledge Sharing and Communication among Heterogeneous Autonomous Intelligent Agents
Situação: Em andamento; Natureza: Pesquisa.
2001 - 2002
Provadores de Teorema Livres de Estrutura e Revisão de Crenças
Situação: Concluído; Natureza: Pesquisa.
2001 - 2002
Lógicas não Monotônicas para Modelos Alternativos de Revisão de Crenças
Situação: Concluído; Natureza: Pesquisa.
1996 - 1998
Reasoning with Uncertainty
Situação: Concluído; Natureza: Pesquisa.


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


Revisor de periódico


2000 - Atual
Periódico: Journal of Logic and Computation
2000 - Atual
Periódico: Studia Logica
2005 - Atual
Periódico: Journal of the Brazilian Computer Society
2000 - Atual
Periódico: Theoria (Lund)
2000 - Atual
Periódico: Synthese (Dordrecht)
2004 - Atual
Periódico: Journal of Applied Non-Classical Logics
2000 - Atual
Periódico: Artificial Intelligence
2010 - Atual
Periódico: Journal of Web Semantics
2010 - Atual
Periódico: Journal of Philosophical Logic
2009 - Atual
Periódico: Journal of Artificial Intelligence Research
2010 - Atual
Periódico: Knowledge-Based Systems
2009 - Atual
Periódico: Annals of Mathematics and Artificial Intelligence
2007 - Atual
Periódico: Journal of Universal Computer Science


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Inteligencia Artificial.
2.
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.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Alemão
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Francês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Pouco.
Espanhol
Compreende Bem, Fala Bem, Lê Bem, Escreve Pouco.
Italiano
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Pouco.
Holandês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Produções



Produção bibliográfica
Citações

SCOPUS

Artigos completos publicados em periódicos

1.
SANTOS, YURI DAVID2018SANTOS, 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.

2.
FERMÉ, EDUARDO2018FERMÉ, EDUARDO ; Wassermann, Renata . On the logic of theory change: iteration of expansion. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (IMPRESSO), v. 24, p. 8, 2018.

3.
Wassermann, Renata2015Wassermann, Renata; Marcio Moretto Ribeiro . Bringing AGM to Computer Science. south american journal of logic, v. 1, p. 8, 2015.

4.
ROCHA, VLADIMIR2014ROCHA, 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.

5.
Marcio Moretto Ribeiro2013Marcio Moretto Ribeiro ; Wassermann, R. ; Flouris, G. ; Antoniou, G. . Minimal change: Relevance and recovery revisited. Artificial Intelligence (General Ed.), v. 201, p. 59-80, 2013.

6.
Delgrande, J.2013Delgrande, J. ; Wassermann, R. . Horn Clause Contraction Functions. The Journal of Artificial Intelligence Research (Print), v. 48, p. 475-511, 2013.

7.
Moguillansky, M. O.2012Moguillansky, 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.

8.
Booth, R.2011Booth, 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.

9.
Wassermann, Renata2011Wassermann, Renata. On AGM for Non-Classical Logics. Journal of Philosophical Logic, v. 40, p. 271-294, 2011.

10.
Ribeiro, M. M.2009Ribeiro, M. M. ; Wassermann, R. . Base Revision for Ontology Debugging. Journal of Logic and Computation, v. 19, p. 721-743, 2009.

11.
Marcelo Finger2007Marcelo Finger ; WASSERMANN, R. . Anytime Approximations of Classical Logics from Above. Journal of Logic and Computation, v. 17, p. 53-82, 2007.

12.
Marcelo Finger2006Marcelo Finger ; WASSERMANN, R. . The Universe of Propositional Approximations. Theoretical Computer Science, v. 355, n.2, p. 153-166, 2006.

13.
PAZ-TRILLO, C.2005PAZ-TRILLO, C. ; WASSERMANN, R. ; BRAGA, P. P. . An Information Retrieval Application using Ontologies. Journal of the Brazilian Computer Society, v. 11, n.2, p. 17-31, 2005.

14.
Marcelo Finger2004Marcelo 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.

15.
WASSERMANN, R.;Wassermann, R.;Wassermann, Renata2003WASSERMANN, R.. Generalized Change and the Meaning of Rationality Postulates. Studia Logica, v. 73, n.2, p. 299-319, 2003.

16.
Marcelo Finger2003Marcelo Finger ; WASSERMANN, R. . The Universe of Approximations. Electronic Notes in Theoretical Computer Science, v. 84, 2003.

17.
HANSSON, S. O.2002 HANSSON, S. O. ; WASSERMANN, R. . Local Change. Studia Logica, v. 70, n.1, p. 49-76, 2002.

18.
WASSERMANN, R.;Wassermann, R.;Wassermann, Renata2001WASSERMANN, R.. Local Diagnosis. Journal of Applied Non-Classical Logics, v. 11, n.1-2, p. 107-129, 2001.

19.
CHOPRA, S.2001 CHOPRA, S. ; PARIKH, R. ; WASSERMANN, R. . Approximate Belief Revision. Logic Journal of the IGPL, v. 9, n.6, p. 755-768, 2001.

20.
WASSERMANN, R.;Wassermann, R.;Wassermann, Renata1999 WASSERMANN, R.. Resource Bounded Belief Revision. Erkenntnis, v. 50, n.2-3, p. 429-446, 1999.

Capítulos de livros publicados
1.
WASSERMANN, R.. On Structured Belief Bases. In: Hans Rott, Mary-Anne Williams. (Org.). Frontiers in Belief Revision. : Kluwer, 2001, v. , p. -.

Trabalhos completos publicados em anais de congressos
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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

30.
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. ??.

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

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

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

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

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

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

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

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

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

40.
WASSERMANN, R.; Marcelo Finger . Expressivity and Control in Limited Reasoning. In: European Conference on Artificial Intelligence (ECAI), 2002, Lyon. Proceedings of ECAI 2002, 2002.

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

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

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

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

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

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

47.
WASSERMANN, R.. Local Diagnosis. In: International Workshop on Nonmonotonic Reasoning, 2000, Breckenridge. Proceedings of the Eighth International Workshop on Nonmonotonic Reasonin, 2000.

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

49.
WASSERMANN, R.; CARBOGIM, D. V. . Full Acceptance via Argumentation. In: SBIA/IBERAMIA, 2000, Atibaia. Proceedings of the Discussion Track of SBIA/IBERAMIA, 2000.

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

51.
WASSERMANN, R.. Revising Concepts. In: Workshop of Logic, Language, Information and Computation, 1998, Sao Paulo. Proceedings of WoLLIC, 1998.

52.
WASSERMANN, R.. On Structured Belief Bases - A Preliminary Report. In: International Workshop on Nonmonotonic Reasoning, 1998, Trento. Proceedings of the Belief Revision Workshop, 1998.

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

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

Resumos expandidos publicados em anais de congressos
1.
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.

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

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

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

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

6.
WASSERMANN, R.. Inclusion versus Recovery in Belief Base Dynamics. In: Encontro Brasileiro de Lógica (EBL), 2008, Paraty. Anais do EBL, 2008.

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

Resumos publicados em anais de congressos
1.
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.

Resumos publicados em anais de congressos (artigos)
1.
WASSERMANN, R.;Wassermann, R.;Wassermann, Renata1998WASSERMANN, R.. Revising Concepts. Logic Journal of the IGPL, v. 6, n.6, 1998.

Outras produções bibliográficas
1.
WASSERMANN, R.; FERME, E. . A Note on Prototype Revision 1999 (artigo).


Produção técnica
Assessoria e consultoria
1.
WASSERMANN, R.; PATRAO, DIOGO F.C. ; Marcelo Finger . Integração de dados clínicos. 2008.

Trabalhos técnicos

Demais tipos de produção técnica
1.
Wassermann, R.. Membro do comitê de programa da IJCAI. 2011. (Membro do comitê de programa).

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

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

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

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

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

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

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

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

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

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

12.
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).

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

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

15.
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).

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

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

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

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

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

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

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

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

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

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

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

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

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



Bancas



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

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

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

4.
SILVA, F. S. C.; WASSERMANN, R.; Lobo Netto, M.. Participação em banca de Ary Fagundes Bressane Neto. 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.

5.
Freitas, F. L. G.; Oliveira, A. G.; WASSERMANN, R.. Participação em banca de Menandro Ribeiro Santana. 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.

6.
SICHMAN, J. S.; Dignum, \v.; WASSERMANN, R.. Participação em banca de Luis Gustavo Nardin. 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.

7.
SILVA, F. S. C.; WASSERMANN, R.; CLUA, E.W.G.. Participação em banca de Filipe Correa Lima da Silva. 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.

8.
SANTOS, P. E.; TONIDANDEL, F.; WASSERMANN, R.. Participação em banca de Rodolfo Coura de Brito. Interpretação de sequências de imagem baseado em uma semântica de caminhos. 2008. Dissertação (Mestrado em Engenharia Elétrica) - Fundação Educacional Inaciana Padre Sabóia de Medeiros.

9.
ZAVERUCHA, G.; BENEVIDES, M. R. F.; VELOSO, S. R. M.; WASSERMANN, R.. Participação em banca de Ana Luísa de Cerqueira Leite Duboc. 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.

10.
Marcelo Finger; WASSERMANN, R.; BENEVIDES, M. R. F.. Participação em banca de Guilherme de Souza Rabello. Aproximações de Lógicas Modais. 2005. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.

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

12.
WASSERMANN, R.; CARNIELLI, W. A.; CONIGLIO, M. E.. Participação em banca de Denise Maria Maldonaldo Cunha. 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.

13.
WASSERMANN, R.; MELO, A. C. V.; MOURA, H. P.. Participação em banca de Adilson de Jesus Sanchez. 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.

14.
WASSERMANN, R.; BITTENCOURT, G.; SOBRAL, J. B. M.; STEMMER, M. R.. Participação em banca de Tércio de Morais Sampaio Silva. 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.

15.
Marcelo Finger; WASSERMANN, R.; NUNES, M. G. V.. Participação em banca de Fabiano de Carvalho e Sousa. 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.

16.
WASSERMANN, R.; CASTILHO, M. A.; DONADELLI JR., J.. Participação em banca de Roberta Vanessa Rojo. 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á.

17.
WASSERMANN, R.; BENEVIDES, M. R. F.; VELOSO, S. R. M.. Participação em banca de Michel de Almeida Carlini. 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.

18.
WASSERMANN, R.; SILVA, F. S. C.; MONARD, M. C.. Participação em banca de Eudenia Xavier Menezes. 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.

19.
WASSERMANN, R.; CARNIELLI, W. A.; Marcelo Finger. Participação em banca de Wagner Dias. 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.

20.
WASSERMANN, R.; CARNIELLI, W. A.; CONIGLIO, M. E.. Participação em banca de Víctor Leandro Fernández. 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.

Teses de doutorado
1.
Marcelo Finger; COZMAN, F. G.; WASSERMANN, R.; BENEVIDES, M. R. F.; SANTOS, P. E.. Participação em banca de Alexandre Matos Arruda. 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.

2.
FERREIRA, J. E.; WASSERMANN, R.; SALGADO, A. C. B.; ITALIANO, I. C.; OIAKAWA, M. K.. Participação em banca de Pedro Losco Takecian. 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.

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

4.
PAGNUCCO, M.; Delgrande, J.; WASSERMANN, R.. Participação em banca de Zhiqiang Zhuang. Belief Revision Under the Horn Fragment of Propositional Logic. 2012. Tese (Doutorado em Computer Science) - University of New South Wales.

5.
COZMAN, F. G.; REVOREDO, K.; IDE, J. S.; BARROS, L. N.; WASSERMANN, R.. Participação em banca de Ricardo Shirota Filho. 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.

6.
REVOREDO, K.; Silva, J. R.; MARUYAMA, N.; WASSERMANN, R.; COZMAN, F. G.. Participação em banca de JOSÉ EDUARDO OCHOA LUNA. 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.

7.
FOO, N.; Meyer, T.; WANG, K.; PEPPAS, P.; WASSERMANN, R.. Participação em banca de Kevin Lee. Inconsistency Management for Description Logics. 2010. Tese (Doutorado em Computer Science) - University of New South Wales.

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

Qualificações de Doutorado
1.
Oliveira, A. G.; VIEIRA, R.; WASSERMANN, R.. Participação em banca de Ryan Ribeiro de Azevedo. 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.

2.
MOREIRA, A. F.; BORDINI, R.; BAZZAN, A. L. C.; WASSERMANN, R.. Participação em banca de Marlo Vieira dos Santos e Souza. 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.

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

4.
Marcelo Finger; WASSERMANN, R.; SILVA, F. S. C.. Participação em banca de Adolfo Gustavo Serra Seco Neto. A multi-strategy tableau prover. 2005. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade de São Paulo.

5.
WASSERMANN, R.; BITTENCOURT, G.; PIERI, E. R.; ROISENBERG, M.; COSTA, R. C.. Participação em banca de Jerusa Marchi. 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.

Trabalhos de conclusão de curso de graduação
1.
WASSERMANN, R.; FERME, E.; BECHER, V.. Participação em banca de Juan mikalef e Jorge Taboada.Funciones de Credibilidad Limitada. 2001 - Universidade de Buenos Aires.



Participação em bancas de comissões julgadoras
Concurso público
1.
WASSERMANN, R.. Concurso de Contratação de Professor Doutor. 2018. Universidade Federal do Paraná.

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



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Workshop on Belief Revision and Dynamic Logic. Membro do comitê de programa do Workshop on Belief Revision and Dynamic Logic. 2005. (Congresso).

2.
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).

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

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

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

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

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

8.
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).

9.
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).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Vinícius Bitencourt Matos. A definir. Início: 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

Tese de doutorado
1.
Jandson Santos Ribeiro. Revisão de modelos em lógica temporal. Início: 2016. 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).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Barbara 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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Tese de doutorado
1.
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.

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

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

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

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

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

Supervisão de pós-doutorado
1.
Aline Andrade. 2013. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. Renata Wassermann.

2.
Marta Ruiz Costa-jussà. 2012. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. Renata Wassermann.

Trabalho de conclusão de curso de graduação
1.
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.

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

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

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

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

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

Iniciação científica
1.
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.

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

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

4.
Flavio Protasio 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.

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

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

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

8.
Flavio Protasio 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.

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




Página gerada pelo Sistema Currículo Lattes em 20/10/2018 às 15:07:56