Dr Jandson Santos Ribeiro Santos
Teams and roles for Jandson Santos Ribeiro Santos
Overview
I am a Lecturer at Cardiff University in the UK. My research revolves around Knowledge Representation, Logics, Belief Change, Non-Monotonic Reasoning, Inconsistency Measures and Formal Methods.
Publication
2024
- Santos Ribeiro Santos, J. 2024. Semantic constructions for belief base contraction: Partial meet vs smooth kernel. Presented at: 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, 2-8 November 2024. pp. 620-630., (10.24963/kr.2024/58)
- Ozaki, A. and Santos Ribeiro Santos, J. 2024. Eviction and reception for description logic concepts (extended abstract). Presented at: 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, 12 - 21 JuneProceedings 37th International Workshop on Description Logics, Vol. 3739.
Conferences
- Santos Ribeiro Santos, J. 2024. Semantic constructions for belief base contraction: Partial meet vs smooth kernel. Presented at: 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, 2-8 November 2024. pp. 620-630., (10.24963/kr.2024/58)
- Ozaki, A. and Santos Ribeiro Santos, J. 2024. Eviction and reception for description logic concepts (extended abstract). Presented at: 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, 12 - 21 JuneProceedings 37th International Workshop on Description Logics, Vol. 3739.
Biography
Honours 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.
Contact Details
Specialisms
- Artificial intelligence
- Knowledge representation and reasoning
- Logics