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

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