About Me

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.

Contact Details

Artificial Intelligence Group
Universitätsstr. 1, Building 3
FernUniversität in Hagen
Hagen, Germany

jandson.ribeiro@fernuni-hagen.de

Education

PhD, Computer Science

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

Master of Science, Computer Science

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)

Bachelor of Science, Computer Science

Federal University of Bahia January 2014

Thesis Title : Implementation of KMTS Model Refinement Based on Model Checking Games
Supervisors : Professor Aline Andrade

Publications

Journals

(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)

Conference Full Papers

(2022) Kernel Contraction and the Order of Relevance. Jandson S. Ribeiro. KR 2022 (forthcoming)

(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]

International Workshops

(2021) Revising Ontologies via Models: The ALC-formula Case. Jandson S. Ribeiro , Ricardo Guimarães, and Ana Ozaki. Description Logics 2021 [pdf]

Extended Abstracts

(2017) CTL Model Revision. Jandson S. Ribeiro and Renata Wassermann. EBL-17

Prizes and Awards

(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.

Services

Events Organisation

2022: Doctoral Consortium at RK 2022 (co-chair)

Program Committee

2022: IJCAI-22, KR-22, AAAI-22
2021: IJCAI-21, KR-21, PRICAI-21
2020: IJCAI-20

Reviewer

Journals: Journal of Artificial Intelligence Research (JAIR),
ACM Transactions on Computational Logic (TOCL)
Conferences: KR 2020, JELIA 2019, BRACIS 2018.