Abstract is missing.
- Expressing the Stable Semantics in Terms of the Pstable SemanticsMauricio Osorio, Alejandra López. [doi]
- Belief Merging using Partial Satisfactibility: cases studiesPilar Pozos Parra, Verónica Borja Macías. [doi]
- Sistema de Consultas en Lenguaje Natural para Bases de DatosJosé Soto, David Díaz, José Antonio Cruz. [doi]
- Implementing PstableAlejandra López. [doi]
- A Polynomial Graphical Reduction to Speed Up the Counting of Models for Boolean FormulasGuillermo De Ita, Meliza Contreras González. [doi]
- Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en CwMauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada. [doi]
- Minimal Generalized Answer-Sets and their ApplicationsMauricio Osorio, Claudia Zepeda. [doi]
- An Axiomatization of G 3Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada. [doi]
- A Chart Parser Implementation in Answer-Set ProgrammingIsmael Sandoval, Rogelio Dávila. [doi]