Jandson S. Ribeiro

25 papers A* 9C 1Journal 6Unranked 9
YearRankTypeTitle / Venue / Authors
2026 A* conf
Model Change for Description Logic Concepts.
AAAI
Ana Ozaki, Jandson S. Ribeiro
2026 J jnl
Model Change for Description Logic Concepts.
CoRR
Ana Ozaki, Jandson S. Ribeiro
2025 A* conf
Effective AGM Belief Contraction: A Journey Beyond the Finitary Realm.
KR
Dominik Klumpp, Jandson S. Ribeiro
2025 — conf
On Minimal Inconsistent Signatures and their Application to Inconsistency Measurement.
NMR
Matthias Thimm, Jandson S. Ribeiro, Dennis Peuter, Viorica Sofronie-Stokkermans
2024 — conf
Eviction and Reception for Description Logic Concepts (Extended Abstract).
Description Logics
Ana Ozaki, Jandson S. Ribeiro
2024 A* conf
Semantic Constructions for Belief Base Contraction: Partial Meet vs Smooth Kernel.
KR
Jandson S. Ribeiro
2024 J jnl
The Challenges of Effective AGM Belief Contraction.
CoRR
Dominik Klumpp, Jandson S. Ribeiro
2024 — conf
Walking the Tightrope between Expressiveness and Uncomputability: AGM Contraction beyond the Finitary Realm.
NMR
Dominik Klumpp, Jandson S. Ribeiro
2023 — conf
Eviction and Reception for Description Logic Ontologies (Extended Abstract).
Description Logics
Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro
2023 — conf
Eviction and Reception for Description Logic Ontologies (Preliminary Results).
NMR
Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro
2023 A* conf
Finite Based Contraction and Expansion via Models.
AAAI
Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro
2023 J jnl
Finite Based Contraction and Expansion via Models.
CoRR
Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro
2023 J jnl
Measuring Inconsistency with the Tableau Method.
FLAP
Jandson S. Ribeiro, Matthias Thimm
2023 — conf
Towards a Semantic Construction for Belief Base Contraction: Partial Meet vs Smooth Kernel (Preliminary Report).
NMR
Jandson S. Ribeiro
2022 A* conf
Kernel Contraction and the Order of Relevance.
KR
Jandson S. Ribeiro
2022 — conf
Towards a Semantic Construction for Belief Base Contraction (A Preliminary Report).
FCR@KI
Jandson S. Ribeiro
2021 J jnl
Belief Change without Compactness.
CLEI Electron. J.
Jandson S. Ribeiro
2021 A* conf
Consolidation via Tacit Culpability Measures: Between Explicit and Implicit Degrees of Culpability.
KR
Jandson S. Ribeiro, Matthias Thimm
2021 — conf
Revising Ontologies via Models: The ALC-formula Case.
Description Logics
Jandson S. Ribeiro, Ricardo Guimarães, Ana Ozaki
2021 J jnl
Revising Ontologies via Models: The ALC-formula Case.
CoRR
Jandson S. Ribeiro, Ricardo Guimarães, Ana Ozaki
2020 — conf
Measuring Disagreement with Interpolants.
SUM
Jandson S. Ribeiro, Viorica Sofronie-Stokkermans, Matthias Thimm
2019 A* conf
Belief Change and Non-Monotonic Reasoning Sans Compactness.
AAAI
Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann
2019 A* conf
Belief Update without Compactness in Non-finitary Languages.
IJCAI
Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann
2018 A* conf
Towards Belief Contraction without Compactness.
KR
Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann
2015 C conf
A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information.
ICFEM
Jandson S. Ribeiro, Aline Andrade