Show simple item record

dc.rights.licenseAtribución-NoComercial 4.0 Internacional
dc.contributor.authorRamírez Ovalle, Carlos Ernesto
dc.date.accessioned2019-06-26T10:20:15Z
dc.date.available2019-06-26T10:20:15Z
dc.date.issued2009
dc.identifier.urihttps://repositorio.unal.edu.co/handle/unal/28533
dc.description.abstractEn 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.mimetypeapplication/pdf
dc.language.isospa
dc.publisherUniversidad Nacional de Colombia -Sede Medellín
dc.relationhttp://revistas.unal.edu.co/index.php/avances/article/view/14446
dc.relation.ispartofUniversidad Nacional de Colombia Revistas electrónicas UN Avances en Sistemas e Informática
dc.relation.ispartofAvances en Sistemas e Informática
dc.relation.ispartofseriesAvances 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.rightsDerechos reservados - Universidad Nacional de Colombia
dc.rights.urihttp://creativecommons.org/licenses/by-nc/4.0/
dc.titleUn sistema de restricciones anotado
dc.typeArtículo de revista
dc.type.driverinfo:eu-repo/semantics/article
dc.type.versioninfo:eu-repo/semantics/publishedVersion
dc.identifier.eprintshttp://bdigital.unal.edu.co/18581/
dc.relation.referencesRamí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.accessrightsinfo:eu-repo/semantics/openAccess
dc.subject.proposalProgramación por restricciones
dc.subject.proposallógicas anotadas
dc.subject.proposalprogramación lógica
dc.subject.proposalsistemas de restricciones
dc.type.coarhttp://purl.org/coar/resource_type/c_6501
dc.type.coarversionhttp://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.contentText
dc.type.redcolhttp://purl.org/redcol/resource_type/ART
oaire.accessrightshttp://purl.org/coar/access_right/c_abf2


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Atribución-NoComercial 4.0 InternacionalThis work is licensed under a Creative Commons Reconocimiento-NoComercial 4.0.This document has been deposited by the author (s) under the following certificate of deposit