Abstract is missing.
- Towards a Logic-programming System to Debug ASP Knowledge BasesJuan Carlos Acosta Guadarrama. 3-12 [doi]
- An Introduction to Belief Revision and Knowledge Representation with 2CNFMeliza Contreras, Miguel Rodríguez, Pedro Bello, Bárbara M. González. 13-22 [doi]
- Intentional Reasoning as Non-monotonic ReasoningJosé Martín Castro-Manzano, Axel Arturo Barceló-Aspeitia, Alejandro Guerra-Hernández. 23-34 [doi]
- Robot Platform Motion Planning using Answer Set ProgrammingJulian J. Portillo, Carmen L. Garcia-Mata, Pedro R. Márquez-Gutiérrez, Rogelio Baray-Arana. 35-44 [doi]
- Modeling and Encoding Automated Planning Problems with the P-stable SemanticsSergio Arzola, Claudia Zepeda. 45-56 [doi]
- The Stable Abducible Argumentation SemanticsMauricio Osorio, Juan Carlos Nieves, José Luis Carballido. 57-68 [doi]
- A GMP-FC++ Implementation of a Calculator for Exact Real Number Computation Based on LRTJosé Raymundo Marcial-Romero, Alejandra Y. Lucatero, J. A. Hernández. 71-82 [doi]
- Logic, Linguistics and Connectionism An Exercise of Translation of Optimality Theory Constraints into LogicTeresita de Jesús Mijangos Martínez. 83-94 [doi]
- A Note for Parametric Complexity of #2SATGuillermo De Ita Luna, Fernando Zacarías Flores, Alejandro Rangel-Huerta. 95-104 [doi]
- Knowledge Capitalization in a Component-Based Software Factory: a Semantic ViewpointFrancisco Edgar Castillo-Barrera, R. Carolina Medina Ramírez, Hector A. Duran-Limon. 105-114 [doi]
- SDCA: System to Detect Cancerous AbnormalitiesEddy Sánchez de la Cruz, Homero Alpuín-Jiménez, Humberto de Jesús Ochoa Domínguez, Pilar Pozos Parra. 115-122 [doi]
- Formal Language and Reasoning for Playing GoArturo Yee Rendón, Matías Alvarado. 125-132 [doi]
- Ontology-based Descriptions of Image CollectionsMa. Auxilio Medina, J. Alfredo Sánchez, Jorge de la Calleja, Antonio Benitez. 133-140 [doi]
- A Logical Approach for Melodic VariationsFlavio Omar Everardo Pérez. 141-150 [doi]
- Defining and Maintaining Agent's Experience in Logical AgentsStefania Costantini. 151-165 [doi]