×

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

为子句编写声明性规范。 (英语) Zbl 1483.68378号

Michael,Loizos(编辑)等人,《人工智能中的逻辑》。2016年11月9日至11日,第15届欧洲会议,JELIA 2016,塞浦路斯拉纳卡。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10021, 256-271 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

卡环系列3的进展。 (英语) Zbl 1467.68181号

Calimeri,Francesco(编辑)等人,《逻辑编程和非单调推理》。第13届国际会议,LPNMR 2015,美国肯塔基州列克星敦,2015年9月27日至30日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9345, 368-383 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用阿斯匹林实现首选项。 (英语) Zbl 1467.68022号

Calimeri,Francesco(编辑)等人,《逻辑编程和非单调推理》。第13届国际会议,LPNMR 2015,美国肯塔基州列克星敦,2015年9月27日至30日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9345, 158-172 (2015).
MSC公司:68N17号
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

阿斯巴甜:用答案集编程解决约束满足问题。 (英语) Zbl 1467.68160号

Calimeri,Francesco(编辑)等人,《逻辑编程和非单调推理》。第13届国际会议,LPNMR 2015,美国肯塔基州列克星敦,2015年9月27日至30日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9345, 112-126 (2015).
MSC公司:68T20型 68N17号
PDF格式BibTeX公司 XML格式引用

带答案集编程的换档设计。 (英语) Zbl 1370.68043号

Calimeri,Francesco(编辑)等人,《逻辑编程和非单调推理》。第13届国际会议,LPNMR 2015,美国肯塔基州列克星敦,2015年9月27日至30日。诉讼程序。查姆:施普林格(ISBN 978-3-319-23263-8/pbk;978-3-3169-23264-5/pbk)。计算机科学9345课堂讲稿。《人工智能课堂讲稿》,32-39(2015)。
MSC公司:68N17号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在冲突驱动的ASP解算器中实现权重约束规则。 (英语) 兹比尔1251.68059

Hill,Patricia M.(编辑)等人,《逻辑编程》。2009年7月14日至17日,在美国加利福尼亚州帕萨迪纳举行的第25届ICLP国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02845-8/pbk)。计算机科学讲座笔记5649250-264(2009)。
MSC公司:68N17号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

约束答案集求解。 (英语) Zbl 1251.68061号

Hill,Patricia M.(编辑)等人,《逻辑编程》。2009年7月14日至17日,在美国加利福尼亚州帕萨迪纳举行的第25届ICLP国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02845-8/pbk)。计算机科学讲座笔记5649235-249(2009)。
MSC公司:68N17号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段