Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Complejidad
4
Complexity
4
Decidability
4
Decidibilidad
4
Dynamic epistemic logics
4
Dynamic operators
4
Expressive power
4
Lógicas dinámicas epistémicas
4
Lógicas modales
4
Modal logics
4
Operadores de cambio de accesibilidad
4
Operadores dinámicos
4
Poder expresivo
4
Bisimulations
2
Deducción y prueba de teoremas
2
Deduction and Theorem Proving
2
Lógica matemática
2
Lógica modal
2
Mathematical Logic
2
Razonamiento automático
2
Relation changing operators
2
Relation-changing operators
2
SMT
2
Artificial intelligence
1
Computing methodologies
1
Grounding
1
Inteligencia artificial
1
Metodologías informáticas
1
Optimización
1
Planificación y programación
1
-
1por Orbe, Alejandro Ezequiel
Publicado 2016Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
2por Fervari, Raúl Alberto
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
3por Fervari, Raúl Alberto
Publicado 2021Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
4por Orbe, Alejandro Ezequiel
Publicado 2016Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
5por Bustos, Facundo José
Publicado 2022Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
6por Fervari, Raúl Alberto
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
7por Fervari, Raúl Alberto
Publicado 2021Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis