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

Artigos completos publicados em periódicos (22)
1. GUERRA, Paulo T. ; WASSERMANN, R.. Revising System Specifications in Temporal Logic. Journal of Logic Language and Information. v. 31, p. s1084902209379, issn: 0925-8531, 2022.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (JOURNAL OF LOGIC LANGUAGE AND INFORMATION)
2. GUERRA, Paulo T. ; WASSERMANN, R.. Two AGM-style characterizations of model repair. Annals of Mathematics and Artificial Intelligence (Dordrecht. Online). v. -, p. 1-25, issn: 1573-7470, 2019.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE (DORDRECHT. ONLINE))
3. 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, issn: 0888-613X, 2018.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A1
4. FERMÉ, EDUARDO ; Wassermann, Renata. On the logic of theory change: iteration of expansion. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (IMPRESSO). v. 24, p. 8, issn: 0104-6500, 2018.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: B1
5. 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, issn: 2446-6719, 2018.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: B2
6. Wassermann, Renata; Marcio Moretto Ribeiro. Bringing AGM to Computer Science. south american journal of logic. v. 1, p. 8, issn: 9999-999X, 2015.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: B2
7. 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, issn: 0010-485X, 2014.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A2
8. Marcio Moretto Ribeiro ; Wassermann, R. ; Flouris, G. ; Antoniou, G.. Minimal change: Relevance and recovery revisited. Artificial Intelligence (General Ed.). v. 201, p. 59-80, issn: 0004-3702, 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A1
9. Delgrande, J. ; Wassermann, R.. Horn Clause Contraction Functions. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH. v. 48, p. 475-511, issn: 1076-9757, 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A2
10. 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, issn: 1368-9894, 2012.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A2
11. Wassermann, Renata. On AGM for Non-Classical Logics. Journal of Philosophical Logic. v. 40, p. 271-294, issn: 0022-3611, 2011.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (JOURNAL OF PHILOSOPHICAL LOGIC)
12. 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, issn: 1076-9757, 2011.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A2
13. Ribeiro, M. M. ; Wassermann, R.. Base Revision for Ontology Debugging. JOURNAL OF LOGIC AND COMPUTATION. v. 19, p. 721-743, issn: 0955-792X, 2009.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A3
14. 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
15. Marcelo Finger ; WASSERMANN, R.. Anytime Approximations of Classical Logic from Above. JOURNAL OF LOGIC AND COMPUTATION. v. 17, p. 53-82, issn: 0955-792X, 2006.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A3
16. 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, issn: 0104-6500, 2005.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: B1
17. 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))
18. WASSERMANN, R. Generalized Change and the Meaning of Rationality Postulates. Studia Logica. v. 73, n. 2, p. 299-319, issn: 0039-3215, 2003.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (STUDIA LOGICA)
19. Marcelo Finger ; WASSERMANN, R.. The Universe of Approximations. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. v. 84, p. 91-104, issn: 1571-0661, 2003.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: B1
20. HANSSON, S. O. ; WASSERMANN, R.. Local Change. Studia Logica. v. 70, n. 1, p. 49-76, issn: 0039-3215, 2002.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (STUDIA LOGICA)
21. WASSERMANN, R. Local Diagnosis. Journal of Applied Non-Classical Logics. v. 11, n. 1-2, p. 107-129, issn: 1166-3081, 2001.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A4
22. CHOPRA, S. ; PARIKH, R. ; WASSERMANN, R.. Approximate Belief Revision. Logic Journal of the IGPL. v. 9, n. 6, p. 755-768, issn: 1367-0751, 2001.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: A2
Livros publicados/organizados ou edições (1)
1. SILVA, A. (Org.) ; WASSERMANN, R. (Org.) ; QUEIROZ, R. (Org.). Logic, Language, Information, and Computation. 1 ed. 2021. .
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Capítulos de livros publicados (2)
1. MATOS, VINÍCIUS BITENCOURT ; Guimarães, Ricardo ; SANTOS, YURI DAVID ; Wassermann, Renata. Pseudo-contractions as Gentle Repairs. Em: Carsten Lutz; Uli Sattler; Cesare Tinelli; Anni-Yasmin Turhan; Frank Wolter. (Org.). Lecture Notes in Computer Science. 1ed. : Springer International Publishing. 2019.p. 385-403.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2. WASSERMANN, R. On Structured Belief Bases. Em: Hans Rott, Mary-Anne Williams. (Org.). Frontiers in Belief Revision. : Kluwer. 2001..
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Textos em jornais de notícias/revistas (0)
Trabalhos completos publicados em anais de congressos (59)
1. SOUZA, MARLO ; Wassermann, Renata. Hyperintensional Partial Meet Contractions. Em: 19th International Conference on Principles of Knowledge Representation and Reasoning {KR2022}, p. 341, 2022.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (19th International Conference on Principles of Knowledge Representation and Reasoning {KR2022})
2. MATOS, VINÍCIUS BITENCOURT ; WASSERMANN, R.. Repairing Ontologies via Kernel Pseudo-Contraction. Em: 20th International Workshop on Non-Monotonic Reasoning (NMR 2022), p. 16-26, 2022.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (20th International Workshop on Non-Monotonic Reasoning (NMR 2022))
3. SOUZA, MARLO ; Wassermann, Renata. Belief Contraction in Non-classical logics as Hyperintensional Belief Change. Em: 18th International Conference on Principles of Knowledge Representation and Reasoning {KR2021}, p. 588, 2020.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (18th International Conference on Principles of Knowledge Representation and Reasoning {KR2021})
4. RESINA, F. M. X. ; WASSERMANN, R.. Multiple Selective Revision. Em: International Workshop on Non-Monotonic Reasoning, 2021.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (International Workshop on Non-Monotonic Reasoning)
5. 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). Em: XIII Seminar on Ontology Research in Brazil (Ontobras), 2020.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (XIII Seminar on Ontology Research in Brazil (Ontobras))
6. RESINA, F. M. X. ; WASSERMANN, R.. A Survey on Multiple Revision. Em: International Workshop on Non-Monotonic Reasoning, 2020.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (International Workshop on Non-Monotonic Reasoning)
7. RIBEIRO, J. S. ; NAYAK, A. ; WASSERMANN, R.. Belief Change and Non-monotonic Reasoning sans Compactness. Em: AAAI Conference on Artificial Intelligence (AAAI-19), p. 1, 2019.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (AAAI Conference on Artificial Intelligence (AAAI-19))
8. RIBEIRO, J. S. ; NAYAK, A. ; WASSERMANN, R.. Belief Update without Compactness in Non-finitary Languages. Em: International Joint Conference on Artificial Intelligence, p. 1, 2019.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (International Joint Conference on Artificial Intelligence)
9. RIBEIRO, J. S. ; NAYAK, A. ; WASSERMANN, R.. Towards Belief Contraction without Compactness. Em: Principles of Knowledge Representation and Reasoning, p. 287, 2018.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Principles of Knowledge Representation and Reasoning)
10. GUIMARAES, R. F. ; SATTLER, U. ; WASSERMANN, R.. Ontology Stratification Methods: A Comparative Study. Em: International Workshop on Ontology Modularity, p. 1, 2018.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (International Workshop on Ontology Modularity)
11. OLIVEIRA, R. B. ; WASSERMANN, R.. Utilização de Ontologia para Busca em Base de Dados de Acórdãos do STF. Em: Ontobras, 2017.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Ontobras)
12. 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)
13. GUIMARAES, R. F. ; WASSERMANN, R.. Local Change in Ontologies with Atomic Decomposition. Em: Joint Ontology Workshops (JOWO), 2017.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Joint Ontology Workshops (JOWO))
14. FERME, EDUARDO ; Wassermann, Renata. Iterated Belief Change the Case of Expansion Into Inconsistency. Em: 2017 Brazilian Conference on Intelligent Systems (BRACIS), p. 420, 2017.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (2017 Brazilian Conference on Intelligent Systems (BRACIS))
15. 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)
16. SOLIS, M. ; LIMA, V. M. A. ; WASSERMANN, R.. On the use of ontologies for search in a collaborative system for architectural images. Em: 14th International ISKO Conference, 2016.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (14th International ISKO Conference)
17. SANTOS, Y. D. ; Marcio Moretto Ribeiro ; Wassermann, Renata. Between Belief Bases and Belief Sets: Partial Meet Contraction. Em: International Workshop on Defeasible and Ampliative Reasoning, p. 9, 2015.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (International Workshop on Defeasible and Ampliative Reasoning)
18. CÓBE, Raphael M. O. ; Wassermann, Renata. Ontology Repair Through Partial Meet Contraction. Em: International Workshop on Defeasible and Ampliative Reasoning, p. 3, 2015.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (International Workshop on Defeasible and Ampliative Reasoning)
19. 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. Em: 2015 Brazilian Conference on Intelligent Systems (BRACIS), p. 157-162, 2015.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (2015 Brazilian Conference on Intelligent Systems (BRACIS))
20. RESINA, F. M. X. ; Ribeiro, M. M. ; Wassermann, Renata. Algorithms for Multiple Contraction and an Application to OWL ontologies. Em: Brazilian Conference on Intelligent Systems (BRACIS), 2014.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Brazilian Conference on Intelligent Systems (BRACIS))
21. 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))
22. OLIVEIRA, P. T. G. ; ANDRADE, A. ; WASSERMANN, R.. Toward the Revision of CTL Models through Kripke Modal Transition Systems. Em: Simpósio Brasileiro de Métodos Formais (SBMF), 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Simpósio Brasileiro de Métodos Formais (SBMF))
23. 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)
24. CÓBE, Raphael M. O. ; RESINA, F. M. X. ; WASSERMANN, R.. Merging Ontologies via Kernel Contraction. Em: Ontobras, 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Ontobras)
25. LUZ, F. F. ; Wassermann, R.. Consulta a ontologias em língua portuguesa através do português controlado. Em: Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Encontro Nacional de Inteligência Artificial e Computacional (ENIAC))
26. GALEGO, E. F. ; Wassermann, R.. Extração e Consulta de Informações do Currículo Lattes Baseadas em Ontologias. Em: Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Encontro Nacional de Inteligência Artificial e Computacional (ENIAC))
27. LUNDBERG, R. U. ; Marcio Moretto Ribeiro ; Wassermann, R.. A Framework for Empirical Evaluation of Belief Change Operators. Em: Simpósio Brasileiro de Inteligência Artificial (SBIA), 2012.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Simpósio Brasileiro de Inteligência Artificial (SBIA))
28. CÓBE, Raphael M. O. ; Wassermann, R.. Ontology Merging and Conflict Resolution: Inconsistency and Incoherence Solving Approaches. Em: Workshop on Belief Change, 2012.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Workshop on Belief Change)
29. PAZ-TRILLO, C. ; COSTA-JUSSA, M. R. ; WASSERMANN, R.. Initial approaches on Cross-Lingual Information Retrieval using SMT on user-queries. Em: Seminário Brasileiro de Ontologias (OntoBras), 2012.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Seminário Brasileiro de Ontologias (OntoBras))
30. BISPO JR., E. L. ; WASSERMANN, R.. Uma Nova Abordagem de Avaliação de Alinhamentos de Ontologias baseada em Consultas. Em: Encontro Nacional de Inteligência Artificial (ENIA), 2011.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Encontro Nacional de Inteligência Artificial (ENIA))
31. 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))
32. Delgrande, J. ; WASSERMANN, R.. Topics in Horn Contraction: Supplementary Postulates, Package Contraction, and Forgetting. Em: 9th International Workshop on Nonmonotonic Reasoning, 2011.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (9th International Workshop on Nonmonotonic Reasoning)
33. Delgrande, J. ; Wassermann, R.. Horn Clause Contraction Functions: Belief Set and Belief Base Approaches. Em: International Conference on the Principles of Knowledge Representation and Reasoning, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (International Conference on the Principles of Knowledge Representation and Reasoning)
34. Booth, R. ; Meyer, T. ; Varzinczak, I. ; WASSERMANN, R.. A Contraction Core for Horn Belief Change: Preliminary Report. Em: 13th international workshop on Non-Monotonic Reasoning, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (13th international workshop on Non-Monotonic Reasoning)
35. OLIVEIRA, P. T. G. ; WASSERMANN, R.. Revision of CTL Models. Em: Ibero-American Conference on Artificial Intelligence, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Ibero-American Conference on Artificial Intelligence)
36. MOGUILLANSKY, M. ; FALAPPA, M. A. ; WASSERMANN, R.. An Argumentation Machinery to Reason over Inconsistent Ontologies. Em: Ibero-American Conference on Artificial Intelligence, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Ibero-American Conference on Artificial Intelligence)
37. ATENCIO-TORRES, C. E. ; WASSERMANN, R.. Uma Análise de Técnicas Utilizadas no Aprendizado de Ontologias. Em: 3° Seminário de Pesquisa em Ontologia no Brasil, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (3° Seminário de Pesquisa em Ontologia no Brasil)
38. Ribeiro, M. M. ; WASSERMANN, R. ; Antoniou, G. ; Flouris, G. ; Pan, J.. Belief Contraction in Web-Ontology Languages. Em: International Workshop on Ontology Dynamics (IWOD), 2009.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (International Workshop on Ontology Dynamics (IWOD))
39. 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))
40. Ribeiro, M. M. ; WASSERMANN, R.. The Ontology Reviser Plug-In for Protégé. Em: WORKSHOP ON ONTOLOGIES AND THEIR APPLICATIONS (WONTO?2008), p. ??, 2008.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (WORKSHOP ON ONTOLOGIES AND THEIR APPLICATIONS (WONTO?2008))
41. Ribeiro, M. M. ; WASSERMANN, R.. Degrees of Recovery and Inclusion in Belief Base Dynamics. Em: Twelfth International Workshop on Non-Monotonic Reasoning, 2008.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Twelfth International Workshop on Non-Monotonic Reasoning)
42. Marcio Moretto Ribeiro ; WASSERMANN, R.. Base Revision in Description Logics - Preliminary Results. Em: International Workshop on Ontology Dynamics (IWOD), 2007.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (International Workshop on Ontology Dynamics (IWOD))
43. Sousa, Thiago Carvalho de ; WASSERMANN, R.. Handling Inconsistencies in CTL Model-Checking using Belief Revision. Em: Simpósio Brasileiro de Métodos Formais, 2007.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Simpósio Brasileiro de Métodos Formais)
44. 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))
45. Marcio Moretto Ribeiro ; WASSERMANN, R.. First Steps Towards Revising 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))
46. 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)
47. RIANI, J. ; WASSERMANN, R.. Using Relevance to Speed up Inference. Em: Simpósio Brasileiro de Inteligência Artificial, v. 3171, p. 21-30, 2004.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Simpósio Brasileiro de Inteligência Artificial)
48. PAZ-TRILLO, C. ; WASSERMANN, R. ; BRAGA, P. P.. Using Ontologies to Retrieve Video Information. Em: Workshop on Ontologies and their Applications, 2004.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Workshop on Ontologies and their Applications)
49. 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)
50. 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))
51. WASSERMANN, R.; CHOPRA, S.. Attacking the complexity of prioritized inference -- Preliminary Report. Em: Simpósio Brasileiro de Inteligência Artificial, 2002.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Simpósio Brasileiro de Inteligência Artificial)
52. WASSERMANN, R.; Marcelo Finger. Logics for Approximate Reasoning: Approximating Classical Logic ``From Above''. Em: Simpósio Brasileiro de Inteligência Artificial, 2002.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Simpósio Brasileiro de Inteligência Artificial)
53. WASSERMANN, R.; Wagner Dias. Abductive Expansion of Belief Bases. Em: IJCAI Workshop on Abductive Reasoning, 2001.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (IJCAI Workshop on Abductive Reasoning)
54. 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)
55. WASSERMANN, R.; Marcelo Finger. Approximate Reasoning and Paraconsistency - Preliminary Report. Em: Workshop on Logic, 2001.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Workshop on Logic)
56. WASSERMANN, R. An Algorithm for Belief Revision. Em: Conference on Principles of Knowledge Representation and Reasoning, 2000.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Conference on Principles of Knowledge Representation and Reasoning)
57. WASSERMANN, R. Local Diagnosis. Em: International Workshop on Nonmonotonic Reasoning, 2000.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (International Workshop on Nonmonotonic Reasoning)
58. WASSERMANN, R.; PARIKH, R. ; CHOPRA, S.. Approximate Belief Revision - A Preliminary Report. Em: Workshop on Logic, 2000.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (Workshop on Logic)
59. WASSERMANN, R.; CARBOGIM, D. V.. Full Acceptance via Argumentation. Em: SBIA/IBERAMIA, 2000.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (SBIA/IBERAMIA)
Resumos expandidos publicados em anais de congressos (9)
1. RESINA, FILLIPE ; GARAPA, MARCO ; Wassermann, Renata ; FERMÉ, EDUARDO ; REIS, MAURÍCIO. Choosing What to Believe - New Results in Selective Revision. Em: 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, p. 687, 2020.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (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)
2. OLIVEIRA, P. T. G. ; WASSERMANN, R.. Two AGM-Style Characterizations of Model Repair. Em: Principles of Knowledge Representation and Reasoning, 2018, Tempe, Arizona. Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning, p. 645, 2018.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2018, TEMPE, ARIZONA. PROCEEDINGS OF THE SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING)
3. Ribeiro, M. M. ; Wassermann, R.. Minimal Change in AGM Revision for Non-classical Logics. Em: International Conference on Principles of Knowledge Representation and Reasoning (KR), 2014, Viena. Proceedings of KR2014, 2014.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING (KR), 2014, VIENA. PROCEEDINGS OF KR2014)
4. OLIVEIRA, P. T. G. ; Wassermann, R.. On the Difference Between Revising Models and Revising Specifications. Em: 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.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (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))
5. Ribeiro, M. M. ; WASSERMANN, R.. More About AGM Revision in Description Logics. Em: 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.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (WORKSHOP ON AUTOMATED REASONING ABOUT CONTEXT AND ONTOLOGY EVOLUTION (ARCOE), 2010, LISBOA. NOTES OF THE WORKSHOP ON AUTOMATED REASONING ABOUT CONTEXT AND ONTOLOGY EVOLUTION)
6. Ribeiro, M. M. ; WASSERMANN, R.. AGM Revision for Description Logics. Em: The IJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-09), 2009, Pasadena, CA. Proceedings of ARCOE-09, 2009.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (THE IJCAI-09 WORKSHOP ON AUTOMATED REASONING ABOUT CONTEXT AND ONTOLOGY EVOLUTION (ARCOE-09), 2009, PASADENA, CA. PROCEEDINGS OF ARCOE-09)
7. MOGUILLANSKY, M. ; WASSERMANN, R.. Inconsistent-Tolerant DL-Lite Reasoning: An Argumentative Approach. Em: The IJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-09), 2009, Pasadena, CA. Proceedings of ARCOE-09, 2009.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (THE IJCAI-09 WORKSHOP ON AUTOMATED REASONING ABOUT CONTEXT AND ONTOLOGY EVOLUTION (ARCOE-09), 2009, PASADENA, CA. PROCEEDINGS OF ARCOE-09)
8. WASSERMANN, R. Inclusion versus Recovery in Belief Base Dynamics. Em: Encontro Brasileiro de Lógica (EBL), 2008, Paraty. Anais do EBL, 2008.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (ENCONTRO BRASILEIRO DE LÓGICA (EBL), 2008, PARATY. ANAIS DO EBL)
9. Marcio Moretto Ribeiro ; WASSERMANN, R.. On the Relation Between Remainder Sets and Kernels. Em: Encontro Brasileiro de Lógica (EBL), 2008, Paraty. Anais do EBL, 2008.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (ENCONTRO BRASILEIRO DE LÓGICA (EBL), 2008, PARATY. ANAIS DO EBL)
Resumos publicados em anais de congressos (1)
1. Marcelo Finger ; COZMAN, F. G. ; WASSERMANN, R.. Satisfiability in EL with sets of Probabilistic ABoxes. Em: Description Logic Workshop, 2011, Barcelona. Proceedings of the Description Logic Workshop, 2011.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Artigos aceitos para publicação (0)
Apresentações de trabalho (0)
Demais tipos de produção bibliográfica (0)

