- Research Grants
Bachelor in Computer Science from Universidade de São Paulo (1991), Masters in Applied Mathematics from Universidade de São Paulo (1995), PhD from the University of Amsterdam (1999) and livre-docente (equivalent to the German Habilitation) from Universidade de São Paulo (2005). Associate professor of the Computer Science Department of the Univesrity of São Paulo. Research area: Artificial Intelligence, with emphasis in Logic and Knowledge Representation. (Source: Lattes Curriculum)
We are often faced with different experts of an area whose opinions may differ on a particular subject (a common example is medical consultation). These differences have to be "resolved" in order to reach a consensus and act. This consensus may require each participant to modify some of their opinions/beliefs. In the 80s, the AGM model of belief revision offered a conceptual framework f...
(Only some records are available in English at this moment)
Nowadays, ontologies described in languages such as RDF and OWL are widely used for representing the conceptualization of a domain that can be processed by computers. Reflecting their application, ontologies may need to be updated frequently. The large amount of unstructured information encoded in ontologies makes this already complicated task even harder. We study how ontology modulari...
According to the W3C, ontologies in OWL (or OWL 2) are the standard way to share information in the Semantic Web. Among the many views of ontologies, we adopt here the definition of ontologies as documents describing the conceptualization of a domain, in a computer-processable language. Specifically, we address the problem of repairing and evolving large-scale ontologies efficiently. Si...
(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)
|Data from Web of Science|
(References retrieved automatically from State of São Paulo Research Institutions)
RIBEIRO, Marcio Moretto. Revisão de crenças em lógicas de descrição e em outras lógicas não clássicas. 2010. Tese (Doutorado) – Instituto de Matemática e Estatística. Universidade de São Paulo (USP). São Paulo. (08/54554-9)
CÓBE, Raphael Mendes de Oliveira. Integração entre múltiplas ontologias: reúso e gerência de conflitos. 2014. Tese (Doutorado) – Instituto de Matemática e Estatística. Universidade de São Paulo (USP). São Paulo. (08/10498-8)
RESINA, Fillipe Manoel Xavier. Revisão de crenças em lógicas de descrição - um plug-in para o Protégé. 2014. Dissertação (Mestrado) - Instituto de Matemática e Estatística. Universidade de São Paulo (USP). São Paulo. (11/04477-0)