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 BibTeX

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