About Me

I am a Lecturer (equivalent to assistent professor) at Cardiff University in the UK. Before joining Cardiff, I worked as a Postdoctoral Researcher in Germany at FernUniversität Hagen and University of Koblenz-Landau (since 2020). 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. My research revolves around Knowledge Representation, Logics, Belief Change, Non-Monotonic Reasoning, Inconsistency Measures and Formal Methods.

Contact Details

Abacws, Room 5.21
Senghennydd Road, Cathays
Cardiff, CF24 4AG
santosribeirosantosj@cardiff.ac.uk

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

(2023) Measuring Inconsistency with the Tableau Method. Jandson S. Ribeiro and Matthias Thimm. Journal of Applied Logic, vol 10. no. 5, pp 643 - 691. [pdf]

(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

(2023) Finite Based Contraction and Expansion via Models. Ricardo Guimarães, Ana Ozaki and Jandson S Ribeiro. AAAI 2023 [full paper]

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

International Workshops

(2023) Towards a Semantic Construction for Belief Base Contraction: Partial Meet vs Smooth Kernel (Preliminary Report) Jandson S. Ribeiro . NMR23 [pdf]

(2023) Eviction and Reception for Description Logic Ontologies (Preliminary Results) Ricardo Guimarães, Ana Ozaki and Jandson S. Ribeiro. NMR23 [pdf]

(2023) Eviction and Reception for Description Logic Ontologies (Preliminary Results) Ricardo Guimarães, Ana Ozaki and Jandson S. Ribeiro Description Logics - DL 2023 [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]

Extended Abstracts

(2023) Finite Based Contraction and Expansion via Models. Ricardo Guimaraes, Ana Ozaki and Jandson S. Ribeiro. KR23 (Recently Published Track)

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

Prizes and Awards

(2023) Best Paper Award , NMR 23

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

Invited Talks

2024: Belief Change: Foundation and Frontiers. Fifth Nordic Logic Summer School. Reykjavik, Iceland
2022: Kernel Contraction and the Order of Relevance. Seminars of ToLOCA - Computer Theory, Logics, Optimization, Combinatory and Algorithms. Federal University of Bahia, Salvador, Brazil.
2019: On Compactness and Belief Update. Knowledge Representation and Reasoning Conventicle. School of Computer Science and Engineering, UNSW. Sydney, Australia.

Services

Events Organisation

2022: Doctoral Consortium at RK 2022 (co-chair)
XX Brazilian Logic Conference - EBL
Workshop on Logics for Middle and High School Students (Wolf)

Program Committee

2024: IJCAI-24, KR-24, AAAI-24, NMR-24, AAMAS-24, PRICAI-24
2023: IJCAI-23, KR-23, AAAI-23, NMR-23
2022: IJCAI-22, KR-22, AAAI-22, NMR-22
2021: IJCAI-21, KR-21, PRICAI-21
2020: IJCAI-20

Reviewer

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