福克斯，詹姆斯；马特·麦克德莫特；刘易斯·哈蒙德；保罗·哈伦斯坦；亚历山德罗·阿巴特；迈克尔·伍尔德里奇 关于多智能体影响图中的不完全召回。 （英文） Zbl 07810615号 Verbrugge，Rineke（编辑），《第十九届理性与知识理论方面会议记录》，TARK，英国牛津，2023年6月28日至30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）379201-220（2023）。MSC公司：03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{J.Fox}等人，《电子》。程序。西奥。计算。科学。（EPTCS）379201--220（2023；Zbl 07810615） 全文： 内政部 arXiv公司
罗云荣；Cheng，车；蒋洁红R。 依赖随机布尔可满足性的分辨证明系统。 （英文） 兹伯利07739776 J.汽车。推理 67，第3号，第26号论文，第27页（2023年）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit｛Y.-R.Loo｝等人，J.Autom。推理67，第3号，论文26，27页（2023；Zbl 07739776） 全文： 内政部
加尔·阿诺；亚历山德罗·奇埃萨；伊伦·约盖夫 用于交互式证明和应用的PCP定理。 （英文） Zbl 1497.68207号 Dunkelman，Orr（编辑）等人，《密码学进展——欧洲密码2022》。第41届密码技术理论与应用国际年会，挪威特隆赫姆，2022年5月30日至6月3日。诉讼程序。第二部分。查姆：斯普林格。勒克特。注释计算。科学。13276, 64-94 (2022).MSC公司：2010年第68季度 2011年第68季度 2015年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.Arnon}等人，Lect。注释计算。科学。13276，64-94（2022；Zbl 1497.68207） 全文： 内政部
塞兰、伊斯梅尔·伊尔坎；阿德南·达尔维切；盖伊，范登·布勒克 开放世界概率数据库：语义、算法、复杂性。 （英文） Zbl 1519.68068号 Artif公司。智力。 295，文章ID 103474，34 p.（2021）.MSC公司：第68页，共15页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{I.I.Ceylan}等人，Artif。智力。295，文章ID 103474，34 p.（2021；Zbl 1519.68068） 全文： 内政部 链接
斯蒂芬·瓦尔钦；麦克唐纳，简；豪奇，萨沙；吉塔·库蒂尼奥克 理解二进制分类器决策的计算复杂性。 （英文） Zbl 1512.68116号 J.阿蒂夫。智力。研究（JAIR） 70, 351-387 (2021).MSC公司：65年第68季度 2006年第68季度 2015年第68季度 68T05型 68周25 PDF格式BibTeX公司 XML格式引用 \textit{S.Wäldchen}等人，J.Artif。智力。研究（JAIR）70，351--387（2021；Zbl 1512.68116） 全文： 内政部 arXiv公司
凯西奥·德·坎波斯。；乔治·斯塔穆利斯；丹尼斯·韦兰德 关于加权计数的结构化观点，与计数、量子计算和应用程序的关系。 （英文） Zbl 1496.68153号 Inf.计算。 275，文章ID 104627，25 p.（2020）.MSC公司：2015年第68季度 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{C.P.de Campos}等人，《信息计算》。275，文章ID 104627，25 p.（2020；Zbl 1496.68153） 全文： 内政部 arXiv公司
塞兰、伊斯梅尔·伊尔坎；拉斐尔·佩尼亚洛萨 贝叶斯本体语言（mathcal{BEL}）。 （英文） Zbl 1409.68278号 J.汽车。推理 58，第1号，67-95（2017）.MSC公司：68T27型 68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \textit{I.I.Ceylan}和\textit{R.Peñaloza}，J.Autom。推理58，No.1，67-95（2017；Zbl 1409.68278） 全文： 内政部
罗西、罗伯托；赫尼奇，卜拉欣；塔里木，S.Armagan；史蒂文·普雷斯特维奇 随机约束规划中基于置信度的推理。 （英文） Zbl 1346.90648号 Artif公司。智力。 228, 129-152 (2015).MSC公司：90立方厘米 62层25 PDF格式BibTeX公司 XML格式引用 \textit{R.Rossi}等人，Artif。智力。228129-152（2015；Zbl 1346.90648） 全文： 内政部 arXiv公司
普雷斯特维奇，S.D。；塔里木，南美。；罗西，R。；哈尼奇，B。 随机约束规划的混合元启发式。 （英文） Zbl 1316.90033号 约束条件 20，第1期，57-76（2015）.MSC公司：90立方厘米 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{S.D.Prestwich}等人，《限制条件》20，第1期，第57--76页（2015；Zbl 1316.90033） 全文： 内政部 链接
卡尔·弗里斯顿；萨莫特拉基斯、斯皮里登；雷德·蒙塔古 主动推理与代理：无成本函数的最优控制。 （英文） Zbl 1267.90167号 生物、网络。 106，编号8-9，523-541（2012）.MSC公司：90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Friston}等人，《生物》。赛博。106，编号8--9，523--541（2012；Zbl 1267.90167） 全文： 内政部
多米尼克·克莱恩；弗兰克·拉德马赫。；沃尔夫冈·托马斯 在随机故障下在网络中移动：复杂性分析。 （英文） Zbl 1242.68031号 科学。计算。程序。 77，编号7-8，940-954（2012）.MSC公司：68米15 2017年第68季度 91A80 91A43型 91A05型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Klein}等人，科学。计算。程序。77号7--8940--954（2012；Zbl 1242.68031） 全文： 内政部
约翰·奎斯特霍特 贝叶斯网络中最可能的解释：复杂性和易处理性。 （英文） Zbl 1242.68332号 国际J近似推理 52，第9期，1452-1469（2011）.MSC公司：68层37 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Kwisthout}，《国际近似推理》52，第9期，1452--1469（2011；Zbl 1242.68332） 全文： 内政部 链接
琳达·C·范德加格。；Bodlaender，Hans L。 关于停止诊断贝叶斯网络的证据收集。 （英文） Zbl 1341.62259号 Liu，Weiru（编辑），不确定性推理的符号和定量方法。2011年6月29日至7月1日，第11届欧洲会议，ECSQARU 2011，英国贝尔法斯特。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22151-4/pbk）。计算机科学课堂讲稿6717。人工智能课堂讲稿，170-181（2011）。MSC公司：62升15 62C10个 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.C.van der Gaag}和\textit{H.L.Bodlaender}，莱克特。注释计算。科学。6717、170--181（2011年；Zbl 1341.62259） 全文： 内政部
蒂诺·特伊格；安德烈亚斯·艾格斯；马丁·范策尔 并发概率混合系统的基于约束的分析：网络自动化系统的应用。 （英文） 兹比尔1225.93102 非线性分析。，混合系统。 第5号，第343-366页（2011年）.MSC公司：93E03型 93个B03 93立方 PDF格式BibTeX公司 XML格式引用 \textit{T.Teige}等人，《非线性分析》。，混合系统。5，第2号，343--366（2011；Zbl 1225.93102） 全文： 内政部
卢卡斯·克罗克；阿什什·萨巴沃尔；巴特·塞尔曼 利用信念传播、回溯搜索和统计数据进行模型计算。 （英文） Zbl 1225.90108号 安·Oper。物件。 184, 209-231 (2011).MSC公司：90C27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Kroc}等人，Ann.Oper。第184、209--231号决议（2011年；Zbl 1225.90108） 全文： 内政部 链接
蒂诺·特伊格；马丁·范策尔 随机布尔可满足性问题的广义Craig插值。 （英文） Zbl 1315.68183号 Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605158-172（2011）。MSC公司：60年第68季度 03C40号 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Teige}和\textit{M.Fränzle}，Lect。注释计算。科学。6605158--172（2011年；Zbl 1315.68183） 全文： 内政部
马丁·范策尔；蒂诺·特伊格；安德烈亚斯·艾格斯 概率混合自动机自动分析的工程约束求解器。 （英文） Zbl 1205.68252号 J.日志。阿尔盖布。程序。 79，第7期，436-466（2010）.MSC公司：87年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Fränzle}等人，J.Log。阿尔盖布。程序。79，编号7，436-466（2010年；Zbl 1205.68252） 全文： 内政部
萨阿德、埃马德 关于混合概率逻辑程序与随机可满足性的关系。 （英文） Zbl 1245.68220号 Greco，Sergio（编辑）等，可扩展不确定性管理。第二届国际会议，2008年10月1日至3日，意大利那不勒斯，SUM 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87992-3/pbk）。计算机科学课堂讲稿5291。人工智能课堂讲稿，356-371（2008）。MSC公司：68层37 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.Saad}，莱克特。注释计算。科学。5291、356--371（2008；Zbl 1245.68220） 全文： 内政部
马丁·范策尔；霍尔格赫尔曼斯；蒂诺·特伊格 随机可满足性模理论：概率混合系统分析的新技术。 （英文） Zbl 1143.68452号 Egerstedt，Magnus（编辑）等人，《混合系统：计算和控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78928-4/pbk）。计算机科学课堂讲稿4981172-186（2008）。MSC公司：60年第68季度 65年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人，Lect。注释计算。科学。4981、172--186（2008年；Zbl 1143.68452） 全文： 内政部
蒂诺·特伊格；马丁·范策尔 非线性算法的随机可满足性模理论。 （英文） Zbl 1142.68525号 Perron，Laurent（编辑）等，组合优化问题约束编程中AI和OR技术的集成。2008年5月20日至23日，第五届国际会议，CPAIOR 2008，法国巴黎。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68154-0/pbk）。计算机科学课程讲稿5015，248-262（2008）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Teige}和\textit{M.Fränzle}，Lect。注释计算。科学。5015、248--262（2008；Zbl 1142.68525） 全文： 内政部
卢卡斯·克罗克；阿什什·萨巴沃尔；巴特·塞尔曼 利用信念传播、回溯搜索和统计数据进行模型计算。 （英文） Zbl 1142.68517号 Perron，Laurent（编辑）等，组合优化问题约束编程中AI和OR技术的集成。2008年5月20日至23日，第五届国际会议，CPAIOR 2008，法国巴黎。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68154-0/pbk）。计算机科学课程讲稿5015127-141（2008）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Kroc}等人，Lect。注释计算。科学。5015、127--141（2008；Zbl 1142.68517） 全文： 内政部
Delbert D.Bailey。；维克托·达尔摩；Phokion G.科莱蒂斯。 PP-完全可满足问题的相变。 （英文） Zbl 1123.68117号 离散应用程序。数学。 155，第12期，1627-1639（2007）.MSC公司：68T20型 2015年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.D.Bailey}等人，《离散应用》。数学。155，第12号，1627--1639（2007；Zbl 1123.68117） 全文： 内政部 链接
斯蒂芬·马杰西克。 APPSSAT：使用随机可满足性的近似概率规划。 （英文） Zbl 1119.68441号 国际J近似推理 45，第2期，402-419（2007）.MSC公司：68T20型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Majercik}，《国际近似推理》45，第2期，402--419（2007；Zbl 1119.68441） 全文： 内政部
阿玛甘·塔里木，S。；苏雷什·马南达尔；托比·沃尔什 随机约束规划：一种基于场景的方法。 （英文） Zbl 1103.68828号 约束条件 11，第1期，53-80（2006）.MSC公司：68层37 PDF格式BibTeX公司 XML格式引用 \textit{S.Armagan塔里木}等人，《约束11》，第1期，第53-80页（2006；Zbl 1103.68828） 全文： 内政部 arXiv公司
杰拉德·弗法利；纳伦德拉·尤西恩 不确定和动态环境中的约束求解：综述。 （英文） 兹比尔1086.68595 约束条件 10，第3期，253-281（2005）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Verfaillie}和\textit{N.Jussien}，约束10，第3号，253--281（2005；Zbl 1086.68595） 全文： 内政部 哈尔
斯蒂芬·马杰西克。；迈克尔·利特曼。 基于随机可满足性的不确定性权变规划。 （英文） Zbl 1082.68807号 Artif公司。智力。 147，编号1-2，119-162（2003）.MSC公司：68T20型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Majercik}和\textit{M.L.Littman}，Artif。智力。147，编号1--2，119-162（2003；Zbl 1082.68807） 全文： 内政部