Perfil do docente · IME

Renata Wasserman.

Livre · Departamento de Ciência da Computação

Unidade: Instituto de Matemática, Estatística e Ciência da Computação
Departamento: Departamento de Ciência da Computação

Lattes ORCID

Currículo atualizado em 21/04/2025

Inteligencia ArtificialSistemas de Informação

Cita-se como: WASSERMANN, R.;Wassermann, R.;Wassermann, Renata

14 seções

Resumo biográfico

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.

Indicadores

Áreas de atuação

02 registros

Ciencias Exatas E Da Terra
Ciência da Computação
Teoria da Computação › Inteligencia Artificial
Ciencias Exatas E Da Terra
Ciência da Computação
Metodologia e Técnicas da Computação › Sistemas de Informação

Formação acadêmica

05 registros

2000 – 2001Pós-DoutoradoConcluído
Pós-Doutorado · Universidade de São Paulo
Bolsa Fundação de Amparo à Pesquisa do Estado de São Paulo
1995 – 1999DoutoradoConcluído
Ciência da Computação · Universiteit van Amsterdam
“Resource Bounded Belief Revision”
Orientação: Hans RottBolsa Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
1993 – 1995MestradoConcluído
Matemática Aplicada · Universidade de São Paulo
“A Lógica das Estruturas de Features e suas Aplicações”
Orientação: Flávio Soares Corrêa da SilvaBolsa Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
1988 – 1991GraduaçãoConcluído
Bacharelado em Ciencia da Computacao · Universidade de São Paulo
Livre-docênciaConcluído
Livre-docência · Universidade de São Paulo

Idiomas

07 registros

Idioma	Leitura	Fala	Escrita	Compreensão
Inglês	Bem	Bem	Bem	Bem
Alemão	Bem	Razoável	Razoável	Bem
Francês	Bem	Razoável	Pouco	Bem
Espanhol	Bem	Bem	Pouco	Bem
Italiano	Bem	Razoável	Pouco	Bem
Holandês	Bem	Bem	Bem	Bem
Libras	—	Pouco	—	Pouco

Atuação profissional

05 registros

2024 – presenteVínculo atual
JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (IMPRESSO)
Membro de corpo editorial
2009 – presenteVínculo atual
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH
Membro de corpo editorial
2006 – presenteVínculo atualDedicação exclusiva
Universidade de São Paulo
Professor associadoServidor Publico40h/sem
2001 – 2006Dedicação exclusiva
Universidade de São Paulo
Professor doutorServidor Publico40h/sem
1995 – 2000
Universidade de Amsterdã
pesquisadora visitanteColaborador

Produção bibliográfica

105 registros

77 de 77 itens

Por página