Produção técnica

Programas de computador com registro de patente (0)
Programas de computador sem registro de patente (0)
Produtos tecnológicos (0)
Processos ou técnicas (0)
Trabalhos técnicos (0)
Demais tipos de produção técnica (30)
1. Wassermann, R. Tópicos Avançados de Direito e Tecnologia da Informação II. 2019. Curso de curta duração ministrado/Especialização
  [ busca Google | busca Bing ]
2. Wassermann, R. Inteligência Artificial. 2018. Curso de curta duração ministrado/Outra
  [ busca Google | busca Bing ]
3. Wassermann, R. Membro do comitê de programa do ARCOE (Automated Reasoning about Context and Ontology Evolution). 2011. Membro do comitê de programa
  [ busca Google | busca Bing ]
4. WASSERMANN, R. Membro do comitê de programa do RuleML (5th International Symposium on Rules). 2011. Membro do comitê de programa
  [ busca Google | busca Bing ]
5. WASSERMANN, R. Membro do comitê de programa do OntoBras-MOST. 2011. Membro do comitê de programa
  [ busca Google | busca Bing ]
6. WASSERMANN, R. Membro do comitê de programa do EvoDyn (Joint Workshop on Knowledge Evolution and Ontology Dynamics). 2011. Membro do comitê de programa
  [ busca Google | busca Bing ]
