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

# LANMR 2016
Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning

### Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning

### Puebla, Mexico, August 15, 2016.

Edited by

### Mauricio Osorio Galindo *
José Raymundo Marcial Romero **
Claudia Zepeda Cortés ***
Iván Olmos Pineda ***

* Universidad de las Américas Puebla, Puebla, México
** Universidad Autónoma del Estado de México, Toluca, México
*** Benemérita Universidad Autónoma de Puebla, Puebla, México

## Table of Contents

- Preface
- Organization

### Regular Papers

- Kripke-type semantics for G'3 and CG'3 1-8
  Verónica Borja Macías, Miguel Pérez-Gaspar
- On the development of a logic calculator: a novel tool to perform logical operations 9-16
  Oscar Chávez-Bosquez, Pilar Pozos Parra, Kevin McAreavey
- Computing the clique-width of cactus graphs 17-24
  J. Leonardo González-Ruiz, J. Raymundo Marcial-Romero, J. A. Hernández
- The incremental satisfiability problem for a two conjunctive normal form 25-32
  Guillermo De Ita, J. Raymundo Marcial-Romero, J. A. Hernández
- Query reasoning on data trees with counting 33-40
  Everardo Barcenas, Edgard Benítez-Guerrero, Jesús Lavalle
- Characterizing stage argumentation semantics based on stable abducible semantics 41-49
  Mauricio Osorio, José Luis Carballido, Claudia Zepeda
- A Multiple classifier system for fast an accurate learning in neural network context 50-57
  E. F. Romero, R. M. Valdovinos, J. R. Marcial-Romero, J. A. Carrasco-Ochoa
- Evolutionary bacterial foraging algorithm to solve constraint numerical optimization problems 58-65
  Betania Hernández-Ocaña, Efren Mezura-Montes, Ma. Del Pilar Pozos-Parra
- Edge detection for facial expression recognition 66-73
  Jesús García-Ramírez, Ivan Olmos-Pineda, J. Arturo Olvera-López, Manuel Martín Ortíz
- Creating color fashion trends through autonomous behavior using multi-agent Systems 74-81
  Marco A. Ramos, Vianney Muñoz-Jiménez, Rodrigo Vidal, Erick Castellanos, Félix Ramos
- Urban land use planning using answer set programming - preliminary report - 82-89
  Jennifer Muñoz, Flavio Everardo
- A simplied feature vector obtained by wavelets method for fast and accurate recognition of handwritten characters off-line 90-97
  Carlos Ramírez Piña, Vianney Muñoz-Jiménez, Rosa María Valdovinos Rosas, J. A. Hernández Servín
- A method to verify a path planning by a back-propagation articial neural network 98-105
  Aldo-Francisco Contreras-González, José-Isidro Hernández-Vega, C. Hernández-Santos, Dolores-Gabriela Palomares-Gorham

2016-08-09: submitted by J. Raymundo Marcial-Romero, metadata incl. bibliographic data published under Creative Commons CC0
2016-08-12: published on CEUR-WS.org |valid HTML5|