Departamento de Ciência da Computação

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

  • http://lattes.cnpq.br/8548608291351316 (04/11/2022)
  • Rótulo/Grupo:
  • Bolsa CNPq:
  • Período de análise:
  • Endereço: 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
  • Grande área: Ciências Exatas e da Terra
  • Área: Ciência da Computação
  • Citações: Google Acadêmico

Produção bibliográfica

Produção técnica

Produção artística

Orientações em andamento

Supervisões e orientações concluídas

Projetos de pesquisa

Prêmios e títulos

Participação em eventos

Organização de eventos

Lista de colaborações


Produção bibliográfica

Produção técnica

Produção artística

Orientações em andamento

Supervisões e orientações concluídas

Projetos de pesquisa

  • Total de projetos de pesquisa (11)
    1. 2014-Atual. Revisao 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.
      Membro: Renata Wassermann.
    2. 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.
      Membro: Renata Wassermann.
    3. 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.
      Membro: Renata Wassermann.
    4. 2010-2012. Revisao de Crencas em Logicas Nao Classicas
      Situação: Em andamento; Natureza: Pesquisa. Integrantes: Renata Wassermann - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
      Membro: Renata Wassermann.
    5. 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.
      Membro: Renata Wassermann.
    6. 2008-2010. Revisao de Especificacoes 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.
      Membro: Renata Wassermann.
    7. 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.
      Membro: Renata Wassermann.
    8. 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.
      Membro: Renata Wassermann.
    9. 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
      Membro: Renata Wassermann.
      Descrição: The main goal of the project is to study and evaluate new techniques that have been developped in the context of the Semantic-web. The idea behind the Semantic-web is that, instead of having web content available as natural language texts together with HTML, one could use a "semantic" mark-up language in order to make these contents available for automatic processing. One of the key elements for these new mark-up languages is the use of formally described domain ontologies. The use of ontologies is seen now in Artificial Intelligence as the key to efficient search and retrieval of data. In this context, we are developping several small systems using ontologies. One application we have in mind is the use of CNPq's Lattes CV's, which can be obtained in XML format, in order to search for publications and research groups.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (1) . Integrantes: Leliane Nunes de Barros - Integrante / Flavio Soares Correa da Silva - Integrante / Renata Wasserman - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Número de produções C, T & A: 4
      Membro: Leliane Nunes de Barros.
    10. 2001-2002. Provadores de Teorema Livres de Estrutura e Revisao de Crencas
      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
      Membro: Renata Wassermann.
    11. 2001-2002. Logicas nao Monotonicas para Modelos Alternativos de Revisao de Crencas
      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.
      Membro: Renata Wassermann.

