Scholar
Jandson S. Ribeiro
Google Scholar ID: Yxz-38kAAAAJ
Cardiff University
Artificial Intelligence
Formal Methods
Logic
Belief Revision
Model Checking
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
92
H-index
5
i10-index
3
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
3 items
Constructive Preference Relations: Navigating Undecidability in Rational LTL Contraction
2026
Cited
0
Model Change for Description Logic Concepts
2026
Cited
0
The Challenges of Effective AGM Belief Contraction
arXiv.org · 2024
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)
