Modelado de un problema de iluminación inteligente de una oficina usando un enfoque de actualización basado en Answer Set Programming. - Mayra Cordero; Claudia Zepeda; José Luis Carballido (Res. Comput. Sci., 2014)