Prêmios e títulos

  • Total de prêmios e títulos (0)

    Participação em eventos

    • Total de participação em eventos (8)
      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).

    Organização de eventos

    • Total de organização de eventos (0)

      Lista de colaborações

      • Colaborações endôgenas (5)
        • Renata Wassermann ⇔ Marcelo Finger (9.0)
          1. Marcelo Finger ; WASSERMANN, R.. The universe of propositional approximations. THEORETICAL COMPUTER SCIENCE. v. 355, n. 2, p. 153-166, issn: 0304-3975, 2006.
            [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
            Qualis: A4
          2. Marcelo Finger ; WASSERMANN, R.. Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. Journal of Logic and Computation (Print). v. 14, n. 2, p. 179-204, issn: 0955-792X, 2004.
            [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
            Qualis: Não identificado (JOURNAL OF LOGIC AND COMPUTATION (PRINT))
          3. De Bona, Glauber ; Finger, Marcelo ; RIBEIRO, M. M. ; SANTOS, Y. D. ; WASSERMANN, R.. Consolidating Probabilistic Knowledge Bases via Belief Contraction. Em: KR2016 - 15th International Conference on Principles of Knowledge Representation and Reasoning, p. 125-134, 2016.
            [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
            Qualis: Não identificado (KR2016 - 15th International Conference on Principles of Knowledge Representation and Reasoning)
          4. PATRAO, D. F. C. ; BRENTANI, H. ; Finger, Marcelo ; WASSERMANN, R.. Ontocloud ? a clinical information ontology based data integration system. Em: Ontobras, p. 118-129, 2013.
            [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
            Qualis: Não identificado (Ontobras)
          5. Marcelo Finger ; WASSERMANN, R.. Revising Specifications with CTL Properties Using Bounded Model Checking. Em: Sinpósio Brasileiro de Inteligência Artificial (SBIA), v. 5249, p. 157-166, 2008.
            [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
            Qualis: Não identificado (Sinpósio Brasileiro de Inteligência Artificial (SBIA))
          6. CORREA DA SILVA, F. S.; WASSERMAN, Renata ; MELO, Ana Cristina Vieira de ; BARROS, Leliane Nunes de ; FINGER, Marcelo. Intelligent mobile multi-robotic systems: some challenges and possible solutions. Em: 2nd International Conference on Informatics in Control, v. 0, p. 479-485, 2005.
            [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
            Qualis: Não identificado (2nd International Conference on Informatics in Control)
          7. Marcelo Finger ; WASSERMANN, R.. The Universe of Approximations. Em: Workshop on Logic, v. 84, p. 1-14, 2003.
            [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
            Qualis: Não identificado (Workshop on Logic)
          8. WASSERMANN, R.; Marcelo Finger. Expressivity and Control in Limited Reasoning. Em: 15th European Conference on Artificial Intelligence (ECAI02), p. 72-76, 2002.
            [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
            Qualis: Não identificado (15th European Conference on Artificial Intelligence (ECAI02))
          9. WASSERMANN, R.; Marcelo Finger. Tableaux for Approximate Reasoning. Em: IJCAI-2001 Workshop on Inconsistency in Data and Knowledge, p. 71-79, 2001.
            [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
            Qualis: Não identificado (IJCAI-2001 Workshop on Inconsistency in Data and Knowledge)

        • Renata Wassermann ⇔ Leliane Nunes de Barros (3.0)
          1. Herzig, Andreas ; MENEZES, V. ; BARROS, L. N. ; WASSERMANN, R.. On the revision of planning tasks. Em: European Conference on Artificial Intelligence (ECAI 2014), v. 263, p. 435-440, 2014.
            [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
            Qualis: Não identificado (European Conference on Artificial Intelligence (ECAI 2014))
          2. Fabio Kepler ; PAZ-TRILLO, C. ; RIANI, J. ; Marcio Moretto Ribeiro ; Valdivia-Delgado, Karina ; BARROS, L. N. ; WASSERMANN, R.. Classifying Ontologies. Em: 2nd Workshop on Ontologies and their Applications (WONTO'2006), 2006.
            [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
            Qualis: Não identificado (2nd Workshop on Ontologies and their Applications (WONTO'2006))
          3. CORREA DA SILVA, F. S.; WASSERMAN, Renata ; MELO, Ana Cristina Vieira de ; BARROS, Leliane Nunes de ; FINGER, Marcelo. Intelligent mobile multi-robotic systems: some challenges and possible solutions. Em: 2nd International Conference on Informatics in Control, v. 0, p. 479-485, 2005.
            [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
            Qualis: Não identificado (2nd International Conference on Informatics in Control)

        • Renata Wassermann ⇔ Fabio Kon (1.0)
          1. CÓBE, Raphael M. O. ; KON, F. ; WASSERMANN, R.. Ontology Merging: on the confluence between theoretical and pragmatic approaches. Em: Seminário de Pesquisa em Ontologias do Brasil (ONTOBRAS), v. 1, p. 1, 2011.
            [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
            Qualis: Não identificado (Seminário de Pesquisa em Ontologias do Brasil (ONTOBRAS))

        • Renata Wassermann ⇔ Flavio Soares Correa da Silva (1.0)
          1. CORREA DA SILVA, F. S.; WASSERMAN, Renata ; MELO, Ana Cristina Vieira de ; BARROS, Leliane Nunes de ; FINGER, Marcelo. Intelligent mobile multi-robotic systems: some challenges and possible solutions. Em: 2nd International Conference on Informatics in Control, v. 0, p. 479-485, 2005.
            [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
            Qualis: Não identificado (2nd International Conference on Informatics in Control)

        • Renata Wassermann ⇔ Kelly Rosa Braghetto (1.0)
          1. AGENA, B. T. ; ARAUJO, T. H. D. ; BRAGHETTO, K. R. ; WASSERMANN, R.. OntoMongo - Ontology-Based Data Access for NoSQL. Em: IX Seminar on Ontology Research in Brazil, v. 1908, p. 55-66, 2017.
            [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
            Qualis: Não identificado (IX Seminar on Ontology Research in Brazil)




      (*) Relatório criado com produções desde 2000 até 2024
      Data de processamento: 22/04/2024 18:50:40