Conferences in DBLP

Mexican International Conference on Artificial Intelligence (MICAI) (micai)
2006 (conf/micai/2006lolacom)

1. 
   Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en Cw. [Citation Graph (, )][DBLP]
   
   
2. 
   Belief Merging using Partial Satisfactibility: cases studies. [Citation Graph (, )][DBLP]
   
   
3. 
   A Chart Parser Implementation in Answer-Set Programming. [Citation Graph (, )][DBLP]
   
   
4. 
   Sistema de Consultas en Lenguaje Natural para Bases de Datos. [Citation Graph (, )][DBLP]
   
   
5. 
   Expressing the Stable Semantics in Terms of the Pstable Semantics. [Citation Graph (, )][DBLP]
   
   
6. 
   Implementing Pstable. [Citation Graph (, )][DBLP]
   
   
7. 
   Minimal Generalized Answer-Sets and their Applications. [Citation Graph (, )][DBLP]
   
   
8. 
   An Axiomatization of G'3. [Citation Graph (, )][DBLP]
   
   
9. 
   A Polynomial Graphical Reduction to Speed Up the Counting of Models for Boolean Formulas. [Citation Graph (, )][DBLP]