Mostrar el registro sencillo del documento
Un sistema de restricciones anotado
dc.rights.license | Atribución-NoComercial 4.0 Internacional |
dc.contributor.author | Ramírez Ovalle, Carlos Ernesto |
dc.date.accessioned | 2019-06-26T10:20:15Z |
dc.date.available | 2019-06-26T10:20:15Z |
dc.date.issued | 2009 |
dc.identifier.uri | https://repositorio.unal.edu.co/handle/unal/28533 |
dc.description.abstract | En la programación concurrente con restricciones, el concepto básico es el de sistema de restricciones. Aquí presentamos una innovación sobre los sistemas de restricciones al introducir una lógica anotada como componente sintáctico y semántico junto con un motor de inferencia lógica en hiper-resolución anotada. Esto permite incrementar la capacidad expresiva de un modelo basado en satisfacción de restricciones pues es ahora posible incluir información adicional a las restricciones clásicas del modelo. Se extiende así el universo interpretativo de un problema basado en restricciones, al introducir información pertinente que permite la toma de decisiones aún en situaciones contradictorias. |
dc.format.mimetype | application/pdf |
dc.language.iso | spa |
dc.publisher | Universidad Nacional de Colombia -Sede Medellín |
dc.relation | http://revistas.unal.edu.co/index.php/avances/article/view/14446 |
dc.relation.ispartof | Universidad Nacional de Colombia Revistas electrónicas UN Avances en Sistemas e Informática |
dc.relation.ispartof | Avances en Sistemas e Informática |
dc.relation.ispartofseries | Avances en Sistemas e Informática; Vol. 6, núm. 1 (2009); 69-76 Avances en Sistemas e Informática; Vol. 6, núm. 1 (2009); 69-76 1909-0056 1657-7663 |
dc.rights | Derechos reservados - Universidad Nacional de Colombia |
dc.rights.uri | http://creativecommons.org/licenses/by-nc/4.0/ |
dc.title | Un sistema de restricciones anotado |
dc.type | Artículo de revista |
dc.type.driver | info:eu-repo/semantics/article |
dc.type.version | info:eu-repo/semantics/publishedVersion |
dc.identifier.eprints | http://bdigital.unal.edu.co/18581/ |
dc.relation.references | Ramírez Ovalle, Carlos Ernesto (2009) Un sistema de restricciones anotado. Avances en Sistemas e Informática; Vol. 6, núm. 1 (2009); 69-76 Avances en Sistemas e Informática; Vol. 6, núm. 1 (2009); 69-76 1909-0056 1657-7663 . |
dc.rights.accessrights | info:eu-repo/semantics/openAccess |
dc.subject.proposal | Programación por restricciones |
dc.subject.proposal | lógicas anotadas |
dc.subject.proposal | programación lógica |
dc.subject.proposal | sistemas de restricciones |
dc.type.coar | http://purl.org/coar/resource_type/c_6501 |
dc.type.coarversion | http://purl.org/coar/version/c_970fb48d4fbd8a85 |
dc.type.content | Text |
dc.type.redcol | http://purl.org/redcol/resource_type/ART |
oaire.accessrights | http://purl.org/coar/access_right/c_abf2 |
Archivos en el documento
Este documento aparece en la(s) siguiente(s) colección(ones)
![Atribución-NoComercial 4.0 Internacional](/themes/Mirage2//images/creativecommons/cc-generic.png)