7. WASSERMANN, R. Membro do comitê de programa do Australasian Joint Conference on Artificial Intelligence. 2011. Membro do comitê de programa
  [ busca Google | busca Bing ]
8. WASSERMANN, R. Membro do comitê de programa do ENIA (Encontro Nacional de Inteligência Artificial). 2011. Membro do comitê de programa
  [ busca Google | busca Bing ]
9. Wassermann, R. Membro do comitê de programa da IJCAI. 2011. Membro do comitê de programa
  [ busca Google | busca Bing ]
10. WASSERMANN, R. Membro do comitê de programa do ARCOE (Automated Reasoning about Context and Ontology Evolution). 2010. Revisor de trabalhos para conferências
  [ busca Google | busca Bing ]
11. WASSERMANN, R. Membro do comitê de programa do IBERAMIA (Ibero-American International Congress on Artiticial Intelligence). 2010. Revisor de trabalhos para conferências
  [ busca Google | busca Bing ]
12. WASSERMANN, R. Membro do comitê de programa do IWOD (International Workshop on Ontology Dynamics). 2010. Revisor de trabalhos para conferências
  [ busca Google | busca Bing ]
13. WASSERMANN, R. Chair do NMROnto (Non-monotonic Reasoning for Ontologies). 2010. Revisor de trabalhos para conferências
  [ busca Google | busca Bing ]
