Preface
This volume contains the papers presented at LANMR 2014: 9th Latin American
Workshop on Logic / Languages, Algorithms and New Methods of Reasoning
2014 held on November 5–7, 2014 in Valle de Bravo, Mexico. As previous years,
this time we have extended our interest to include more general topics related
to Computer Science. We use the LA acronim of LANMR to stand both for
Languages/Logic + Algorithms, as well as for ”Latin America”.
    There were 18 submissions. Each submission was reviewed by at least 1, and
on the average 2.7, program committee members. The committee decided to
accept 8 papers. The program also includes no invited talks.
    This edition of the workshop has been organized by The Autonomous Univer-
sity of Mexico State, UAEM (La Universidad Autónoma del Estado de México).
The aim of the workshop was to bring together active researchers in formal ar-
eas of Computer Science (CS) such as Logic, Formal languages, Algorithms, and
Non-Monotonic Reasoning. Particular topics of interest were: knowledge repre-
sentation, belief revision, reasoning about actions, planning, logic programming,
causality and algorithms complexity.
    In Latin America there are research groups interested in these areas. The
number of papers and workshops submitted to different congresses related to
Computer Science, such as IBERAMIA, ENC and MICAI, provides evidence of
such interest. As a result, LANMR Workshop is designed to promote cooperation
among practitioners and researchers across disciplines who are interested in the
formal areas of Computer Science. The aims of the workshop were to:
 – present innovative theoretical work and original applications of the formal
   areas of Computer Science,
 – exchange ideas and to facilitate interaction between researchers of the formal
   areas of Computer Science,
 – discuss significant recent achievements in theory and automation based on
   formal areas of Computer Science,
 – present critical short- and long-term goals for formal areas of Computer
   Science,
 – provide a forum for students to present their current research in formal
   areas of Computer Science, and receive feedback from other students and
   researchers.
    This year the invited speakers provided means to explore ways in which
their research may contribute to the identification and addressing of problems
of common interest in the formal areas of Computer Science. We are grateful to
the invited speakers: Raúl Monroy, Leopoldo Bertossi and Guillermo Morales,
for taking the time and effort to attend the workshop. We also thank ”Cuerpo
Acadmico de Sistemas Computacionales”, a research group from The Faculty of
Engineering, UAEM, for their support. Finally, we greatly appreciate the local
committee and staff for hosting and supporting our workshop in Valle de Bravo.
    This year we received sponsorship from El Consejo Nacional de Ciencia y
Tecnologı́a, CONACYT, (The National Council for Science and Technology,
Mexico), to the project title: ”ESPACIO DIGITAL PARA EL APRENDIZAJE
AUTÓNOMO-META Space”, (Digital Space for Autonomous Learning-Meta
Space). We are also grateful to the EasyChair team for their support. This is
the first time we use EasyChair for the workshop reviews and for part of the
edition.


November 3, 2014                                             Juan C. Acosta
Toluca, Mexico                                        Guillermo De Ita Luna
                                                         Raymundo Marcial
                                                             Mauricio Osorio
                                                             Claudia Zepeda