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

# LANMR 2012
Logic / Languages, Algorithms and New Methods of Reasoning 2012

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

### Universidad Autónoma Metropolitana, Unidad Iztapalapa, México, D.F., September 10-11, 2012.

Edited by

### Mauricio Osorio *
Claudia Zepeda **
Ivan Olmos **
José Luis Carballido**
R. Carolina Medina ***

*Universidad de las Américas Puebla, Puebla, México
** Benemérita Universidad Autónoma de Puebla, Puebla, México
*** Universidad Autónoma Metropolitana-Iztapalapa, D.F., México

## Table of Contents

- Preface
- Organization

### Regular Papers

1. Self-checking Logical Agents 3-30
   Stefania Costantini
2. Formal Properties of Intentional Reasoning 31-40
   José Martín Castro-Manzano
3. Job Shop Scheduling via Disjunctive Boolean Formulas 41-50
   Guillermo De Ita, Yolanda Moyao, Juan Carlos Pérez, Josúe Pérez
4. Towards a Unified Framework for Declarative Knowledge-Change---Principles and Consistency 51-62
   Juan C. Acosta-Guadarrama
5. Edge covering of acyclic graphs 63-74
   J. A. Hernández, J. R. Marcial-Romero, Guillermo de Ita
6. A practical approach to model classification schemes with OWL ontologies 75-88
   Ma. Auxilio Medina, J. Alfredo Sánchez, J. de la Calleja, Antonio Benitez
7. An analysis of the state of the art of algorithms applied to BPP 89-100
   Joaquín Pérez Ortega, Hilda Castillo Zacatelco, Rafael de la Rosa Flores
8. Detection of inconsistencies in knowledge bases for emission of foreign judgments 101-108
   Pedro Bello López, Jose Andrés Vazquez Flores, Meliza Contreras González, Marco Rodríguez Herníndez
9. Decision Analysis with Logic and Mathematical Programming 109-116
   Mauricio Osorio, Alejandro Santoyo
10. Hybrid query plan generation 117-128
    Carlos-Manuel López-Enríquez, Genoveva Vargas-Solar, José-Luis Zechinelli-Martini, Christine Collet
11. A general framework for representing preferences 129-136
    Claudia Zepeda, José Luis Carballido, Sergio Arzola
12. Ozone Pollution Forecast based on Neural Networks and Decision Trees 137-144
    Nahun Loya, Ivan Olmos

### Poster Papers

13. Unified Perception-Prediction Model for Cognitive Agents 145-148
    Sergio Arzola, Claudia Zepeda
14. Ontology-based Translators: The new generation 149-155
    Francisco-Edgar Castillo-Barrera

27-Sep-2012: submitted by R. Carolina Medina
27-Sep-2012: published on CEUR-WS.org