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