| Vol-2031 urn:nbn:de:0074-2031-6 Copyright © 2017 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# RCCS-SPIDTEC2 2017
Foundations, Research and Spread of Emerging Technologies in Computing Sciences

### Proceedings of the RCCS-SPIDTEC2 Workshop on International Regional Consortium for Foundations, Research and Spread of Emerging Technologies in Computing Sciences

### Juarez, Mexico, November 9-10, 2017.

Edited by

Juan Carlos Acosta-Guadarrama
Francisco López-Orozco
Rosa Maria Quiñones-Arellano
General Chairs
Juan Carlos Acosta Guadarrama, IIT University of Juarez, Av. del Charro 450, 32310 Juárez, Mexico
Francisco López-Orozco, DMCU University of Juarez, Av. José de Jesús Macías Delgado, 18100, Juárez, Mexico

## Table of Contents

- Preface
- Table of Contents
- Program Committee

### Part 1: Foundations

- A Characterization of Propositional Epistemic Logic (Una Caracterización de Lógica Epistémica Proposicional) 1-8
  Edgar Everardo Martinez-Garcia
- Gödel's Theorems on Conditions of Being Incomplete and Consistent Elucidated with Principles of Abstraction Levels, Complementarity, and Self-Reference (Teoremas de Gödel Sobre Condiciones de Ser Incompleto y Consistente Elucidados con Principios de Niveles de Abstracción, Complementariedad, y Auto-Referencia) (invited paper) 9-16
  Eric David Smith
- Consistent Transformations of Knowledge Bases in Answer Set Programming (invited paper) 17-24
  Juan Carlos Acosta-Guadarrama
- Mobile Application for an Online Logic Lab (Aplicación Móvil para Laboratorio de Lógica en Línea) 25-32
  Debora Sarahi Rodriguez-Aguilar, Rosa Maria Quiñones-Arellano, Juan Carlos Acosta-Guadarrama

### Part 2: Computing Science and Emerging Technologies

- Biometric Authentication Based on Eye Movements by Using Scan-path Comparison Algorithms 33-38
  Alberto Quintana-Nevárez, Francisco López-Orozco, Rogelio Florencia-Juárez
- Approach of Implementation Using Models of Analysis of Main Component for Breeding and Reproduction of Tilapia 39-45
  Sergio Barrios, Alberto Ochoa
- Algorithm for the Detection of Breast Cancer in Digital Mammograms Using Deep Learning 46-49
  Natalia Pirouzbakht, Jose Mejía
- Simulation of a Master-Slave Tele-Operated System for People with Muscular Atrophy in Upper Limbs 51-55
  Francesco García, Karla Gómez
- Robot Path Planning Using Reinforcement Learning and Nonlinear Approximation Function (Planeación de Trayectoria Utilizando Aprendizaje por Reforzamiento y Función de Aproximación) 56-61
  David Luviano Cruz, Miguel Angel Rodriguez Ruiz, Luis Asuncion Pérez Domínguez, Luis Carlos Mendez Gonzalez

### Part 3: Proposal Posters

- An Auxiliary System for Restaurants (Sistema Auxiliar para Restaurantes) (abstract) 62
  Jorge Alberto Medina Franco
- Software Application to Help Students of Middle School with the Admission Test to High School (Aplicación de Software para Ayudar a Alumnos de Secundaria con el Examen de Admisión a Preparatoria) (abstract) 63-64
  Hugo Alejandro González-Herrera
- Optimization of an SBRP Implementing a PSO Algorithm to Resolve Instances (abstract) 65
  Alberto Ochoa, Fabián Ortiz, Ulises Carbajal, Manuel Rivera, Jorge Rodas
- Approach to Cluster Analysis for Decision Making in an Ornamental Japanese Fish Aquarium (abstract) 66
  Luis Pérez, Alberto Ochoa
- Facebook versus Professionals: A Comparison of the Writing of Students at UACJ in Different Written-Communication Environments (Facebook versus Profesionales: Comparación de la Escritura de Estudiantes en la UACJ en Distintos Entornos de Comunicación Escrita) (abstract) 67
  Carlos Esteban Loya-Sánchez
- A Controlled-Access System to Indiobus (Sistema de Acceso Controlado al Indiobus) (abstract) 68
  Omar Ortega
- BookooB (abstract) 69
  Cesar Alexander Pérez-Téllez

2017-12-12: submitted by Juan Carlos Acosta-Guadarrama, metadata incl. bibliographic data published under Creative Commons CC0
2017-12-21: published on CEUR-WS.org |valid HTML5|