Vol-220 © 2006 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material on this page requires permission by the copyright owners.

Workshop in Logic, Language and Computation 2006

Proceedings of the LoLaCOM06 Workshop,
Instituto Tecnológico de Apizaco, Apizaco, Tlaxcala, México, 13th - 14th November 2006.

Edited by

Rogelio Dávila, CUCEA, Universidad de Guadalajara, rdav90@gmail.com

Mauricio Osorio, Universidad de las Américas Puebla, osoriomauri@gmail.com

Claudia Zepeda, Universidad Politécnica de Puebla, czepedac@gmail.com



Preface

Organization

---

Table of Contents

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