14. 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
  [ busca Google | busca Bing ]
15. WASSERMANN, R. Membro do comitê de programa do ARCOE (Automated Reasoning about Context and Ontology Evolution). 2009. Revisor de trabalhos para conferências
  [ busca Google | busca Bing ]
16. WASSERMANN, R. Membro do comitê de programa do IWOD (International Workshop on Ontology Dynamics). 2009. Revisor de trabalhos para conferências
  [ busca Google | busca Bing ]
17. 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
  [ busca Google | busca Bing ]
18. WASSERMANN, R. Membro do comitê de programa do SBIA (Simpósio Brasileiro de Inteligência Artificial). 2008. Revisor de trabalhos para conferências
  [ busca Google | busca Bing ]
19. WASSERMANN, R. Membro do comitê de programa da 21st Australasian Joint Conference on Artificial Intelligence. 2008. Revisor de trabalhos para conferências
  [ busca Google | busca Bing ]
20. WASSERMANN, R. Membro do comitê de programa do IWOD (International Workshop on Ontology Dynamics). 2008. Revisor de trabalhos para conferências
  [ busca Google | busca Bing ]
21. WASSERMANN, R. Membro do comitê de programa do WONTO (Workshop on Ontologies and their Application). 2008. Revisor de trabalhos para conferências
  [ busca Google | busca Bing ]
