×

找到2个文档(结果1-2)

重写应答程序中的优化语句。 (英语) Zbl 1428.68281号

Carro,Manuel(编辑)等人,《第32届逻辑编程国际会议的技术交流》,ICLP 2016年10月16日至21日,美国纽约州纽约市。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。52,第5条,第15页(2016年)。
MSC公司:68T20型 68N17号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

改进答案集程序中权重规则的规范化。 (英语) Zbl 1432.68056号

Fermé,Eduardo(编辑)等人,《人工智能中的逻辑》。2014年9月24日至26日,第14届欧洲会议,JELIA 2014,葡萄牙马德拉,Funchal。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8761, 166-180 (2014).
MSC公司:68N17号 68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

出版年份

主字段