[CEUR Workshop Proceedings] Vol-911

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

    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
  13. Poster Papers

  14. Unified Perception-Prediction Model for Cognitive Agents 145-148
    Sergio Arzola, Claudia Zepeda
  15. 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