Dr. Jandson Santos Ribeiro Santos

Curriculum Vitae

Studium und Ausbildung

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 Games

Akademischer Werdegang

2021 - Wissenschaftlicher Mitarbeiter, FernUniversität in Hagen
2020 - 2021 Wissenschaftlicher Mitarbeiter, Universität Koblenz-Landau

Auszeichnungen

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 Yearby Macquarie University
2020 Vice-Chancellor’s Commendation for Academic Excellence Award.to PhD Thesis 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 Compactness. In International Conference on Principles of Knowledge Representation and Reasoning modify to Reasoning (16th KR): 287-296
2018 Computing HDR Research Excellence Award, by Macquarie University.

Sprachkenntnisse

  • Englisch: Proficient
  • Deutsch: A1.2
  • Französisch: DELF B1
  • Portugiesisch: Muttersprache

Betreute Arbeiten

Abschlussarbeiten

Forschungsschwerpunkte

  • Artificial Intelligence
  • Knowledge Representation and Reasoning
  • Formal Methods and Logics

Publikationen

Beiträge in referierten Zeitschriften

  • Jandson S Ribeiro. „A Visit to Belief Change without Compactness“. In:CLEI Electron. J.24.1 (2021)

Beiträge in referierten Konferenzbänden

  • 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
31.01.2024