Programa de Pós-Graduação em Ciência da Computação

Jandson Santos Ribeiro Santos

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. (Texto informado pelo autor)

  • http://lattes.cnpq.br/5131623419094756 (19/12/2023)
  • Rótulo/Grupo:
  • Bolsa CNPq:
  • Período de análise:
  • Endereço: FernUniversität Hagen. Universitätsstr. 1, Building 3 Hagen 58084 - Hagen, - Alemanha Telefone: (49) 2612872756
  • Grande área: Ciências Exatas e da Terra
  • Área: Ciência da Computação
  • Citações: Google Acadêmico

Produção bibliográfica

Produção técnica

Produção artística

Orientações em andamento

Supervisões e orientações concluídas

Projetos de pesquisa

Prêmios e títulos

Participação em eventos

Organização de eventos

Lista de colaborações


Produção bibliográfica

Produção técnica

Produção artística

Orientações em andamento

Supervisões e orientações concluídas

Projetos de pesquisa

Prêmios e títulos

Participação em eventos

  • Total de participação em eventos (5)
    1. II Escola Regional de Alto Desempenho - Região Nordeste. 2013. (Outra).
    2. III Ensi do CERT.Bahia. 2013. (Seminário).
    3. Semana de Computação - SEMCOMP UFBA. 2013. (Encontro).
    4. XXXII SEMINÁRIO ESTUDANTIL DE PESQUISA.PROVENDO DIVERSOS NÍVEIS DE INTEROPERABILIDADE EM UMA ARQUITETURA ORIENTADA A SERVIÇOS PARA SISTEMAS COLABORATIVOS. 2013. (Seminário).
    5. Semana da Computação - SEMCOMP UFBA. 2012. (Encontro).

Organização de eventos

  • Total de organização de eventos (3)
    1. RIBEIRO, Jandson S.. XX Brazilian Logic Conference. 2022. (Congresso).. . 0.
    2. RIBEIRO, Jandson S.. Workshop de Lógica para Alunos do Ensino Fundamental (Wolf). 2022. (Outro).. . 0.
    3. RIBEIRO, Jandson S.. Doctoral Consortium do KR 2021 (International Conference on Principles of Knowledge Representation and Reasoning ). 2022. (Congresso).. . 0.

Lista de colaborações

  • Colaborações endôgenas (0)



    (*) Relatório criado com produções desde 2000 até 2024
    Data de processamento: 06/12/2024 15:59:56