Jandson Santos Ribeiro Santos

I am a Postdoctoral Researcher at FernUniversität Hagen (Germany), since 2021. Previously, I have worked as a Postdoctoral Research at University Koblenz-Landau (Germany). From 2016 to 2020 I was a PhD student at both Macquarie University (Sydney, Australia) and University of São Paulo (São Paulo, Brazil) under a cotutelle agreement. During my PhD, I have been addressing the problem of Belief Change in non-classical logics. This includes a number of logics such as temporal logics which are very important to both Artificial Intelligence (AI) and Formal Methods. My main motivation in extending Belief Change to non-compact logics is to allow the construction of enhanced and more realistic intelligent system in both AI and Formal Methods. My research revolves around Knowledge Representation, Logics, Non-Monotonic Reasoning and Formal Methods.

Trabalho como pesquisador de Pós-Doutorado na FernUniversität Hagen (Alemanha), desde 2021. Anteriormente, trabalhei como Pesquisador de Pós-Doutorado na Universidade Koblenz-Landau (Alemanha). De 2016 a 2020 fui estudante de doutorado na Macquarie University (Sydney, Austrália) e na Universidade de São Paulo (São Paulo, Brasil) sob um acordo de cotutela. Durante meu doutorado, venho abordando o problema da Mudança de Crenças em lógicas não clássicas. Isso inclui uma série de lógicas, como lógicas temporais, que são muito importantes tanto para a Inteligência Artificial (IA) quanto para os Métodos Formais. Minha principal motivação em estender a Mudança de Crenças para lógicas não compactas é permitir a construção de sistemas inteligentes aprimorados e mais realistas tanto em IA quanto em Métodos Formais. Minha pesquisa gira em torno da Representação do Conhecimento, Lógicas, Raciocínio Não Monotônico e Métodos Formais.