Personal information

Websites & social links

Home Page

Other IDs

ResearcherID: N-6712-2015

Countries

Germany, Australia, United Kingdom, Brazil

Activities

Collapse all

Employment (3)

Cardiff University: Cardiff, GB

2024 to present
Employment
Source: Self-asserted source
Jandson S. Ribeiro

FernUniversität in Hagen: Hagen, Nordrhein-Westfalen, DE

2021-08-01 to 2023 | Researcher (Faculty of Mathematics and Computer Science)
Employment
Source: Self-asserted source
Jandson S. Ribeiro

Universität Koblenz-Landau Fachbereich 03 Mathematik/Naturwissenschaften: Koblenz, Rheinland-Pfalz, DE

2020-02-26 to 2021-07-30 | Researcher (Computer Science)
Employment
Source: Self-asserted source
Jandson S. Ribeiro

Education and qualifications (3)

Macquarie University: Sydney, New South Wales, AU

2020-04-15 | PhD (Department of Computing)
Education
Source: Self-asserted source
Jandson S. Ribeiro

University of São Paulo: São Paulo, SP, BR

2016-02 to 2020-01-27 | PhD (Department of Computing)
Education
Source: Self-asserted source
Jandson S. Ribeiro

Federal University of Bahia: Salvador, BA, BR

2014-02 to 2016-01 | Masters (Department of Computing Science)
Education
Source: Self-asserted source
Jandson S. Ribeiro

Professional activities (4)

Macquarie University: Sydney, New South Wales, AU

2020 | Vice-Chancellor’s Commendation for Academic Excellence Award
Distinction
Source: Self-asserted source
Jandson S. Ribeiro

Centro Latinoamericano de Estudios en Informática: Valparaiso, South America, CL

2020 | Best Latin American PhD Thesis in Computer Science (2nd Place)
Distinction
Source: Self-asserted source
Jandson S. Ribeiro

Macquarie University: Sydney, New South Wales, AU

2018 | HDR Research Excellence Award (Department of Computing)
Distinction
Source: Self-asserted source
Jandson S. Ribeiro

KR - Principles of Knowledge Representation and Reasoning: Massachusetts, US

2018 | Marco Cadoli Distinguished Student Paper Prize
Distinction
Source: Self-asserted source
Jandson S. Ribeiro

Funding (2)

ABC - Algorithms for Belief Change

2022-08 to 2023-03 | Grant
University of Hagen (Hagen, DE)
Source: Self-asserted source
Jandson S. Ribeiro

EBM - Explainable Belief Merging

2022 to present | Grant
Deutsche Forschungsgemeinschaft (Hagen, DE)
Source: Self-asserted source
Jandson S. Ribeiro

Works (15)

Eviction and Reception for Description Logic Ontologies (Extended Abstract)

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023
2023 | Conference paper
URI:

https://ceur-ws.org/Vol-3515/abstract-11.pdf
Contributors: Ricardo Guimarães and Ana Ozaki and Jandson S. Ribeiro; Oliver Kutz and Carsten Lutz and Ana Ozaki
Source: Self-asserted source
Jandson S. Ribeiro

Eviction and Reception for Description Logic Ontologies (Preliminary Results)

Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023), Rhodes, Greece, September 2-4, 2023
2023 | Conference paper
URI:

https://ceur-ws.org/Vol-3464/paper5.pdf
Contributors: Ricardo Guimarães and Ana Ozaki and Jandson S. Ribeiro; Kai Sauerwald and Matthias Thimm
Source: Self-asserted source
Jandson S. Ribeiro

Measuring Inconsistency with the Tableau Method

FLAP
2023 | Journal article
URI:

https://www.collegepublications.co.uk/downloads/ifcolog00061.pdf
Contributors: Jandson S. Ribeiro and Matthias Thimm
Source: Self-asserted source
Jandson S. Ribeiro

Towards a Semantic Construction for Belief Base Contraction: Partial Meet vs Smooth Kernel (Preliminary Report)

Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023), Rhodes, Greece, September 2-4, 2023
2023 | Conference paper
URI:

https://ceur-ws.org/Vol-3464/paper10.pdf
Contributors: Jandson S. Ribeiro; Kai Sauerwald and Matthias Thimm
Source: Self-asserted source
Jandson S. Ribeiro

Finite Based Contraction and Expansion via Models

Proceedings of the AAAI Conference on Artificial Intelligence
2023-06-26 | Conference paper
DOI: 10.1609/aaai.v37i5.25786
Part of ISSN: 2374-3468
Part of ISSN: 2159-5399
Contributors: Ricardo Guimarães; Ana Ozaki; Jandson S. Ribeiro
Source: Self-asserted source
Jandson S. Ribeiro

Towards a Semantic Construction for Belief Base Contraction (A Preliminary Report)

Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022
2022 | Conference paper
URI:

http://ceur-ws.org/Vol-3242/paper0.pdf
Source: Self-asserted source
Jandson S. Ribeiro

Kernel Contraction and the Order of Relevance

Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning
2022-07 | Conference paper
DOI: 10.24963/kr.2022/30
Contributors: Jandson S. Ribeiro
Source: Self-asserted source
Jandson S. Ribeiro

Revising Ontologies via Models: The ALC-formula Case

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021
2021 | Conference paper
URI:

http://ceur-ws.org/Vol-2954/paper-26.pdf
Source: Self-asserted source
Jandson S. Ribeiro

Consolidation via Tacit Culpability Measures: Between Explicit and Implicit Degrees of Culpability

Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning
2021-09 | Conference paper
DOI: 10.24963/kr.2021/50
Source: Self-asserted source
Jandson S. Ribeiro

A Visit to Belief Change without Compactness

CLEI Electronic Journal
2021-04-14 | Journal article
DOI: 10.19153/cleiej.24.1.4
Part of ISSN: 0717-5000
Source: Self-asserted source
Jandson S. Ribeiro

Measuring Disagreement with Interpolants

Lecture Notes in Computer Science
2020 | Book chapter
DOI: 10.1007/978-3-030-58449-8_6
Part of ISBN: 9783030584481
Part of ISBN: 9783030584498
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Source: Self-asserted source
Jandson S. Ribeiro

Belief Change and Non-monotonic Reasoning sans Compactness.

The Thirty-Third AAAI Conference on Artificial Intelligence
2019 | Conference paper
DOI: 10.1609/aaai.v33i01.33013019
Source: Self-asserted source
Jandson S. Ribeiro

Belief Update without Compactness in Non-finitary Languages.

International Joint Conference on Artificial Intelligence
2019 | Conference paper
DOI: 10.24963/ijcai.2019/257
Source: Self-asserted source
Jandson S. Ribeiro

Towards Belief Contraction without Compactness

Knowledge Representation and Reasoning
2018 | Conference paper
Source: Self-asserted source
Jandson S. Ribeiro

A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information

Formal Methods and Software Engineering
2015 | Other
DOI: 10.1007/978-3-319-25423-4_6
Part of ISBN: 9783319254227
Part of ISSN: 0302-9743
Contributors: Jandson S. Ribeiro; Aline Andrade
Source: Self-asserted source
Jandson S. Ribeiro via Crossref Metadata Search
How many people are using ORCID?