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

Table of Contents

• Preface
  
  
• Organization
  
  

Regular Papers

• Kripke-type semantics for G'₃ and CG'₃ 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