Dr. Jandson Santos Ribeiro Santos
Photo: Privat
homepage: https://jandsonribeiro.github.io/home/
Curriculum vitae
Education
2020 | PhD in Computer Science, Macquarie University (Australia) and University of São Paulo (Brazil) - Cotutelle Thesis: Belief Change without Compactness |
2016 | MSc in Computer Science, Federal University of Bahia, Brazil Thesis: A Solution for Refinement of KMTSs Based on Model Checking Games |
2014 | BSc in Computer Science, Federal University of Bahia, Brazil Thesis: Implementation of KMTS Model Refinement Based on Model Checking GamesSupervisors |
Academic Positions
2021 - | Postdoctoral Researcher; University of Hagen, Germany |
2020 - 2021 | Postdoctoral Researcher; University of Koblenz-Landau, Germany |
Prizes and Awards
2020 | Best Latin American PhD Thesis in Computer Science (2nd Place) by Latin American Center for Computer Studies (CLEI) |
2020 | Top 3 PhD Theses of the Year by Macquarie University |
2020 | Vice-Chancellor’s Commendation for Academic Excellence Award by Macquarie University |
2018 | Marco Cadoli Distinguished Student Paper Prize, KR 2018. to paper: Ribeiro, J S., Nayak, A., Wassermann R., Towards Belief Contraction without Com-pactness. In International Conference on Principles of Knowledge Representation and Reasoning (16th KR): 287-296 |
2018 | Computing HDR Research Excellence Award by Macquarie University. |
Languages
- English: Proficient
- German: A1.2
- French: DELF B1
- Portuguese: Mother-tongue
Research Interests
- Artificial Intelligence,
- Knowledge Representation and Reasoning,
- Formal Methods and Logics
Publications
Journals
- Jandson S Ribeiro. “A Visit to Belief Change without Compactness“. In:CLEI Electron. J.24.1 (2021)
Full Papers on International Conferences
- Jandson S. Ribeiro. “Kernel Contraction and the Order of Relevance”. In Principles of Knowledge Representation and Reasoning: Proceedingsof the 19th International Conference, KR 2022. 2022
- Jandson S. Ribeiro and Matthias Thimm. “Consolidation via Tacit Culpability Measures: Between Explicitand Implicit Degrees of Culpability“. In:Principles of Knowledge Representation and Reasoning: Proceedingsof the 18th International Conference, KR 2021. 2021
- Jandson S Ribeiro, Viorica Sofronie-Stokkermans and Matthias Thimm. “Measuring Disagreement withInterpolants“. In:Proceedings of the 14th International Conference on Scalable Uncertainty Management(SUM’20). 2020, pp. 84–97
- Jandson S Ribeiro, Abhaya Nayak and Renata Wassermann. “Belief Update without Compactness inNon-finitary Languages“. In:Proceedings of the Twenty-Eighth International Joint Conference on ArtificialIntelligence, IJCAI 2019, Macao, China, August 10-16, 2019. ijcai.org, 2019, pp. 1858–1864
- Jandson S Ribeiro, Abhaya Nayak and Renata Wassermann. “Belief Change and Non-Monotonic Reas-oning Sans Compactness“. In:The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019. AAAIPress, 2019, pp. 3019–3026
- Jandson S Ribeiro, Abhaya Nayak and Renata Wassermann. “Towards Belief Contraction withoutCompactness“. In:Principles of Knowledge Representation and Reasoning: Proceedings of the SixteenthInternational Conference, KR 2018. AAAI Press, 2018, 287–296 (awarded the prestigious Marco CadoliDistinguished Student paper Prize)
- Jandson S Ribeiroand Aline Andrade. “A 3-Valued Contraction Model Checking Game: Deciding on theWorld of Partial Information“. In:Formal Methods and Software Engineering - 17th International Conferenceon Formal Engineering Methods, ICFEM 2015, Proceedings. Vol. 9407. Lecture Notes in Computer Science.Springer, 2015, pp. 84–99Papers on International
- Jandson S. Ribeiro, ernel Contraction and the Order of Relevance.
- Jandson S. Ribeiro, Towards a Semantic Construction for Belief Base Contraction (A Preliminary Report).
Workshops
- Jandson S. Ribeiro, Ricardo Guimar ̃aes and Ana Ozaki. “Revising Ontologies via Models: The ALC-formula Case“. In:The 34th International Workshop on Description Logics (DL 2021). 2021
10.05.2024