×

找到167个文档(结果1-100)

约束规划中的实际均匀解采样。 (英语) Zbl 1502.68278号

Schaus,Pierre(编辑),约束编程、人工智能和运筹学的集成。第19届国际会议,CPAIOR 2022,美国加利福尼亚州洛杉矶,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13292, 335-344 (2022).
MSC公司:68T20型 第68季度87
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率词典偏好树。 (英语) Zbl 07670900号

Fotakis,Dimitris(编辑)等,算法决策理论。第七届国际会议,ADT 2021,法国图卢兹,2021年11月3-5日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13023, 86-100 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

聚合由条件偏好网络表示的偏好。 (英语) 兹伯利07670895

Fotakis,Dimitris(编辑)等,算法决策理论。第七届国际会议,ADT 2021,法国图卢兹,2021年11月3-5日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13023,3-18(2021)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

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

CP-nets、\(\pi\)-pref-nets和Pareto优势。 (英语) Zbl 1440.68301号

Ben Amor,Nahla(编辑)等,可扩展不确定性管理。2019年12月16日至18日,法国康皮涅,第13届国际会议,SUM 2019。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11940, 169-183 (2019).
MSC公司:68层37
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用位置评分规则聚合词典学偏好树的新复杂性。 (英语) 兹比尔1431.91142

Pekeć,Saša(编辑)等人,《算法决策理论》。第六届国际会议,ADT 2019,美国北卡罗来纳州达勒姆,2019年10月25-27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11834, 97-111 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过利用小树宽在GPU上计算加权模型。 (英语) Zbl 1524.68343号

Azar,Yossi(编辑)等人,第26届欧洲算法年会,2018年8月20日至22日,欧洲航天局,芬兰赫尔辛基。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。112,第28条,第16页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于散列的近似DNF计数方法。 (英语) Zbl 1491.68193号

Lokam,Satya(编辑)等人,第37届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2017,印度坎普尔IIT,2017年12月12-14日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。93,第41条,第14页(2018)。
MSC公司:68T20型 68瓦20 68周25
PDF格式BibTeX公司 XML格式引用

概率TCP-net。 (英语) 兹比尔1454.68143

Mouhoub,Malek(编辑)等人,《人工智能进展》。2017年5月16日至19日在加拿大阿联酋埃德蒙顿举行的第30届加拿大人工智能会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10232393-304(2017年)。
MSC公司:68层37 68单位35
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Nemhauser-Trotter减少并提升加权CSP的消息传递。 (英语) Zbl 1489.68262号

Salvagnin,Domenico(编辑)等人,《人工智能和OR技术在约束编程中的集成》。2017年6月5日至8日,第14届国际会议,CPIOR 2017,意大利帕多瓦。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10335, 387-402 (2017).
MSC公司:68T20型 90 C59
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用单调布尔网络对布尔网络进行异步模拟。 (英语) Zbl 1391.37010号

El Yacoubi,Samira(编辑)等人,《细胞自动机》。第十二届研究和工业细胞自动机国际会议,ACRI 2016,摩洛哥费兹,2016年9月5-8日。诉讼程序。查姆:施普林格(ISBN 978-3-319-44364-5/pbk;978-3-3169-44365-2/电子书)。计算机科学讲座笔记9863182-191(2016)。
MSC公司:37B10号机组 94立方厘米
PDF格式BibTeX公司 XML格式引用

通常比建设性案例更难:CP网络中的破坏性贿赂。 (英语) Zbl 1406.91113号

Markakis,Evangelos(编辑)等人,《网络和互联网经济学》。2015年12月9日至12日在荷兰阿姆斯特丹举行的第十一届国际葡萄酒大会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-48994-9/pbk;978-3-562-48995-6/电子书)。计算机科学课堂讲稿9470314-327(2015)。
PDF格式BibTeX公司 XML格式引用

通过扩展规则进行近似模型计数。 (英语) Zbl 1356.68109号

王建新(编辑)等,算法前沿。2015年7月3日至5日,中国桂林,一汽2015年第九届国际研讨会。诉讼程序。商会:施普林格出版社(ISBN 978-3-319-19646-6/pbk;978-3-319-19647-3/ebook)。计算机科学讲义9130,229-240(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可能性条件偏好网络。 (英语) Zbl 1465.91046号

Destercke,Sébastien(编辑)等人,用符号和定量方法进行不确定性推理。第13届欧洲会议,ECSQARU 2015,法国康皮涅,2015年7月15日至17日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9161, 36-46 (2015).
MSC公司:91B08型 68层37
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

格哈德·布鲁卡对人工智能的贡献一瞥。 (英语) Zbl 1432.68003号

Eiter,Thomas(编辑)等人,《知识表示、逻辑编程和抽象论证的进展》。在格哈德·布鲁卡60岁生日之际献给他的散文。查姆:斯普林格。莱克特。注释计算。科学。9060, 1-16 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在形式概念分析中对其他同等偏好进行建模。 (英语) 兹比尔1397.68175

Cellier,Peggy(编辑)等人,《形式概念分析》。2013年5月21日至24日,在德国德累斯顿举行的2013年国际烟草期货交易协会第11届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-38316-8/pbk)。计算机科学课程讲稿7880。《人工智能课堂讲稿》,188-202年(2013年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

求解具有定性偏好的可满足性问题的算法。 (英语) Zbl 1357.68206号

Erdem,Esra(编辑)等人,《正确的推理》。关于基于逻辑的人工智能的论文,以纪念Vladimir Lifschitz。柏林:施普林格出版社(ISBN 978-3-642-30742-3/pbk)。计算机科学课堂讲稿7265,327-344(2012)。
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

传记参考

全部的 前3名

软件