22. WASSERMANN, R. Revisora da IJCAI 07 (International Joint Conference in Artificial Intelligence). 2007. Revisor de trabalhos para conferências
  [ busca Google | busca Bing ]
23. WASSERMANN, R. Membro do comitê de programa do SBIA/IBERAMIA. 2006. Revisor de trabalhos para conferências
  [ busca Google | busca Bing ]
24. WASSERMANN, R. Membro do comitê de programa do STAIRS (European STarting AI Researcher Symposium). 2006. Revisor de trabalhos para conferências
  [ busca Google | busca Bing ]
25. WASSERMANN, R. Membro do comitê de programa do WONTO (Workshop on Ontologies and their Applications ). 2006. Revisor de trabalhos para conferências
  [ busca Google | busca Bing ]
26. WASSERMANN, R. Membro do comitê de programa do KSCE (Knowledge Sharing and Collaborative Engineering). 2006. Revisor de trabalhos para conferências
  [ busca Google | busca Bing ]
27. WASSERMANN, R. Membro do comitê de programa do Workshop on Rationality and Knowledge. 2006. Revisor de trabalhos para conferências
  [ busca Google | busca Bing ]
28. WASSERMANN, R. Raciocínio Aproximado. 2005. Curso de curta duração ministrado/Extensão
  [ busca Google | busca Bing ]
