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 BibTeX
- José Soto, David Díaz, José Antonio Cruz:
Sistema de Consultas en Lenguaje Natural para Bases de Datos.
Electronic Edition (link) BibTeX
- Ismael Sandoval, Rogelio Dávila:
A Chart Parser Implementation in Answer-Set Programming.
Electronic Edition (link) BibTeX
- Mauricio Osorio, Alejandra López:
Expressing the Stable Semantics in Terms of the Pstable Semantics.
Electronic Edition (link) BibTeX
- Alejandra López:
Implementing Pstable.
Electronic Edition (link) BibTeX
- Mauricio Osorio, Claudia Zepeda:
Minimal Generalized Answer-Sets and their Applications.
Electronic Edition (link) BibTeX
- Pilar Pozos Parra, Verónica Borja Macías:
Belief Merging using Partial Satisfactibility: cases studies.
Electronic Edition (link) BibTeX
- Guillermo De Ita, Meliza Contreras González:
A Polynomial Graphical Reduction to Speed Up the Counting of Models for Boolean Formulas.
Electronic Edition (link) BibTeX
- Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada:
Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en Cw.
Electronic Edition (link) BibTeX
- Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada:
An Axiomatization of G'3.
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:29:47 2009
by Michael Ley (ley@uni-trier.de)