2024
Contractions Based on Optimal Repairs
BAADER, FRANZ; Renata Wassermann · 21st International Conference on Principles of Knowledge Representation and Reasoning {KR2023} · International Joint Conferences on Artificial Intelligence Organization · ISBN 9781956792058 · Hanoi
2023
Eu, Tu, Ele, Ela, Elu, Nós, Vós, Eles, Elas, Elus por um Modelo de Linguagem Neutra
LOPES, WASHINGTON ROBERTO; ZILBERMAN, BE; DA CRUZ, BRUNA MAGRINI; CRUZ, LETICIA DOS SANTOS MONTE; GOMES, RAFAELLA ALVES LUCENA; Renata Wassermann +2 autores · Encontro Nacional de Inteligência Artificial e Computacional · Brasil
2022
Hyperintensional Partial Meet Contractions
SOUZA, MARLO; Renata Wassermann · 19th International Conference on Principles of Knowledge Representation and Reasoning {KR2022} · International Joint Conferences on Artificial Intelligence Organization · ISBN 9781956792010 · Haifa
2022
Repairing Ontologies via Kernel Pseudo-Contraction
MATOS, VINÍCIUS BITENCOURT; Renata Wassermann · 20th International Workshop on Non-Monotonic Reasoning (NMR 2022) · CEUR · Haifa
2022
Hyperintensional Models and Belief Change
SOUZA, MARLO; Renata Wassermann · Brazilian Conference on Intelligent Systems · Springer · Campinas
2021
Belief Contraction in Non-classical logics as Hyperintensional Belief Change
SOUZA, MARLO; Renata Wassermann · 18th International Conference on Principles of Knowledge Representation and Reasoning {KR2021} · International Joint Conferences on Artificial Intelligence Organization · ISBN 9781956792997 · Hanoii
2021
Multiple Selective Revision
Fillipe Manoel Xavier Resina; Renata Wassermann · International Workshop on Non-Monotonic Reasoning · Hanoii
2020
Choosing What to Believe - New Results in Selective Revision
RESINA, FILLIPE; GARAPA, MARCO; Renata Wassermann; FERMÉ, EDUARDO; REIS, MAURÍCIO · 17th International Conference on Principles of Knowledge Representation and Reasoning {KR2020} · ISBN 9780999241172 · Rhodes
2020
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)
Débora Lina Ciriaco; Alexandre Pessoa; Laís Salvador; Renata Wassermann · XIII Seminar on Ontology Research in Brazil (Ontobras) · Vitória
2020
A Survey on Multiple Revision
Fillipe Manoel Xavier Resina; Renata Wassermann · International Workshop on Non-Monotonic Reasoning · Rhodes
2019
Belief Change and Non-monotonic Reasoning sans Compactness
Jandson Santos Ribeiro; Abhaya Nayak; Renata Wassermann · AAAI Conference on Artificial Intelligence (AAAI-19) · AAAI Press · Honolulu
2019
Belief Update without Compactness in Non-finitary Languages
Jandson Santos Ribeiro; Abhaya Nayak; Renata Wassermann · International Joint Conference on Artificial Intelligence · ijcai.org · Macau
2018
Two AGM-Style Characterizations of Model Repair
Paulo de Tarso Guerra Oliveira; Renata Wassermann · Principles of Knowledge Representation and Reasoning · AAAI Press · Tempe, Arizona
2018
Towards Belief Contraction without Compactness
Jandson Santos Ribeiro; Abhaya Nayak; Renata Wassermann · Principles of Knowledge Representation and Reasoning · AAAI Press · Tempe, Arizona
2018
Ontology Stratification Methods: A Comparative Study
Ricardo Ferreira Guimarães; Uli Sattler; Renata Wassermann · International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2018) · Tempe, Arizona
2017
Utilização de Ontologia para Busca em Base de Dados de Acórdãos do STF
Rafael Brito de Oliveira; Renata Wassermann · Ontobras · Brasília
2017
OntoMongo- Ontology-Based Data Access for NoSQL.
Barbara Tieko Agena; Thiago Henrique Dias Araujo; kelly rosa braghetto; Renata Wassermann · Ontobras · Brasília
2017
Local Change in Ontologies with Atomic Decomposition
Ricardo Ferreira Guimarães; Renata Wassermann · Joint Ontology Workshops (JOWO) · Bolzano
2017
Iterated Belief Change the Case of Expansion Into Inconsistency
FERME, EDUARDO; Renata Wassermann · 2017 Brazilian Conference on Intelligent Systems (BRACIS) · IEEE · ISBN 9781538624074 · Uberlandia
2016
Consolidating Probabilistic Knowledge Bases via Belief Contraction
Glauber de Bona; Marcelo Finger; Marcio Moretto Ribeiro; Yuri David Santos; Renata Wassermann · Principles of Knowledge Representation and Reasoning (KR) · AAAI Press · Cidade do Cabo
2016
On the use of ontologies for search in a collaborative system for architectural images
Marisol Solis Yucra; Vânia Mara Alves Lima; Renata Wassermann · 14th International ISKO Conference · Rio de Janeiro
2015
Between Belief Bases and Belief Sets: Partial Meet Contraction
Yuri David Santos; Marcio Moretto Ribeiro; Renata Wassermann · International Workshop on Defeasible and Ampliative Reasoning, DARe · Buenos Aires
2015
Ontology Repair Through Partial Meet Contraction
Raphael Mendes de Oliveira Cóbe; Renata Wassermann · International Workshop on Defeasible and Ampliative Reasoning, DARe 2015 · Buenos Aires
2015
Li-Fraumeni Ontology: A Case Study of an Ontology for Knowledge Discovery in a Cancer Domain
BUDARUICHE, RICARDO M.S.; Renata Wassermann; PATRAO, DIOGO F.C.; ACHATZ, MARIA I.W. · 2015 Brazilian Conference on Intelligent Systems (BRACIS) · ISBN 9781509000166 · Natal
2014
Minimal Change in AGM Revision for Non-classical Logics
Ribeiro, Márcio M.; Renata Wassermann · International Conference on Principles of Knowledge Representation and Reasoning (KR) · AAAI Press · Viena