29. WASSERMANN, R.; Herzig, Andreas. Belief Change, from AGM to realistic models. 2001. Curso de curta duração ministrado/Extensão
  [ busca Google | busca Bing ]
30. WASSERMANN, R.; FERME, E. ; CHOPRA, S.. Belief Revision: From AGM to Computational Models. 2000. Curso de curta duração ministrado/Extensão
  [ busca Google | busca Bing ]

Produção artística

Total de produção artística (0)

Orientações em andamento

Supervisão de pós-doutorado (0)
Tese de doutorado (1)
1. Igor de Camargo e Souza Câmara. Tipicalidade em Lógicas de Descrição. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2018.
  Orientador: Renata Wassermann.
Dissertação de mestrado (0)
Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
Trabalho de conclusão de curso de graduação (0)
Iniciação científica (0)
Orientações de outra natureza (0)

Supervisões e orientações concluídas

Supervisão de pós-doutorado (4)
1. Marlo Souza. . Universidade de São Paulo, . 2021.
  Supervisor: Renata Wassermann.
2. Laís Salvador. . Universidade de São Paulo, . 2018.
  Supervisor: Renata Wassermann.
3. Aline Andrade. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
  Supervisor: Renata Wassermann.
4. Marta Ruiz Costa-jussà. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012.
  Supervisor: Renata Wassermann.
