I am a Postdoctoral Researcher at FernUniversität Hagen (Germany), since 2021. Previously, I have worked as a Postdoctoral Research at University Koblenz-Landau (Germany). From 2016 to 2020 I was a PhD student at both Macquarie University (Sydney, Australia) and University of São Paulo (São Paulo, Brazil) under a cotutelle agreement. During my PhD, I have been addressing the problem of Belief Change in non-classical logics. This includes a number of logics such as temporal logics which are very important to both Artificial Intelligence (AI) and Formal Methods. My main motivation in extending Belief Change to non-compact logics is to allow the construction of enhanced and more realistic intelligent system in both AI and Formal Methods. My research revolves around Knowledge Representation, Logics, Non-Monotonic Reasoning and Formal Methods.
Artificial Intelligence Group
Universitätsstr. 1, Building 3
FernUniversität in Hagen
Macquarie University (Australia) and University of São Paulo (Brazil)
Thesis Title : Belief Change without Compactness [pdf]
Supervisors : Professor Abhaya Nayak and Professor Renata Wassermann
Federal University of Bahia • January 2016
Thesis Title : A Solution for Refinement of KMTSs Based on Model Checking Games
Supervisors : Professor Aline Andrade
You can access my Master thesis here (in portuguese only)
Federal University of Bahia • January 2014
Thesis Title : Implementation of KMTS Model Refinement Based on Model Checking Games
Supervisors : Professor Aline Andrade
(2021) A Visit to Belief Change without Compactness. Jandson S. Ribeiro,. CLEI electronic journal, vol 24. [pdf]
(2019) Belief Change without Compactness. Jandson S. Ribeiro, Abhaya Nayak, and Renata Wassermann. Artificial Intelligence Journal (AIJ). (paper invited for fast track publication, in preparation)
(2023) Finite Based Contraction and Expansion via Models. Ricardo Guimarães, Ana Ozaki and Jandson S Ribeiro. AAAI 2023 (forthcoming)
(2022) Kernel Contraction and the Order of Relevance. Jandson S. Ribeiro. KR 2022 [full paper] | [full proofs](2021) Consolidation via Tacit Culpability Measures: Between Explicit and Implicit Degrees of Culpability. Jandson S. Ribeiro, and Matthias Thimm. KR 2021 [full paper]
(2020) Measuring Disagreement with Interpolants. Jandson S. Ribeiro, Viorica Sofronie-Stokkermans, and Matthias Thimm. SUM 2020 [full paper]
(2019) Belief Update without Compactness in Non-finitary Languages. Jandson S. Ribeiro, Abhaya Nayak, and Renata Wassermann. IJCAI-19 [full paper]
(2019) Belief Change and Non-monotonic Reasoning sans Compactness. Jandson S. Ribeiro, Abhaya Nayak, and Renata Wassermann. AAAI-19 [full paper]
(2018) Towards Belief Contraction without Compactness. Jandson S. Ribeiro, Abhaya Nayak, and Renata Wassermann. KR-18 [full paper]
(2015) A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information. Jandson S. Ribeiro and Aline Andrade. ICFEM-15 [Springer] | [pdf]
(2022) Towards a Semantic Construction for Belief Base Contraction (A Preliminary Report) Jandson S. Ribeiro . Workshop on Formal and Cognitive Reasoning 2022 [pdf]
(2021) Revising Ontologies via Models: The ALC-formula Case. Jandson S. Ribeiro , Ricardo Guimarães, and Ana Ozaki. Description Logics 2021 [pdf]
(2017) CTL Model Revision. Jandson S. Ribeiro and Renata Wassermann. EBL-17
(2020) Best Latin American PhD Thesis in Computer Science (2nd Place), CLEI.
(2020) Vice Chancellor’s Commendation for Academic Excellence Award (PhD Thesis), Macquarie University.
(2018) HDR Research Excellence Award. Department of Computing, Macquarie University.
(2018) Marco Cadoli Distinguished Student Paper Prize, KR 2018.
|2022:||Doctoral Consortium at RK 2022 (co-chair)|
|2022:||IJCAI-22, KR-22, AAAI-22|
|2021:||IJCAI-21, KR-21, PRICAI-21|
|Journals:||Journal of Artificial Intelligence Research (JAIR),|
|ACM Transactions on Computational Logic (TOCL)|
|Conferences:||KR 2020, JELIA 2019, BRACIS 2018.|