A Characterization of Propositional Epistemic Logic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Edgar Everardo Mart nez Garc a Godel's Theorems on Conditions of Being Incomplete and Consistent Elucidated with Principles of Abstraction Levels, Complementarity, and Self-Reference (Teoremas de Godel Sobre Condiciones de Ser Incompleto y Consistente Elucidados con Principios de Niveles de Abstraccion, Complementariedad, y Auto-Referencia)|invited paper . . . . . . . . . . Eric Smith Mobile Application for an Online Logic Lab (Aplicacion Movil para Laboratorio de Logica en Linea) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 Debora Sarahi Rodr guez Aguilar, Rosa Mar a Quin~ones Arellano and Juan C. Acosta-Guadarrama Biometric authentication based on eye-movements by using scan-path comparison algorithms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 Alberto Quintana-Nevarez, Francisco Lopez-Orozco and Rogelio Florencia-Juarez Approach of Implementation using models of analysis of main component for breeding and reproduction of tilapia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 Sergio Barrios and Alberto Ochoa Ortiz Zezzatti Algorithm for the detection of breast cancer in digital mammograms using deep learning . 47 Natalia Pirouzbakht and Jose Mejia Simulation of a Master-Slave Tele-Operated System for People with Muscular Atrophy in Upper Limbs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 Francesco Garcia and Karla Gomez Robot Path planning using reinforcement learning and nonlinear function approximation (Planeacion de trayetoria utilizando aprendizaje por reforzamiento y funcion de aproximacion) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 David Luviano Cruz, Miguel Angel Rodriguez Ruiz, Luis Asuncion Perez Dominguez and Luis Carlos Mendez Gonzalez Part 3: Proposal Posters Auxiliary system for restaurants (Sistema auxiliar para restaurantes) . . . . . . . . . . . . . . . . . . . . . 62 Jorge Alberto Medina Franco
9 Consistent Transformations of Knowledge Bases in Answer Set Programming|invited paper . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
Juan C. Acosta-Guadarrama iv Software application to help students of middle school with the admission test to high school (Aplicacion de software para ayudar a alumnos de secundaria con el examen de admision a preparatoria) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
Hugo Alejandro Gonzalez Herrera Approach to Cluster Analysis for Decision Making in an Ornamental Japanese Fish Aquarium . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
Luis Perez and Alberto Ochoa Ortiz Zezzatti Facebook versus professionals: comparison of the writing of students at UACJ in di erent written communication environments (Facebook versus profesionales: comparacion de la escritura de estudiantes en la UACJ en distintos entornos de comunicacion escrita) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
Carlos Loya BookooB . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69 Cesar Perez