Tese de doutorado (9)

Fillipe Manoel Xavier Resina. Revisão Múltipla de Ontologias. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2021.
Orientador: Renata Wassermann.
Jandson Santos Ribeiro. Belief Change Without Compactness. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020.
Orientador: Renata Wassermann.
Ricardo Ferreira Guimarães. Modularity in Belief Change of Description Logic Bases. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2020.
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. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2016.
Orientador: Renata Wassermann.
Paulo de Tarso Guerra Oliveira. Revisão de crenças temporais. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2016.
Orientador: Renata Wassermann.
Raphael Mendes Cóbe. Integração entre múltiplas ontologias: reúso e gerência de conflitos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Orientador: Renata Wassermann.
Diogo Ferreira da Costa Patrão. DESENVOLVIMENTO E AVALIAÇÃO DE FERRAMENTAS COMPUTACIONAIS PARA TRIAGEM AUTOMÁTICA DE SUJEITOS DE PESQUISA. Tese (Doutorado em Doutorado) - Fundação Antônio Prudente, . 2014.
Supervisor: 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. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010.
Orientador: Renata Wassermann.
Martin Moguillansky. Argumentation Dynamics. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidad Nacional del Sur, Consejo Nacional de Investigaciones Científicas y Técnicas. 2009.
Supervisor: Renata Wassermann.
Dissertação de mestrado (20)

