MICAI 2006: Apizaco, Mexico - LoLaCOM

Rogelio Dávila, Mauricio Osorio, Claudia Zepeda (Eds.): Proceedings of the LoLaCOM06 Workshop, Instituto Tecnológico de Apizaco, Apizaco, Tlaxcala, México, 13th - 14th November 2006. CEUR Workshop Proceedings 220 CEUR-WS.org 2006

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