Jandson S. Ribeiro

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 18

Top Topics

Biomedical Ontologies

Propositional Logic

Top Venues

Description Logics

Publications

Ana Ozaki, Jandson S. Ribeiro
Eviction and Reception for Description Logic Concepts (Extended Abstract). Description Logics (2024)
Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro
Finite Based Contraction and Expansion via Models. CoRR (2023)
Jandson S. Ribeiro
Towards a Semantic Construction for Belief Base Contraction: Partial Meet vs Smooth Kernel (Preliminary Report). NMR (2023)
Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro
Eviction and Reception for Description Logic Ontologies (Preliminary Results). NMR (2023)
Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro
Finite Based Contraction and Expansion via Models. AAAI (2023)
Jandson S. Ribeiro, Matthias Thimm
Measuring Inconsistency with the Tableau Method. FLAP 10 (5) (2023)
Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro
Eviction and Reception for Description Logic Ontologies (Extended Abstract). Description Logics (2023)
Jandson S. Ribeiro
Towards a Semantic Construction for Belief Base Contraction (A Preliminary Report). FCR@KI (2022)
Jandson S. Ribeiro
Kernel Contraction and the Order of Relevance. KR (2022)
Jandson S. Ribeiro, Ricardo Guimarães, Ana Ozaki
Revising Ontologies via Models: The ALC-formula Case. CoRR (2021)
Jandson S. Ribeiro, Matthias Thimm
Consolidation via Tacit Culpability Measures: Between Explicit and Implicit Degrees of Culpability. KR (2021)
Jandson S. Ribeiro
Belief Change without Compactness. CLEI Electron. J. 24 (1) (2021)
Jandson S. Ribeiro, Ricardo Guimarães, Ana Ozaki
Revising Ontologies via Models: The ALC-formula Case. Description Logics (2021)
Jandson S. Ribeiro, Viorica Sofronie-Stokkermans, Matthias Thimm
Measuring Disagreement with Interpolants. SUM (2020)
Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann
Belief Change and Non-Monotonic Reasoning Sans Compactness. AAAI (2019)
Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann
Belief Update without Compactness in Non-finitary Languages. IJCAI (2019)
Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann
Towards Belief Contraction without Compactness. KR (2018)
Jandson S. Ribeiro, Aline Andrade
A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information. ICFEM (2015)