Un sistema de restricciones anotado

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-resoluc...

Full description

Autores:
Ramírez Ovalle, Carlos Ernesto
Tipo de recurso:
Article of journal
Fecha de publicación:
2009
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/28533
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/28533
http://bdigital.unal.edu.co/18581/
Palabra clave:
Programación por restricciones
lógicas anotadas
programación lógica
sistemas de restricciones
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional