Programa de Pós Graduação em 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 (14/01/2025)

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, 2022. 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, 2019. Qualis: Não identificado (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, 2018. 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, 2018. 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, 2018.Qualis: B2
6. Wassermann, Renata; Marcio Moretto Ribeiro. Bringing AGM to Computer Science. south american journal of logic. v. 1, p. 8, 2015.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, 2014. Qualis: Não identificado (PRINT),)
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, 2013. Qualis: A1
9. Delgrande, J. ; Wassermann, R.. Horn Clause Contraction Functions. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH. v. 48, p. 475-511, 2013. Qualis: A2 (THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH)
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, 2012. Qualis: A2
11. Wassermann, Renata. On AGM for Non-Classical Logics. Journal of Philosophical Logic. v. 40, p. 271-294, 2011. 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, 2011. Qualis: A2
13. Ribeiro, M. M. ; Wassermann, R.. Base Revision for Ontology Debugging. JOURNAL OF LOGIC AND COMPUTATION. v. 19, p. 721-743, 2009. Qualis: A3
14. Marcelo Finger ; WASSERMANN, R.. The universe of propositional approximations. THEORETICAL COMPUTER SCIENCE. v. 355, n. 2, p. 153-166, 2006. Qualis: A4
15. Marcelo Finger ; WASSERMANN, R.. Anytime Approximations of Classical Logic from Above. JOURNAL OF LOGIC AND COMPUTATION. v. 17, p. 53-82, 2006. 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, 2005. Qualis: B1
17. Marcelo Finger ; WASSERMANN, R.. Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. Journal of Logic and Computation (Print), Londres. v. 14, n. 2, p. 179-204, 2004. Qualis: Não identificado (JOURNAL OF LOGIC AND COMPUTATION , LONDRES)
18. WASSERMANN, R. Generalized Change and the Meaning of Rationality Postulates. Studia Logica. v. 73, n. 2, p. 299-319, 2003.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, 2003. Qualis: B1
20. HANSSON, S. O. ; WASSERMANN, R.. Local Change. Studia Logica. v. 70, n. 1, p. 49-76, 2002.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, 2001. Qualis: A4
22. CHOPRA, S. ; PARIKH, R. ; WASSERMANN, R.. Approximate Belief Revision. Logic Journal of the IGPL. v. 9, n. 6, p. 755-768, 2001. 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. .
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.
2. WASSERMANN, R. On Structured Belief Bases. Em: Hans Rott, Mary-Anne Williams. (Org.). Frontiers in Belief Revision. : Kluwer. 2001..
Textos em jornais de notícias/revistas (0)
Trabalhos completos publicados em anais de congressos (62)
1. BAADER, FRANZ ; Wassermann, Renata. Contractions Based on Optimal Repairs. Em: 21st International Conference on Principles of Knowledge Representation and Reasoning {KR2023}, p. 94, 2024. Qualis: Não identificado (21st International Conference on Principles of Knowledge Representation and Reasoning {KR2023})
2. LOPES, WASHINGTON ROBERTO ; ZILBERMAN, BE ; DA CRUZ, BRUNA MAGRINI ; CRUZ, LETICIA DOS SANTOS MONTE ; GOMES, RAFAELLA ALVES LUCENA ; Wassermann, Renata ; PERES, SARAJANE MARQUES ; FREIRE, VALDINEI. Eu, Tu, Ele, Ela, Elu, Nós, Vós, Eles, Elas, Elus por um Modelo de Linguagem Neutra. Em: Encontro Nacional de Inteligência Artificial e Computacional, p. 969, 2023. Qualis: Não identificado (Encontro Nacional de Inteligência Artificial e Computacional)
3. SOUZA, MARLO ; Wassermann, Renata. Hyperintensional Partial Meet Contractions. Em: 19th International Conference on Principles of Knowledge Representation and Reasoning {KR2022}, p. 341, 2022. Qualis: Não identificado (19th International Conference on Principles of Knowledge Representation and Reasoning {KR2022})
4. 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.Qualis: Não identificado (20th International Workshop on Non-Monotonic Reasoning (NMR 2022))
5. SOUZA, MARLO ; WASSERMANN, R.. Hyperintensional Models and Belief Change. Em: Brazilian Conference on Intelligent Systems, p. 429-443, 2022.Qualis: Não identificado (Brazilian Conference on Intelligent Systems)
6. 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. Qualis: Não identificado (18th International Conference on Principles of Knowledge Representation and Reasoning {KR2021})
7. RESINA, F. M. X. ; WASSERMANN, R.. Multiple Selective Revision. Em: International Workshop on Non-Monotonic Reasoning, 2021.Qualis: Não identificado (International Workshop on Non-Monotonic Reasoning)
8. 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.Qualis: Não identificado (XIII Seminar on Ontology Research in Brazil (Ontobras))
9. RESINA, F. M. X. ; WASSERMANN, R.. A Survey on Multiple Revision. Em: International Workshop on Non-Monotonic Reasoning, 2020.Qualis: Não identificado (International Workshop on Non-Monotonic Reasoning)
10. 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.Qualis: Não identificado (AAAI Conference on Artificial Intelligence (AAAI-19))
11. 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.Qualis: Não identificado (International Joint Conference on Artificial Intelligence)
12. RIBEIRO, J. S. ; NAYAK, A. ; WASSERMANN, R.. Towards Belief Contraction without Compactness. Em: Principles of Knowledge Representation and Reasoning, p. 287, 2018.Qualis: Não identificado (Principles of Knowledge Representation and Reasoning)
13. GUIMARAES, R. F. ; SATTLER, U. ; WASSERMANN, R.. Ontology Stratification Methods: A Comparative Study. Em: International Workshop on Ontology Modularity, p. 1, 2018.Qualis: Não identificado (International Workshop on Ontology Modularity)
14. OLIVEIRA, R. B. ; WASSERMANN, R.. Utilização de Ontologia para Busca em Base de Dados de Acórdãos do STF. Em: Ontobras, 2017.Qualis: Não identificado (Ontobras)
15. 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.Qualis: Não identificado (IX Seminar on Ontology Research in Brazil)
16. GUIMARAES, R. F. ; WASSERMANN, R.. Local Change in Ontologies with Atomic Decomposition. Em: Joint Ontology Workshops (JOWO), 2017.Qualis: Não identificado (Joint Ontology Workshops (JOWO))
17. FERME, EDUARDO ; Wassermann, Renata. Iterated Belief Change the Case of Expansion Into Inconsistency. Em: 2017 Brazilian Conference on Intelligent Systems (BRACIS), p. 420, 2017. Qualis: Não identificado (2017 Brazilian Conference on Intelligent Systems (BRACIS))
18. 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.Qualis: Não identificado (KR2016 - 15th International Conference on Principles of Knowledge Representation and Reasoning)
19. 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.Qualis: Não identificado (14th International ISKO Conference)
20. 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.Qualis: Não identificado (International Workshop on Defeasible and Ampliative Reasoning)
21. CÓBE, Raphael M. O. ; Wassermann, Renata. Ontology Repair Through Partial Meet Contraction. Em: International Workshop on Defeasible and Ampliative Reasoning, p. 3, 2015.Qualis: Não identificado (International Workshop on Defeasible and Ampliative Reasoning)
22. 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. Qualis: Não identificado (2015 Brazilian Conference on Intelligent Systems (BRACIS))
23. 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.Qualis: Não identificado (Brazilian Conference on Intelligent Systems (BRACIS))
24. 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. Qualis: Não identificado (European Conference on Artificial Intelligence (ECAI 2014))
25. 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.Qualis: Não identificado (Simpósio Brasileiro de Métodos Formais (SBMF))
26. 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.Qualis: Não identificado (Ontobras)
27. CÓBE, Raphael M. O. ; RESINA, F. M. X. ; WASSERMANN, R.. Merging Ontologies via Kernel Contraction. Em: Ontobras, 2013.Qualis: Não identificado (Ontobras)
28. 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.Qualis: Não identificado (Encontro Nacional de Inteligência Artificial e Computacional (ENIAC))
29. 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.Qualis: Não identificado (Encontro Nacional de Inteligência Artificial e Computacional (ENIAC))
30. 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.Qualis: Não identificado (Simpósio Brasileiro de Inteligência Artificial (SBIA))
31. CÓBE, Raphael M. O. ; Wassermann, R.. Ontology Merging and Conflict Resolution: Inconsistency and Incoherence Solving Approaches. Em: Workshop on Belief Change, 2012.Qualis: Não identificado (Workshop on Belief Change)
32. 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.Qualis: Não identificado (Seminário Brasileiro de Ontologias (OntoBras))
33. 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.Qualis: Não identificado (Encontro Nacional de Inteligência Artificial (ENIA))
34. 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.Qualis: Não identificado (Seminário de Pesquisa em Ontologias do Brasil (ONTOBRAS))
35. Delgrande, J. ; WASSERMANN, R.. Topics in Horn Contraction: Supplementary Postulates, Package Contraction, and Forgetting. Em: 9th International Workshop on Nonmonotonic Reasoning, 2011.Qualis: Não identificado (9th International Workshop on Nonmonotonic Reasoning)
36. 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.Qualis: Não identificado (International Conference on the Principles of Knowledge Representation and Reasoning)
37. 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.Qualis: Não identificado (13th international workshop on Non-Monotonic Reasoning)
38. OLIVEIRA, P. T. G. ; WASSERMANN, R.. Revision of CTL Models. Em: Ibero-American Conference on Artificial Intelligence, 2010.Qualis: Não identificado (Ibero-American Conference on Artificial Intelligence)
39. MOGUILLANSKY, M. ; FALAPPA, M. A. ; WASSERMANN, R.. An Argumentation Machinery to Reason over Inconsistent Ontologies. Em: Ibero-American Conference on Artificial Intelligence, 2010.Qualis: Não identificado (Ibero-American Conference on Artificial Intelligence)
40. 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.Qualis: Não identificado (3° Seminário de Pesquisa em Ontologia no Brasil)
41. 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.Qualis: Não identificado (International Workshop on Ontology Dynamics (IWOD))
42. 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. Qualis: Não identificado (Sinpósio Brasileiro de Inteligência Artificial (SBIA))
43. Ribeiro, M. M. ; WASSERMANN, R.. The Ontology Reviser Plug-In for Protégé. Em: WORKSHOP ON ONTOLOGIES AND THEIR APPLICATIONS (WONTO?2008), p. ??, 2008.Qualis: Não identificado (WORKSHOP ON ONTOLOGIES AND THEIR APPLICATIONS (WONTO?2008))
44. Ribeiro, M. M. ; WASSERMANN, R.. Degrees of Recovery and Inclusion in Belief Base Dynamics. Em: Twelfth International Workshop on Non-Monotonic Reasoning, 2008.Qualis: Não identificado (Twelfth International Workshop on Non-Monotonic Reasoning)
45. Marcio Moretto Ribeiro ; WASSERMANN, R.. Base Revision in Description Logics - Preliminary Results. Em: International Workshop on Ontology Dynamics (IWOD), 2007.Qualis: Não identificado (International Workshop on Ontology Dynamics (IWOD))
46. Sousa, Thiago Carvalho de ; WASSERMANN, R.. Handling Inconsistencies in CTL Model-Checking using Belief Revision. Em: Simpósio Brasileiro de Métodos Formais, 2007.Qualis: Não identificado (Simpósio Brasileiro de Métodos Formais)
47. 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), v. 199, 2006.Qualis: Não identificado (2nd Workshop on Ontologies and their Applications (WONTO'2006))
48. Marcio Moretto Ribeiro ; WASSERMANN, R.. First Steps Towards Revising Ontologies. Em: 2nd Workshop on Ontologies and their Applications (WONTO'2006), 2006.Qualis: Não identificado (2nd Workshop on Ontologies and their Applications (WONTO'2006))
49. 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.Qualis: Não identificado (2nd International Conference on Informatics in Control)
50. RIANI, J. ; WASSERMANN, R.. Using Relevance to Speed up Inference. Em: Simpósio Brasileiro de Inteligência Artificial, v. 3171, p. 21-30, 2004.Qualis: Não identificado (Simpósio Brasileiro de Inteligência Artificial)
51. PAZ-TRILLO, C. ; WASSERMANN, R. ; BRAGA, P. P.. Using Ontologies to Retrieve Video Information. Em: Workshop on Ontologies and their Applications, 2004.Qualis: Não identificado (Workshop on Ontologies and their Applications)
52. Marcelo Finger ; WASSERMANN, R.. The Universe of Approximations. Em: Workshop on Logic, v. 84, p. 1-14, 2003. Qualis: Não identificado (Workshop on Logic)
53. WASSERMANN, R.; Marcelo Finger. Expressivity and Control in Limited Reasoning. Em: 15th European Conference on Artificial Intelligence (ECAI02), p. 72-76, 2002.Qualis: Não identificado (15th European Conference on Artificial Intelligence (ECAI02))
54. WASSERMANN, R.; CHOPRA, S.. Attacking the complexity of prioritized inference -- Preliminary Report. Em: Simpósio Brasileiro de Inteligência Artificial, 2002.Qualis: Não identificado (Simpósio Brasileiro de Inteligência Artificial)
55. WASSERMANN, R.; Marcelo Finger. Logics for Approximate Reasoning: Approximating Classical Logic ``From Above''. Em: Simpósio Brasileiro de Inteligência Artificial, 2002.Qualis: Não identificado (Simpósio Brasileiro de Inteligência Artificial)
56. WASSERMANN, R.; Wagner Dias. Abductive Expansion of Belief Bases. Em: IJCAI Workshop on Abductive Reasoning, 2001.Qualis: Não identificado (IJCAI Workshop on Abductive Reasoning)
57. WASSERMANN, R.; Marcelo Finger. Tableaux for Approximate Reasoning. Em: IJCAI-2001 Workshop on Inconsistency in Data and Knowledge, p. 71-79, 2001.Qualis: Não identificado (IJCAI-2001 Workshop on Inconsistency in Data and Knowledge)
58. WASSERMANN, R.; Marcelo Finger. Approximate Reasoning and Paraconsistency - Preliminary Report. Em: Workshop on Logic, 2001.Qualis: Não identificado (Workshop on Logic)
59. WASSERMANN, R. An Algorithm for Belief Revision. Em: Conference on Principles of Knowledge Representation and Reasoning, 2000.Qualis: Não identificado (Conference on Principles of Knowledge Representation and Reasoning)
60. WASSERMANN, R. Local Diagnosis. Em: International Workshop on Nonmonotonic Reasoning, 2000.Qualis: Não identificado (International Workshop on Nonmonotonic Reasoning)
61. WASSERMANN, R.; PARIKH, R. ; CHOPRA, S.. Approximate Belief Revision - A Preliminary Report. Em: Workshop on Logic, 2000.Qualis: Não identificado (Workshop on Logic)
62. WASSERMANN, R.; CARBOGIM, D. V.. Full Acceptance via Argumentation. Em: SBIA/IBERAMIA, 2000.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. 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. 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. Qualis: Não identificado (INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING , 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. Qualis: Não identificado (WORKSHOP ON LOGICAL AND SEMANTIC FRAMEWORKS WITH APPLICATIONS , 2013, SÃO PAULO. PROCEEDINGS OF THE WORKSHOP ON LOGICAL AND SEMANTIC FRAMEWORKS WITH APPLICATIONS)
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. Qualis: Não identificado (WORKSHOP ON AUTOMATED REASONING ABOUT CONTEXT AND ONTOLOGY EVOLUTION , 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. Qualis: Não identificado (THE IJCAI-09 WORKSHOP ON AUTOMATED REASONING ABOUT CONTEXT AND ONTOLOGY EVOLUTION , 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. Qualis: Não identificado (THE IJCAI-09 WORKSHOP ON AUTOMATED REASONING ABOUT CONTEXT AND ONTOLOGY EVOLUTION , 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. Qualis: Não identificado (ENCONTRO BRASILEIRO DE LÓGICA , 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. Qualis: Não identificado (ENCONTRO BRASILEIRO DE LÓGICA , 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.
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 (0)
Programas de computador sem registro (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
2. Wassermann, R. Inteligência Artificial. 2018. Curso de curta duração ministrado/Outra
3. Wassermann, R. Membro do comitê de programa do ARCOE (Automated Reasoning about Context and Ontology Evolution). 2011. Membro do comitê de programa
4. WASSERMANN, R. Membro do comitê de programa do RuleML (5th International Symposium on Rules). 2011. Membro do comitê de programa
5. WASSERMANN, R. Membro do comitê de programa do OntoBras-MOST. 2011. Membro do comitê de programa
6. WASSERMANN, R. Membro do comitê de programa do EvoDyn (Joint Workshop on Knowledge Evolution and Ontology Dynamics). 2011. Membro do comitê de programa
7. WASSERMANN, R. Membro do comitê de programa do Australasian Joint Conference on Artificial Intelligence. 2011. Membro do comitê de programa
8. WASSERMANN, R. Membro do comitê de programa do ENIA (Encontro Nacional de Inteligência Artificial). 2011. Membro do comitê de programa
9. Wassermann, R. Membro do comitê de programa da IJCAI. 2011. Membro do comitê de programa
10. WASSERMANN, R. Membro do comitê de programa do ARCOE (Automated Reasoning about Context and Ontology Evolution). 2010. Revisor de trabalhos para conferências
11. WASSERMANN, R. Membro do comitê de programa do IBERAMIA (Ibero-American International Congress on Artiticial Intelligence). 2010. Revisor de trabalhos para conferências
12. WASSERMANN, R. Membro do comitê de programa do IWOD (International Workshop on Ontology Dynamics). 2010. Revisor de trabalhos para conferências
13. WASSERMANN, R. Chair do NMROnto (Non-monotonic Reasoning for Ontologies). 2010. Revisor de trabalhos para conferências
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
15. WASSERMANN, R. Membro do comitê de programa do ARCOE (Automated Reasoning about Context and Ontology Evolution). 2009. Revisor de trabalhos para conferências
16. WASSERMANN, R. Membro do comitê de programa do IWOD (International Workshop on Ontology Dynamics). 2009. Revisor de trabalhos para conferências
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
18. WASSERMANN, R. Membro do comitê de programa do SBIA (Simpósio Brasileiro de Inteligência Artificial). 2008. Revisor de trabalhos para conferências
19. WASSERMANN, R. Membro do comitê de programa da 21st Australasian Joint Conference on Artificial Intelligence. 2008. Revisor de trabalhos para conferências
20. WASSERMANN, R. Membro do comitê de programa do IWOD (International Workshop on Ontology Dynamics). 2008. Revisor de trabalhos para conferências
21. WASSERMANN, R. Membro do comitê de programa do WONTO (Workshop on Ontologies and their Application). 2008. Revisor de trabalhos para conferências
22. WASSERMANN, R. Revisora da IJCAI 07 (International Joint Conference in Artificial Intelligence). 2007. Revisor de trabalhos para conferências
23. WASSERMANN, R. Membro do comitê de programa do SBIA/IBERAMIA. 2006. Revisor de trabalhos para conferências
24. WASSERMANN, R. Membro do comitê de programa do STAIRS (European STarting AI Researcher Symposium). 2006. Revisor de trabalhos para conferências
25. WASSERMANN, R. Membro do comitê de programa do WONTO (Workshop on Ontologies and their Applications ). 2006. Revisor de trabalhos para conferências
26. WASSERMANN, R. Membro do comitê de programa do KSCE (Knowledge Sharing and Collaborative Engineering). 2006. Revisor de trabalhos para conferências
27. WASSERMANN, R. Membro do comitê de programa do Workshop on Rationality and Knowledge. 2006. Revisor de trabalhos para conferências
28. WASSERMANN, R. Raciocínio Aproximado. 2005. Curso de curta duração ministrado/Extensão
29. WASSERMANN, R.; Herzig, Andreas. Belief Change, from AGM to realistic models. 2001. Curso de curta duração ministrado/Extensão
30. WASSERMANN, R.; FERME, E. ; CHOPRA, S.. Belief Revision: From AGM to Computational Models. 2000. Curso de curta duração ministrado/Extensão

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 (0)
Dissertação de mestrado (2)
1. Vivian Magri Alcaldi Soares. Ontology Extraction from Natural Language. 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. Início: 2022.
  Orientador: Renata Wassermann.
2. Izabela Paulino Fonseca. Integração de sistemas do SUS. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Início: 2021.
  Orientador: Renata Wassermann.
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 (10)

Igor de Camargo e Souza Câmara. Quantificação em lógicas de descrição de tipicalidade. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2023.
Orientador: Renata Wassermann.
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.
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.
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.
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 (21)

Davy Alves de Souza. Optimal repair and pseudo contraction. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2024.
Orientador: Renata Wassermann.
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 de informações acadêmicas da base Lattes baseada em ontologias. (Graduação em Engenharia Elétrica) - Universidade de São Paulo, . 2009.
Orientadores: Jaime Simão Sichman, 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. Revisão de modelos
Situação: Em andamento; Natureza: Pesquisa. Integrantes: Renata Wassermann - Coordenador / Paulo de Tarso Guerra Oliveira - Integrante / Aline Andrade - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
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. Revisão de Crenças em Lógicas Não Clássicas
Situação: Em andamento; Natureza: Pesquisa. Integrantes: Renata Wassermann - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
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. Revisão de Especificações Formais
Situação: Em andamento; Natureza: Pesquisa. Integrantes: Renata Wassermann - Coordenador / Marcelo Finger - Integrante / Mario Roberto Folhadela Benevides - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
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 Revisão de Crenças
Situação: Concluído; Natureza: Pesquisa. Integrantes: Renata Wassermann - Integrante / Marcelo Finger - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Número de produções C, T & A: 4
Membro: Renata Wassermann.
2001-2002. Lógicas não Monotônicas para Modelos Alternativos de Revisão de Crenças
Situação: Concluído; Natureza: Pesquisa. Integrantes: Renata Wassermann - Coordenador / Eduardo Fermé - Integrante. Financiador(es): Universidade de Buenos Aires - Cooperação / Fundación Antorchas - Auxílio financeiro / VITAE - 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 (6)

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, 2006. Qualis: A4
Marcelo Finger ; WASSERMANN, R.. Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. Journal of Logic and Computation (Print), Londres. v. 14, n. 2, p. 179-204, 2004. Qualis: Não identificado (JOURNAL OF LOGIC AND COMPUTATION , LONDRES)
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.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.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. 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.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. 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.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.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. 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), v. 199, 2006.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.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.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.Qualis: Não identificado (2nd International Conference on Informatics in Control)

Renata Wassermann ⇔ Karina Valdivia Delgado (1.0)
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), v. 199, 2006.Qualis: Não identificado (2nd Workshop on Ontologies and their Applications (WONTO'2006))

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.Qualis: Não identificado (IX Seminar on Ontology Research in Brazil)

(*) Relatório criado com produções desde 2000 até 2025
Data de processamento: 18/02/2025 13:31:56

Relatório gerado por scriptLattes V9. Os resultados podem ser afetados por possíveis falhas decorrentes de inconsistências no preenchimento dos Currículos Lattes. E-mail de contato: webmaster@ime.usp.br