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.
Last update Fri May 25 08:26:38 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