Produção técnica

02 registros

2 de 2 itens

Por página

2019
Supervisão de Facilitadores Univesp
Renata Wassermann · Supervisionar alunos de pós graduação que atuam como facilitadores da Univesp
2008
Integração de dados clínicos
Renata Wassermann; PATRAO, DIOGO F.C.; Marcelo Finger · Avaliar os problemas de integração de dados de diversos bancos de dados legados no hospital A.C.Camargo.

Projetos

13 registros

Projetos de pesquisa e de desenvolvimento tecnológico registrados no Currículo Lattes.

13 de 13 projetos

Por página

2014 – presentePesquisa
Revisão de modelos
Em andamento
Financiadores
- Conselho Nacional de Desenvolvimento Científico e Tecnológico · AUXILIO_FINANCEIRO
Equipe
Renata Wassermann (Responsável), Paulo de Tarso Guerra Oliveira, Aline Andrade
2013 – 2015Pesquisa
LoRMAE ? Logics for Reasoning in Multi-Agent Environments
Concluído
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).
Equipe
Renata Wassermann (Responsável), Marcelo Finger, Marcio Moretto Ribeiro, Andreas Herzig, Tiago de Lima
2011 – 2013Pesquisa
OnAIR 2.0
Em andamento
Financiadores
- Fundação de Amparo à Pesquisa do Estado de São Paulo · AUXILIO_FINANCEIRO
Equipe
Renata Wassermann (Responsável), Fábio Kon
2010 – 2012Pesquisa
Revisão de Crenças em Lógicas Não Clássicas
Em andamento
Financiadores
- Conselho Nacional de Desenvolvimento Científico e Tecnológico · AUXILIO_FINANCEIRO
Equipe
Renata Wassermann (Responsável)
2009 – 2012Pesquisa
LogProb
Em andamento
Projeto Temático
Financiadores
- Fundação de Amparo à Pesquisa do Estado de São Paulo · AUXILIO_FINANCEIRO
Equipe
Renata Wassermann, Marcelo Finger (Responsável), Leliane Nunes de Barros, Paulo Eduardo Santos, Fabio Gagliardi Cozman, Anna Helena Reali Costa
2008 – 2010Pesquisa
Revisão de Especificações Formais
Em andamento
Financiadores
- Conselho Nacional de Desenvolvimento Científico e Tecnológico · AUXILIO_FINANCEIRO
Equipe
Renata Wassermann (Responsável), Marcelo Finger, Mario Roberto Folhadela Benevides
2005 – 2009Pesquisa
Logical Consequence and Combination of Logics
Em andamento
Projeto temático FAPESP 2004/14107-2.
Financiadores
- Fundação de Amparo à Pesquisa do Estado de São Paulo · AUXILIO_FINANCEIRO
Equipe
Renata Wassermann, Marcelo Finger, Walter Alexandre Carnielli (Responsável), Marcelo Esteban Coniglio, Marcio Moretto Ribeiro
2003 – 2005Pesquisa
Knowledge Sharing and Communication among Heterogeneous Autonomous Intelligent Agents
Em andamento
Financiadores
- Fundação de Amparo à Pesquisa do Estado de São Paulo · AUXILIO_FINANCEIRO
Equipe
Renata Wassermann, Flavio Soares Correa da Silva (Responsável), Marcelo Finger, Ana Cristina Vieira de Melo, Leliane Nunes de Barros
2003 – 2005Pesquisa
BIBO
 Intelligent Search Based on Ontologies
