Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Author "Areces, Carlos Eduardo"
Now showing items 1-5 of 5
-
Aprendizaje no supervisado para cómputo de similitud en programas con errores
Doffo, José Arnaldo (2023-12-23)En este trabajo se proponen estrategias de extracción de información que se utilizaron para automatizar el proceso de respuesta a dudas planteadas por estudiantes de la plataforma Mumuki. Nuestro enfoque implica entrenar ... -
Lógicas modales con datos infinitos
Rossi, Gisela Carla (2015-03)En este trabajo de licenciatura, extendemos la lógica dinámica proposicional (PDL, Propositional Dynamic Logic) con variables que toman valores en un dominio infinito. Esta extensión, llamada PDL parametrizada o PPDL es ... -
Optimización de dominios de Planning
Medina, Raúl Ezequiel (2016)En este trabajo se describe una técnica de optimización de dominios de Planning. Primero se presenta una introducción cerca de la inteligencia artificial en general. Luego se aborda el problema de planning revisando los ... -
Optimización de la traducción funcional para lógicas modales
Díaz, Marcio Oscar (2013-08-09)En esta tesis estudiamos las traducciones funcionales que transforman fórmulas de lógica modal a lógica de primer orden con sorts. En trabajos previos se mostró que remover las anotaciones de sorts de las traducciones ... -
Uso de planes relajados en grounding heurístico
Ocampo, Nicolás Benjamín (2021)Los planificadores en planning clásico encuentran planes con éxito aún para tareas realmente complejas. Para esto, la mayoría de planificadores realizan una etapa de preprocesamiento sobre la especificación de la tarea ...