DL(R): Lógica dinámica (recargada)

• Equipo-proyecto PARTOUT, Centro Inria de Saclay, Inria (Francia)

• Laboratoire Méthodes Formelles (LMF) (Francia)

• Pontificia Universidad Católica de Chile (UC) (Chile)

• Universidad Nacional de Córdoba (Argentina)

• Universidade Federal Fluminense (UFF) (Brasil)

Durante el proyecto, profundizaremos en nuestra comprensión de una nueva familia de lógicas denominadas lógicas dinámicas. Estas lógicas se caracterizan por la inclusión de operadores que pueden modificar el modelo en el que se evalúan. Esta característica las hace especialmente adecuadas para la descripción de escenarios en evolución, como, por ejemplo, la evolución temporal de una red de comunicaciones, donde las conexiones se crean y eliminan dinámicamente, cambiando constantemente la topología real. Los miembros del proyecto han investigado diversas lógicas dinámicas, pero aún falta una perspectiva general, y persisten importantes preguntas abiertas, que abarcan desde la adecuada caracterización teórica de modelos hasta la comprensión adecuada de cómo definir cálculos de prueba para estas lógicas. En los últimos años, las posibles aplicaciones de las lógicas dinámicas han aumentado, con el reciente auge de las técnicas de IA basadas en el conocimiento representado como grandes grafos. El proyecto busca aunar las fortalezas de los cinco equipos internacionales de investigación para unificar los resultados existentes e intentar resolver estos problemas.

En Francia: 

• Stéphane Demri, investigador Senior, coordinador del proyecto DL(R), Laboratoire Méthodes Formelles

• Benedikt Bollig, investigador Senior, Laboratoire Méthodes Formelles

• Philippe Schnoebelen, investigador Senior, Laboratoire Méthodes Formelles

• Dietmar Berwanger, investigador Senior, Laboratoire Méthodes Formelles

• Isa Vialard, estudiante PhD, Laboratoire Méthodes Formelles

• Lutz Strassburger, investigador Senior, coordinador del proyecto DL(R), equipo-proyecto PARTOUT, Centro Inria de Saclay, Inria

• Dale Miller, investigador Senior, Centro Inria de Saclay, Inria

• Noam Zeilberger, investigador Senior, Centro Inria de Saclay, Inria

• Beniamino Accattoli, investigador Junior, Centro Inria de Saclay, Inria

• Giti Omidvar, estudiante PhD, Centro Inria de Saclay, Inria

• Marianela Morales, estudiante PhD, Centro Inria de Saclay, Inria

• Adrienne Lancelot, estudiante PhD, Centro Inria de Saclay, Inria

• Jiu-Hsuan Wu, estudiante PhD, Centro Inria de Saclay, Inria

• Farah Al Wardani, estudiante PhD, Centro Inria de Saclay, Inria

En Chile: 

• Pablo Barceló, investigador Senior, coordinador del proyecto DL(R), Pontificia Universidad Católica de Chile (UC)

• Domagoj Vrgoc, investigador Senior, Pontificia Universidad Católica de Chile (UC)

• Jocelyn Dunstan, investigador Senior, Pontificia Universidad Católica de Chile (UC)

• Juan Reutter, investigador Senior, Pontificia Universidad Católica de Chile (UC)

• Alexander Kozachinskiy, investigador Junior, Pontificia Universidad Católica de Chile (UC)

En Argentina: 

• Carlos Areces, investigador Senior, coordinador del proyecto DL(R), Universidad Nacional de Córdoba

• Luciana Benotti, investigador Senior, Universidad Nacional de Córdoba

• Raul Fervari, investigador Junior, Universidad Nacional de Córdoba

• Guillaume Hoffmann, investigador Junior, Universidad Nacional de Córdoba

• Valentín Cassano, investigador Junior, Universidad Nacional de Córdoba

• Mallku Soldevila, investigador Junior, Universidad Nacional de Córdoba

• Juliana Putero, estudiante PhD, Universidad Nacional de Córdoba

• Andrés R. Saravia, estudiante PhD, Universidad Nacional de Córdoba

• Danae Dutto, estudiante, PhD, Universidad Nacional de Córdoba

• Antonio Mondejar, candidato PhD, Universidad Nacional de Córdoba

En Brasil: 

• Mario Roberto Folhadela Benevides, investigador Senior, coordinador del proyecto DL(R), Universidade Federal Fluminense

• Bruno Lopes Vieira, investigador Junior, Universidade Federal Fluminense

• Vitor P. Machado, investigador Junior, Universidade Federal Fluminense

• Uéverton dos Santos Souza, investigador Junior, Universidade Federal Fluminense

• Anna C. N. Oliveira, estudiante PhD, Universidade Federal Fluminense

• Renato Reis Leme, estudiante DSc, Universidade Federal Fluminense

• Maurício da Silva Pires, estudiante DSc, Universidade Federal Fluminense

• Allan Patrick de Freitas Santanna, estudiante MSc, Universidade Federal Fluminense

• Matheus Guimaraes Robaina, estudiante MSc, Universidade Federal Fluminense

• Caio Serra de Mello, estudiante MSc, Universidade Federal Fluminense