Jandson S. Ribeiro

According to our database, Jandson S. Ribeiro authored at least 19 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The Challenges of Effective AGM Belief Contraction.

Dominik Klumpp, Jandson S. Ribeiro

CoRR, 2024

Walking the Tightrope between Expressiveness and Uncomputability: AGM Contraction beyond the Finitary Realm.

Dominik Klumpp, Jandson S. Ribeiro

Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), 2024

Semantic Constructions for Belief Base Contraction: Partial Meet vs Smooth Kernel.

Jandson S. Ribeiro

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

Eviction and Reception for Description Logic Concepts (Extended Abstract).

Ana Ozaki, Jandson S. Ribeiro

Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

2023

Measuring Inconsistency with the Tableau Method.

Jandson S. Ribeiro, Matthias Thimm

FLAP, 2023

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

Jandson S. Ribeiro

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), 2023

Eviction and Reception for Description Logic Ontologies (Preliminary Results).

Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro

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), 2023

Eviction and Reception for Description Logic Ontologies (Extended Abstract).

Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro

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)., 2023

Finite Based Contraction and Expansion via Models.

Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Kernel Contraction and the Order of Relevance.

Jandson S. Ribeiro

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

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

Jandson S. Ribeiro

Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), 2022

2021

Belief Change without Compactness.

Jandson S. Ribeiro

CLEI Electron. J., 2021

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

Jandson S. Ribeiro, Matthias Thimm

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Revising Ontologies via Models: The ALC-formula Case.

Jandson S. Ribeiro, Ricardo Guimarães, Ana Ozaki

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

2020

Measuring Disagreement with Interpolants.

Jandson S. Ribeiro, Viorica Sofronie-Stokkermans, Matthias Thimm

Proceedings of the Scalable Uncertainty Management - 14th International Conference, 2020

2019

Belief Update without Compactness in Non-finitary Languages.

Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Belief Change and Non-Monotonic Reasoning Sans Compactness.

Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Towards Belief Contraction without Compactness.

Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2015

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

Jandson S. Ribeiro, Aline Andrade

Proceedings of the Formal Methods and Software Engineering, 2015