[CEUR Workshop Proceedings] 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

submitted by Claudia Zepeda, 24-Nov-2006
published on CEUR-WS.org, 27-Nov-2006