Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa |
ORCID: https://orcid.org/0000-0001-5199-3135 and Hermenegildo, Manuel V.
ORCID: https://orcid.org/0000-0002-7583-323X
(2001).
Diseño de visualizaciones para programación lógica con restricciones.
"Novática: Revista de la Asociación de Técnicos de Informática"
(n. 150);
pp. 31-37.
ISSN 0211-2124.
| Título: | Diseño de visualizaciones para programación lógica con restricciones |
|---|---|
| Autor/es: |
|
| Tipo de Documento: | Artículo |
| Título de Revista/Publicación: | Novática: Revista de la Asociación de Técnicos de Informática |
| Fecha: | Marzo 2001 |
| ISSN: | 0211-2124 |
| Número: | 150 |
| Materias: | |
| ODS: | |
| Palabras Clave Informales: | programación lógica, programación lógica con restricciones, visualización, depuración, abstracción de representaciones. |
| Escuela: | Facultad de Informática (UPM) [antigua denominación] |
| Departamento: | Inteligencia Artificial |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa |
En este se estudia diseños y e implementaciones de paradigmas visuales para observar la ejecución de programas lógicos con restricciones, enfocados hacia la depuración, optimización y enseñanza. Nos centraremos en la representación de datos en ejecuciones CLP, donde perseguimos la representación de variables con restricciones y de las restricciones en sí mismas. Se han implementado dos herramientas, VIFID y TRIFID, que utilizan dichas representaciones y que se usan para mostrar la utilidad de las visualizaciones desarrolladas.
| ID de Registro: | 14563 |
|---|---|
| Identificador DC: | https://oa.upm.es/14563/ |
| Identificador OAI: | oai:oa.upm.es:14563 |
| URL Oficial: | http://www.ati.es/novatica/2001/150/nv150sum.html |
| Depositado por: | Biblioteca Facultad de Informatica |
| Depositado el: | 28 Feb 2013 09:16 |
| Ultima Modificación: | 21 Abr 2016 14:17 |
Publicar en el Archivo Digital desde el Portal Científico