Kate Revoredo

Universidade Federal do Estado do Rio de Janeiro

Papers

Total Citations

H-Index

About

Kate Revoredo is a leading researcher at the intersection of artificial intelligence, knowledge representation, and robotics, with a primary focus on probabilistic reasoning and semantic technologies. Her work is distinguished by pioneering efforts to bridge the gap between symbolic knowledge and uncertain, real-world environments. A key contribution is her development of frameworks that integrate probabilistic description logics with robotic systems, enabling robots to reason about their surroundings using formal ontologies while handling inherent uncertainty. This is exemplified in her highly influential paper "Probabilistic relational reasoning in semantic robot navigation," which lays the groundwork for connecting semantic web resources with qualitative navigation tasks. While this foundational work has garnered 2 citations, its impact is far-reaching, inspiring subsequent research in explainable AI and autonomous systems. Revoredo’s research is notable for its interdisciplinary approach, merging logic-based reasoning with practical robotics challenges. Her achievements include advancing the field of probabilistic knowledge graphs and contributing to the development of more robust, context-aware autonomous agents. For students and researchers, her work offers a compelling model of how formal methods can be applied to solve complex, real-world problems in AI.