Grupos de Pesquisa e Estudo
Artificial Intelligence Research Institute (IIIA) - CSIC
Membros:
Grupo de Pesquisa em Inteligência Artificial e Lógicas Não-Clássicas
Grupo de Lógica de la Universidad Nacional del Sur (UNS)
Membros:
Grupo de pesquisa na área de Lógica Formal sediado no Departamento de Matemática da Universidad Nacional del Sur (UNS), Bahia Blanca, Argentina