CV Lattes
ORCID
Google Scholar Citations
Universidade de São Paulo (USP). Escola Politécnica (EP) (Institutional affiliation from the last research proposal) Birthplace: Brazil
Bachelor's degree at Computer Engineering from the Aeronautics Institute of Technology (2006), master degree at Computer Science from University of São Paulo (2011) and doctorate degree at Computer Science from University of São Paulo (2016). Post-doctoral terms at University College London (2017) and University of Sao Paulo (2018). Current research intererests aim at mitigating existential risks posed by AI. (Source: Lattes Curriculum)
| News published in Agência FAPESP Newsletter about the researcher |
| More itemsLess items |
| TITULO |
| Articles published in other media outlets ( ): |
| More itemsLess items |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
Probabilistic logic is at the intersection of the deductive and the inductive ways of reasoning and is one of the approaches to handling uncertainty in artificial intelligence. The most common probabilistic logics are propositional, lacking the power to deal with objects and predicates, which requires a first-order logic. Nevertheless, embedding probabilities into classical first-order lo…
In Artificial Intelligence, we often come across inconsistencies, hence the importance of its handling. When we deal with inconsistent pieces of information, we are interested in analysing such inconsistency. As usually not every part is contributing to the inconsistency of the whole, this analysis starts with a crucial question: "where is the inconsistency?" or, more precisely, "which pa…
| 1 / 1 | Completed scholarships in Brazil |
| 1 / 1 | Completed scholarships abroad |
| 2 / 2 | All Scholarships |
| Associated processes | |