• 已选条件：
 全选  【符合条件的数据共：11条】

1 A Chart Parsing implementation in Answer SetProgramming [会议论文]

作者:Ismael Sandoval CervantesIngenieria en Sistemas ComputacionalesITESM, Campus Guadalajara, Rogelio Dávila Pérez

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：1  ]    

2 Foreword [会议论文]

作者:This volume contains the papers that were presented at the Workshop in Logic

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：1  ]    

3 Minimal Extended Generalized Answer Sets and their Applications [会议论文]

作者:Mauricio Osorio1 and Claudia Zepeda2;Tercer Carril del Ejido Serrano;San Mateo Cuanala;等

会议时间:

预览  |  原文链接  |  全文  [ 浏览：2 下载：1  ]    

4 An Axiomatization of G3 [会议论文]

作者:Mauricio Osorio1, Jose´ R. Arrazola2, Jose´ L. Carballido2, and Oscar Estrada2

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：1  ]    

5 Workshop Chairs [会议论文]

作者:Rogelio Dávila, CUCEA, Universidad de Guadalajara.

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：1  ]    

6 A Polynomial Graphical Reduction to Speed Up [会议论文]

作者:the Counting of Models for Boolean Formulas

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：1  ]