Vinícius Bitencourt Matos. Revisão de Crenças em Lógicas de Descrição. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021.
Orientador: Renata Wassermann.
Alexandre Cesar Pessoa. Integração de bases de dados com uso de ontologias. 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. 2021.
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. 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. 2019.
Orientador: Renata Wassermann.
Barbara Tieko Agena. Acesso a dados baseado em ontologias com NoSQL. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Renata Wassermann.
Rafael Brito de Oliveira. Utilização de ontologias para busca em base de dados de acórdãos do STF. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Renata Wassermann.
Marisol Solis. Utilização de Ontologias para Busca em um Sistema Colaborativo de Imagens Arquitetônicas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016.
Orientador: Renata Wassermann.
Yuri David Santos. Pseudo-Contractions in Belief Revision. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016.
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é. 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. 2014.
Orientador: Renata Wassermann.
José David Curado. Tipicalidade em Lógicas de Descrição. 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. 2014.
Orientador: Renata Wassermann.
Renato Urquiza Lundberg. Análise Empírica de Algoritmos de Revisão sobre Bases de Crenças. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013.
Orientador: Renata Wassermann.
Eduardo Galego. Extração e consulta de informações do currículo Lattes baseadas em ontologias. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013.
Orientador: Renata Wassermann.
Fabiano Ferreira Luz. Consulta a ontologias em língua portuguesa através do português controlado. 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. 2013.
Orientador: Renata Wassermann.
Carlos Eduardo Atencio Torres. Uso de informação linguística e análise de conceitos formais no aprendizado de ontologias.. 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. 2012.
Orientador: Renata Wassermann.
Esdras Bispo Jr. Mapeamento de ontologias. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011.
Orientador: Renata Wassermann.
Paulo de Tarso Guerra Oliveira. Revisão de Modelos CTL. 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. 2010.
Orientador: Renata Wassermann.
André Casado Castaño. Populando ontologias através de informações em HTML - o caso do Currículo Lattes. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008.
Orientador: Renata Wassermann.
Thiago Carvalho de Sousa. Revisão de modelos formais de sistemas de estados finitos. 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. 2007.
Orientador: Renata Wassermann.
Anderson Sanches. Construção e estudos sobre ontologias de bioquímica. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2005.
Orientador: Renata Wassermann.
Christian Danniel Paz-Trillo. Recuperação de vídeos indexados por conceitos. 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. 2005.
Orientador: Renata Wassermann.
Joselyto Riani. Em Busca de Procedimentos de Inferência Eficientes via Relevância por Sintaxe. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004.
Orientador: Renata Wassermann.
Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
Trabalho de conclusão de curso de graduação (6)

Igor Shigueo Kawasaki Nakabayashi. Geração de consulta SPARQL a partir de texto. (Graduação em Bacharelado em Matemática Aplicada Computacional) - Universidade de São Paulo, . 2011.
Orientador: Renata Wassermann.
Fillipe Manoel Xavier Resina. Revisor de ontologias. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010.
Orientador: Renata Wassermann.
José David Curado. Geração de metadados. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2010.
Orientador: Renata Wassermann.
Anauê Pereira da Costa e Fabio Sendoda Yamate. Semantic Lattes: uma ferramenta de consulta baseada em ontologias. (Graduação em Engenharia de Computação) - Escola Politécnica, . 2009.
Orientador: Renata Wassermann.
Andrew Yuan. Ontologias e a Biblioteca Virtual. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2003.
Orientador: Renata Wassermann.
Danilo Conde. Biblioteca Virtual. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2002.
Orientador: Renata Wassermann.
Iniciação científica (9)

Fillipe Manoel Xavier Resina. Implementação de um revisor de ontologias. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010.
Orientador: Renata Wassermann.
Marcos Yoshinori Nakashima. CV Lattes e Web-semântica. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005.
Orientador: Renata Wassermann.
Hugo Corbucci. Ontologia de orientação a objetos. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005.
Orientador: Renata Wassermann.
Flavio Protasio Ribeiro. Uma Interface para o OpenCyc. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004.
Orientador: Renata Wassermann.
Rogerio Kakehashi. Legolog e Java. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, . 2004.
Orientador: Renata Wassermann.
Márcio Moretto Ribeiro. Revisão em lógica de descrições. (Graduando em Ciências Moleculares) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004.
Orientador: Renata Wassermann.
Juliana Barby Simão. IDE para Prolog. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, IBM. 2003.
Orientador: Renata Wassermann.
Thiago Carvalho de Sousa. Revisão de Crenças e Banco de Dados. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001.
Orientador: Renata Wassermann.
Flavio Protasio Ribeiro. Revisão de Crenças e Manutenção de Consistência. (Graduando em Engenharia - Ciclo Básico) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001.
Orientador: Renata Wassermann.
Orientações de outra natureza (0)

Projetos de pesquisa

Total de projetos de pesquisa (11)

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

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

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)
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
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))
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)
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)
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))
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)
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)
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))
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)
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))
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))
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)
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)
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)
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: 10/04/2024 19:37:03

Relatório gerado por scriptLattes V8.11. Os resultados estão sujeitos a falhas devido a inconsistências no preenchimento dos CVs Lattes. E-mail de contato: webmaster@ime.usp.br