Em andamento
Financiadores
- Conselho Nacional de Desenvolvimento Científico e Tecnológico · AUXILIO_FINANCEIRO
Equipe
Renata Wassermann (Responsável), Flavio Soares Correa da Silva, Leliane Nunes de Barros
2003 – 2004Desenvolvimento
ECLIPSE IDE for CIAO PROLOG
Em andamento
Financiadores
- IBM · BOLSA
Equipe
Renata Wassermann (Responsável), Flavio Soares Correa da Silva
2001 – 2002Pesquisa
Provadores de Teorema Livres de Estrutura e Revisão de Crenças
Concluído
Financiadores
- Conselho Nacional de Desenvolvimento Científico e Tecnológico · AUXILIO_FINANCEIRO
Equipe
Renata Wassermann, Marcelo Finger (Responsável)
2001 – 2002Pesquisa
Lógicas não Monotônicas para Modelos
 Alternativos de Revisão de Crenças
Concluído
Financiadores
- VITAE · AUXILIO_FINANCEIRO
- Fundación Antorchas · AUXILIO_FINANCEIRO
- Universidade de Buenos Aires · COOPERACAO
Equipe
Renata Wassermann (Responsável), Eduardo Fermé
1996 – 1998Pesquisa
Reasoning with Uncertainty
Concluído
Financiadores
- Universidade de Amsterdã · COOPERACAO
- Nederlandse Organisatie voor Wetenschappelijk Onderzoek · AUXILIO_FINANCEIRO
Equipe
Renata Wassermann, Michiel van Lambalgen (Responsável)

Orientações

2 de 2 orientações

Por página

Mestrado
desde 2022
Vivian Magri Alcaldi Soares · Orientação
Ontology Extraction from Natural Language · Ciências da Computação · Universidade de São Paulo · Bolsa Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Em andamento
Mestrado
desde 2021
Izabela Paulino Fonseca · Orientação
Integração de sistemas do SUS · Ciências da Computação · Universidade de São Paulo
Em andamento

Bancas julgadoras

37 registros

37 de 37 bancas

Por página

