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). Currently, an assistant professor at the University of Sao Paulo, researching mainly the following subjects: logic, artificial intelligence and formal epistemology. (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) |
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 | Ongoing scholarships abroad |
| 2 / 2 | All Scholarships |
| Associated processes | |
CV Lattes
ORCID