LoLaCOM

Keyphrases

Publications

2006

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

volume 220, 2006

Proceedings of the LoLaCOM06 Workshop, Instituto Tecnológico de Apizaco, Apizaco, Tlaxcala, Mexico, 13th - 14th November 2006 LoLaCOM 220 (2006)