×

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

软约束的剩余:词典顺序和近似技术。 (英语) Zbl 07437040号

Faber,Wolfgang(编辑)等人,《人工智能中的逻辑》。第17届欧洲会议,JELIA 2021,虚拟活动,2021年5月17日至20日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12678, 162-176 (2021).
MSC公司:68T27型
PDF格式BibTeX公司 XML格式引用

数据库首选项查询–具有符号优先级的可能逻辑方法。 (英语) Zbl 1242.68089号

安。数学。Artif公司。智力。 63,编号3-4,357-383(2011); 勘误表同上73,第3-4、359-363号(2015年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

软约束和图形游戏中最优性概念的比较。 (英语) Zbl 1162.68648号

Fages,François(编辑)等人,约束方面的最新进展。第十二届ERCIM约束求解和约束逻辑编程国际研讨会,2007年CSCLP,法国罗克扬科特,2007年6月7日至8日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-540-89811-5/pbk)。计算机科学课堂讲稿5129。人工智能课堂讲稿,1-16(2008)。
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

软约束的重写逻辑框架。 (英语) Zbl 1279.68124号

Denker,Grit(编辑)等人,第六届重写逻辑及其应用国际研讨会论文集(WRLA 2006),奥地利维也纳,2006年4月1日至2日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》176,第4期,181-197(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

以部分有序的优先级放松其他同等偏好。 (英语) 兹比尔1148.68521

Melloli,Khaled(编辑),不确定性推理的符号和定量方法。第九届欧洲会议,2007年10月31日至11月2日,ECSQARU,突尼斯哈马马特。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75255-4/pbk)。计算机科学课堂讲稿4724。人工智能课堂讲稿,660-671(2007)。
MSC公司:68层37 68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段