Dr. Jandson Santos Ribeiro Santos

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