Modelado de problemas de actualización utilizando un enfoque de actualización de secuencias de programas lógicos basado en Answer Set Programming

Date
2014
Journal Title
Journal ISSN
Volume Title
Publisher
Benemérita Universidad Autónoma de Puebla
Abstract
"El siguiente trabajo de investigación consiste en analizar y modelar un conjunto de problemas que tienen que ver con actualización de la información para lo cuál haremos uso de un enfoque de actualización basado en secuencias de programas lógicos y que utiliza a la semántica estable (también conocida como Answers Set Programming) como base. Los problemas que consideramos estan de nidos en diferentes dominios. Para el modelado y el análisis de los problemas implementamos diferentes programas utilizando el software que obtienen modelos estables o aswer sets conocido como DLV. Finalmente realizamos una discusión y comparación de resultados obtenidos en los diferentes dominios de prueba".
Description
Keywords
Citation
Document Viewer
Select a file to preview:
Can't see the file? Try reloading