• Extension-Based Argumentation Semantics via Logic Programming Semantics with Negation as Failure. Juan Carlos Nieves and Ignasi Gomez-Sebastia
• Functional first order definability of LRTp. J. Raymundo Marcial-Romero and J. A. Hernandez
• Modelling autonomic dataspaces using answer sets. Gabriela Montiel-Moreno, José Luis Zechinelli-Martini, and Genoveva Vargas-Solar
• An Introduction to Intention Revision: Issues and Problems. José Martin Castro-Manzano
• Implementing the p-stable semantics. Angel Marin George and Claudia Zepeda Cortes
• A complete algorithm to solve the graph-coloring problem. Huberto Ayanegui and Alberto Chavez-Aragon
• Efficient Computation of the Degree of Belief for a Subclass of Two Conjunctive Forms. Guillermo De Ita, Carlos Guillen, Ali Khanafer
• Selecting the best cluster of a collection of technical reports. Maria Axulio Medina, J. Alfredo Sánchez, Silvia Titla, Rebeca Rodríguez, Pedro Vargas
• P-stable as an extension of WFS. Jose Luis Carballido and Claudia Zepeda
• Computing the Stratified Minimal Models Semantic. Mauricio Osorio, Angel Marin and Juan Carlos Nieves
• Structured Motifs Recognition in DNA sequences. Yuridia P. Mejia, Ivan Olmos, and Jesus A. Gonzalez
• A Lower Bound for Answer Set Solver Computation. Stefania Costantini, Alessandro Provetti
• Stable versus Layered Logic Program Semantics. Luis Moniz Pereira and Alexandre Miguel Pinto

• Modelling Data Segmentation for Image Retrieval Systems. Leticia Flores-Pulido, Oleg Starostenko, Gustavo Rodríguez-Gomez, Vicente Alarcon-Aquino
• Applying Fuzzy Sets Intersection in the Sizing of Voltage Followers. G. Flores-Becerra, E. Tlelo-Cuautle, S. Polanco-Martagon
• Can paraconsistency replace non-monotonicity?. Luis Estrada-González and Claudia Olmedo-García.

The registration fee are: