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-WS.org 2006 CEUR Workshop Proceedings- José Soto, David Díaz, José Antonio Cruz: Sistema de Consultas en Lenguaje Natural para Bases de Datos.
- Mauricio Osorio, Alejandra López: Expressing the Stable Semantics in Terms of the Pstable Semantics.
- Alejandra López: Implementing Pstable.
- 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.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team