2025
Concurso de Contratação de Professor Doutor
· Universidade de São PauloBanca: Manuela da Silva Souza, Ciro Russo, Rodrigo Roque Dias, Cristián Andrés Ortiz González, Renata Wassermann
Concurso público
2018
Concurso de Contratação de Professor Doutor
· Universidade Federal do ParanáBanca: Renata Wassermann
Concurso público
2015
Contratação de Professor Doutor
· Universidade de São PauloBanca: Renata Wassermann
Concurso público
2014
Alexandre Matos Arruda
Abdução Clássica e Abdução Probabilística: a busca pela explicação de dados reais · Ciências da Computação · Universidade de São PauloBanca: Marcelo Finger, Fabio Gagliardi Cozman, Renata Wassermann, Mario Roberto Folhadela Benevides, Paulo Eduardo Santos
Doutorado
2014
Pedro Losco Takecian
Diretrizes metodológicas e validação estatística de dados para a construção de data warehouses · Ciências da Computação · Universidade de São PauloBanca: João Eduardo Ferreira, Renata Wassermann, Ana Carolina Brandão Salgado, Isabel Cristina Italiano, Márcio Katsumi Oiakawa
Doutorado
2014
Rafael Rodrigues Testa
Revisão de Crenças Paraconsistente baseada em um operador formal de consistência · Filosofia · Universidade Estadual de CampinasBanca: Marcelo Esteban Coniglio, Renata Wassermann, Wagner Sanz, Walter Alexandre Carnielli, Silvio Chibeni
Doutorado
2014
Ryan Ribeiro de Azevedo
Aprendizado Interativo: uma Abordagem para Construção de Ontologias em Lógica de Descrições a partir de Interações em Linguagem Natural e Raciocínio Automático · Ciências da Computação · Universidade Federal de PernambucoBanca: Anjolina Grisi de Oliveira, Renata Vieira, Renata Wassermann
Exame de qualificação de doutorado
2014
Marlo Vieira dos Santos e Souza
Dinâmica epistêmica em linguagens de Programação BDI · Computação · Universidade Federal do Rio Grande do SulBanca: Álvaro Freitas Moreira, Rafael Bordini, Ana Lucia C. Bazzan, Renata Wassermann
Exame de qualificação de doutorado
2012
Erika Guetti Suca
Interoperabilidade de documentos digitais usando ontologias · Ciências da Computação · Universidade de São PauloBanca: Flavio Soares Correa da Silva, Renata Wassermann, Pedro Pizzigatti
Mestrado
2012
Filipe Santana da Silva
Ontologias e as Doenças Tropicais Negligenciáveis - NTDO · Ciências da Computação · Universidade Federal de PernambucoBanca: Frederico Luiz Gonçalves de Freitas, Anjolina Grisi de Oliveira, Renata Wassermann
Mestrado
2012
Eduardo Menezes de Morais
Answer Set Programming Probabilístico · Ciências da Computação · Universidade de São PauloBanca: Renata Wassermann, Flavio Soares Correa da Silva, Paulo Eduardo Santos
Mestrado
2012
Zhiqiang Zhuang
Belief Revision Under the Horn Fragment of Propositional Logic · Computer Science · University of New South WalesBanca: Maurice Pagnucco, James Delgrande, Renata Wassermann
Doutorado
2012
Ricardo Shirota Filho
Processos de Decisão Markovianos com Probabilidades Imprecisas e Representações Relacionais: Algoritmos e Fundamentos · Engenharia Mecânica · Universidade de São PauloBanca: Fabio Gagliardi Cozman, Kate Revoredo, Jaime Shinsuke Ide, Leliane Nunes de Barros, Renata Wassermann
Doutorado
2011
JOSÉ EDUARDO OCHOA LUNA
LÓGICAS PROBABILÍSTICAS COM RELAÇÕES DE INDEPENDÊNCIA: REPRESENTAÇÃO DE CONHECIMENTO E APRENDIZADO DE MÁQUINA · Engenharia Mecânica · Universidade de São PauloBanca: Kate Revoredo, José Reinaldo Silva, Newton Maruyama, Renata Wassermann, Fabio Gagliardi Cozman
Doutorado
2010
Ary Fagundes Bressane Neto
Uma arquitetura para agentes inteligentes com personalidade e emoção · Ciências da Computação · Universidade de São PauloBanca: Flavio Soares Correa da Silva, Renata Wassermann, Márcio Lobo Netto
Mestrado
2010
Menandro Ribeiro Santana
MONK: proposta de um motor de inferência híbrido para a web semântica · Ciências da Computação · Universidade Federal de PernambucoBanca: Frederico Luiz Gonçalves de Freitas, Anjolina Grisi de Oliveira, Renata Wassermann
Mestrado
2010
Kevin Lee
Inconsistency Management for Description Logics · Computer Science · University of New South WalesBanca: Norman Foo, Thomas Meyer, Kewen Wang, Pavlos Peppas, Renata Wassermann
Doutorado
2009
Luis Gustavo Nardin
Uma arquitetura de apoio à interoperabilidade de modelos de reputação de agentes · Engenharia Elétrica · Universidade de São PauloBanca: Jaime Simão Sichman, Virginia Dignum, Renata Wassermann
Mestrado
2009
José Eduardo Ochoa Luna
Algoritmos para lógica probabilística de primeira ordem · Engenharia Mecânica · Universidade de São PauloBanca: Fabio Gagliardi Cozman, Renata Wassermann, Newton Maruyama
Exame de qualificação de doutorado
2008
Filipe Correa Lima da Silva
Uma ferramenta para o ensino de inteligência artificial usando jogos de computador. · Ciências da Computação · Universidade de São PauloBanca: Flavio Soares Correa da Silva, Esteban Walter Gonzalez Clua
Mestrado
2008
Rodolfo Coura de Brito
Interpretação de sequências de imagem baseado em uma semântica de caminhos · Engenharia Elétrica · FUNDACAO EDUCACIONAL INACIANA PADRE SABOIA DE MEDEIROSBanca: Paulo Eduardo Santos, Flavio Tonidandel
Mestrado
2008
Ana Luísa de Cerqueira Leite Duboc
Utilizando a Cláusula mais Específica na Revisão deTeorias de Primeira Ordem a Partir de Exemplos · Engenharia de Sistemas e Computação · Universidade Federal do Rio de JaneiroBanca: Gerson Zaverucha, Mario Roberto Folhadela Benevides, Sheila Regina Murgel Veloso
Mestrado
2007
Adolfo Gustavo Serra Seca Neto
Um provador de teoremas multi-estratégia · Ciencia da Computacao · Universidade de São PauloBanca: Marcelo Finger, Mario Roberto Folhadela Benevides, Guilherme Bittencourt, Walter Alexandre Carnielli
Doutorado
2005
Guilherme de Souza Rabello
Aproximações de Lógicas Modais · Matemática · Universidade de São PauloBanca: Marcelo Finger, Mario Roberto Folhadela Benevides
Mestrado
2005
Sara Jane Casare
Uma ontologia funcional para reputação · Engenharia Elétrica · Universidade de São PauloBanca: Jaime Simão Sichman, Edson Satoshi Gomi
Mestrado

