乔里·博曼森;马丁·格布瑟;Tomi Janhunen 重写应答程序中的优化语句。 (英语) 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格式引用 \textit{J.Bomanson}等人,OASIcs--OpenAccess服务器。通知。52,第5条,第15页(2016年;Zbl 1428.68281) 全文: 内政部
乔里·博曼森;马丁·格布瑟;Tomi Janhunen 改进答案集程序中权重规则的规范化。 (英语) Zbl 1432.68056号 Fermé,Eduardo(编辑)等人,《人工智能中的逻辑》。2014年9月24日至26日,第14届欧洲会议,JELIA 2014,葡萄牙马德拉,Funchal。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8761, 166-180 (2014).MSC公司:68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Bomanson}等人,Lect。注释计算。科学。8761166--180(2014年;Zbl 1432.68056) 全文: 内政部