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