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)
| News published in Agência FAPESP Newsletter about the researcher |
| TITULO |
| Articles published in other media outlets (0 total): |
| More itemsLess items |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
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 for…
(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 modularisa…
(Only some records are available in English at this moment)
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. Sinc…
| 15 / 13 | Completed research grants |
| 10 / 4 | Completed scholarships in Brazil |
| 1 / 1 | Completed scholarships abroad |
| 26 / 18 | All research grants and scholarships |
| Associated processes | |
CV Lattes
ORCID