Search
Now showing items 1-4 of 4
Técnicas de optimización para el proceso de grounding en planning clásico
(2020-05)
La planificación automática, o simplemente Planning es una de las áreas más antiguas y centrales dentro de la Inteligencia Artificial. En ella, se estudia la generación automática de acciones por parte de agentes inteligentes ...
Generación de expresiones referenciales bajo incertidumbre con teoría de modelos
(2016)
En esta tesis investigamos la generación automática de rankings de expresiones referenciales en contextos con incertidumbre. Las posibles aplicaciones de la generación de expresiones referenciales que deben referirse al ...
Construcción de programas que manejan dinámicamente la memoria
(2015-08-06)
En este trabajo abordamos diferentes aspectos de la verificación de programas que manejan dinámicamente la memoria, y más en general, al razonamiento formal sobre ellos. Por un lado, proponemos un marco conceptual para ...
Aspectos de adquisición de lenguaje en la enseñanza de programación
(2020-07)
La enseñanza de la programación se ha transformado en un tema popular en los últimos años. Sin embargo, la programación es una disciplina tan reciente que poco se sabe de su didáctica. El objetivo general de esta tesis es ...