CV Lattes
Universidade Estadual de Campinas (UNICAMP). Centro de Lógica, Epistemologia e História da Ciência (CLE) (Institutional affiliation from the last research proposal) Birthplace: Brazil
Kleidson Êglicio Carvalho da Silva Oliveira in research grants and scholarships supported by FAPESP.
| 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) |
From the interaction between areas as Computer Science, Logic and Automated Deduction comes an important new area called Logic Programming. This has been used continuously in the theoretical study and practical applications in various fields of Artificial Intelligence. After increasing the number of types of non-classical logics and with the assurance that human thought is not limited to …
| 2 / 2 | Completed scholarships in Brazil |
| Associated processes | |