Revisor de periódico

13 registros

2010 – presenteVínculo atual
Journal of Web Semantics
Revisor de periódico
2010 – presenteVínculo atual
Journal of Philosophical Logic
Revisor de periódico
2010 – presenteVínculo atual
Knowledge-Based Systems
Revisor de periódico
2009 – presenteVínculo atual
Journal of Artificial Intelligence Research
Revisor de periódico
2009 – presenteVínculo atual
Annals of Mathematics and Artificial Intelligence
Revisor de periódico
2007 – presenteVínculo atual
Journal of Universal Computer Science
Revisor de periódico
2005 – presenteVínculo atual
Journal of the Brazilian Computer Society
Revisor de periódico
2004 – presenteVínculo atual
Journal of Applied Non-Classical Logics
Revisor de periódico
2000 – presenteVínculo atual
Journal of Logic and Computation
Revisor de periódico
2000 – presenteVínculo atual
Studia Logica
Revisor de periódico
2000 – presenteVínculo atual
Theoria (Lund)
Revisor de periódico
2000 – presenteVínculo atual
Synthese (Dordrecht)
Revisor de periódico
2000 – presenteVínculo atual
Artificial Intelligence
Revisor de periódico

Participação em eventos

09 registros

9 de 9 participações

Por página

2005
Membro do comitê de programa do Workshop on Belief Revision and Dynamic Logic
Workshop on Belief Revision and Dynamic Logic · Outras Formas · Participante · Edimburgo
2004
Membro do comitê de programa do International Workshop on
Non-Monotonic Reasoning (subworshop Belief Change)
International Workshop on Non-Monotonic Reasoning (subworshop Belief Change) · Whistler
2004
Membro do comitê de programa do Simpósio Brasileiro de Inteligência Artificial
Simpósio Brasileiro de Inteligência Artificial · São Luís
2003
Membro do comitê de programa do Workshop on Logic, Language,
 Information and Computation
Workshop on Logic, Language,
 Information and Computation · Ouro Preto
2003
Membro do comitê de programa da International Conference on Information and Knowledge Sharing
International Conference on Information and Knowledge Sharing · Scottsdale
2002
Membro do comitê de programa da International Conference on Information and Knowledge Sharing
· St. Thomas
2001
Membro do comitê de organização do Workshop on Logic, Language,
 Information and Computation
Workshop on Logic, Language,
 Information and Computation · Brasília
2000
Membro do comitê de programa e organização do International
Workshop on Belief Change: Theory and Practice
International
Workshop on Belief Change: Theory and Practice · Breckenridge
1999
Membro do comitê de organização
do Fourth Dutch-German Workshop on Non-monotonic Reasoning
Fourth Dutch-German Workshop on
Non-monotonic Reasoning · Amsterdã

Coautorias

12 coautores

Na imprensa

beta

Versão beta: esta seção é experimental e pode ser alterada ou removida a qualquer momento, e os dados podem estar incompletos ou incorretos.

As notícias são ligadas ao docente automaticamente, pelas etiquetas do Jornal ou pelo nome no texto (o nome abreviado só conta quando vem depois de um título como “professora”). Homônimos ficam de fora; ainda pode haver falsos positivos e omissões.