×

找到109个文档（结果1-100）

最新的 引文 关联
巴特·雅各布斯

使用Jeffrey的更新规则实现期望最大化和潜在Dirichlet分配的原则方法。 （英语） Zbl 07810569号

Hansen，Helle Hvid（编辑）等人，《逻辑、语言、信息和计算》。2023年7月11日至14日，第29届国际研讨会，WoLLIC 2023，加拿大NS哈利法克斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13923, 256-273 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{B.Jacobs}，莱克特。注释计算。科学。13923256-273（2023；Zbl 07810569）
全文： 内政部
埃丝特·安娜·科尔西;弗拉米尼奥，托马索;海克尔·霍斯尼

走向不确定性逻辑的统一观点。 （英语） Zbl 1524.68353号

Dupin de Saint-Cyr，Florence（编辑）等，可扩展不确定性管理。2022年10月17日至19日，法国巴黎，第15届国际会议，SUM 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13562, 329-337 (2022).
MSC公司：第68页第27页 03B45 03B52号 68层37
PDF格式BibTeX公司 XML格式引用
\textit{E.A.Corsi}等人，Lect。注释计算。科学。13562、329--337（2022年；Zbl 1524.68353）
全文： 内政部
塔尼亚·布劳恩;马塞尔·盖尔克

可解释和探索的决策支持。 （英语） 兹比尔1522.68713

Braun，Tanya（编辑）等人，基于图形的表示和推理。第27届概念结构国际会议，ICCS 2022，德国明斯特，2022年9月12日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13403, 99-114 (2022).
MSC公司：68单位35 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{T.Braun}和\textit{M.Gehrke}，莱克特。注释计算。科学。13403，99-114（2022；Zbl 1522.68713）
全文： 内政部
亚历克斯·辛普森

独立性和条件独立性的范畴理论结构。 （英语） Zbl 1525.68073号

Silva，Alexandra（编辑），第33届编程语义数学基础会议论文集（MFPS XXXII），斯洛文尼亚卢布尔雅那，2017年6月12-15日。阿姆斯特丹：爱思唯尔。电子。理论注释。计算。科学。336, 281-297 (2018).
MSC公司：68问题55 03B70号 18天30分 60A05型 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{A.Simpson}，电子。理论注释。计算。科学。336281--297（2018；Zbl 1525.68073）
全文： 内政部
林克，塞巴斯蒂安

不完全数据上概率条件独立和层次依赖子类的近似逻辑。 （英语） Zbl 1429.03093号

Abramsky，Samson（编辑）等人，《依赖逻辑》。理论和应用。根据2013年2月在德国瓦登举行的达格斯图尔“依赖逻辑：理论和应用”研讨会上的演讲，选出论文。巴塞尔：Birkhäuser/Springer。183-217 (2016).
MSC公司：03B48号 60A05型 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{S.Link}，in：依赖逻辑。理论和应用。根据2013年2月在德国瓦登举行的达格斯图尔“依赖逻辑：理论和应用”研讨会上的发言，选出论文。巴塞尔：Birkhäuser/Springer。183-217（2016；Zbl 1429.03093）
全文： 内政部
伊扎克·吉尔博;马西莫·马里纳奇

歧义和贝叶斯范式。 （英语） Zbl 1384.03081号

Arló-Costa，Horacio（编辑）等人，《形式认识论阅读》。资料手册。在Henrik Boensvang和Rasmus K.Rendsvig的协助下编辑。查姆：施普林格（ISBN 978-3-319-20450-5/hbk；978-3-3169-20451-2/电子书）。斯普林格哲学研究生文集1，385-439（2016）。
MSC公司：03A10号 03B48号 60A05型 62A01型
PDF格式BibTeX公司 XML格式引用
\textit{I.Gilboa}和\textit{M.Marinacci}，斯普林格大学。文本Philos。1385--439（2016；Zbl 1384.03081）
全文： 内政部 链接
泰迪·塞登菲尔德

没有“独立性”或“有序性”的决策理论。有什么区别？ （英语） Zbl 1384.03089号

Arló-Costa，Horacio（编辑）等人，《形式认识论阅读》。资料手册。在Henrik Boensvang和Rasmus K.Rendsvig的协助下编辑。查姆：施普林格（ISBN 978-3-319-20450-5/hbk；978-3-3169-20451-2/电子书）。斯普林格哲学研究生文集1，361-384（2016）。
MSC公司：03A10号 03B48号 91B06型
PDF格式BibTeX公司 XML格式引用
\textit{T.塞登菲尔德}，斯普林格研究生。文本Philos。1361--384（2016；Zbl 1384.03089）
全文： 内政部
沃尔夫冈·斯波恩

排名理论综述。 （英语） Zbl 1384.03108号

Arló-Costa，Horacio（编辑）等人，《形式认识论读本》。资料手册。在Henrik Boensvang和Rasmus K.Rendsvig的协助下编辑。查姆：施普林格（ISBN 978-3-319-20450-5/hbk；978-3-3169-20451-2/电子书）。斯普林格哲学研究生文集1，303-347（2016）。
MSC公司：03B42号 03A05号 03B48号
PDF格式BibTeX公司 XML格式引用
\textit{W.Spohn}，斯普林格·格拉德。文本Philos。1303--347（2016；Zbl 1384.03108）
全文： 内政部
朱卡·科兰德;安蒂·海蒂宁;朱哈·科廷宁;约翰·彭萨尔;Väänänen，佐科

语境独立性的逻辑方法。 （英语） Zbl 1478.03067号

Väänänen，Jouko（编辑）等人，《逻辑、语言、信息和计算》。2016年8月16日至19日在墨西哥普埃布拉举行的2016年WoLLIC第23届国际研讨会。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。9803, 165-182 (2016).
MSC公司：03B80号 05C90年 62H22个
PDF格式BibTeX公司 XML格式引用
\textit{J.Corander}等人，Lect。注释计算。科学。9803、165--182（2016；Zbl 1478.03067）
全文： 内政部 链接
安托万·阿马里利;皮埃尔·布赫斯;皮埃尔·塞内拉特

树和树状实例的起源回路。 （英语） 兹比尔1440.68053

Halldórsson，Magnüs M.（编辑）等人，《自动化、语言和编程》。第42届国际学术讨论会，ICALP 2015，日本京都，2015年7月6日至10日。诉讼程序。第二部分。柏林：施普林格。莱克特。注释计算。科学。9135, 56-68 (2015).
MSC公司：第68页，共15页 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Amarilli}等人，Lect。注释计算。科学。9135，56-68（2015；Zbl 1440.68053）
全文： 内政部 arXiv公司 哈尔
Ognjanović，佐兰;佐兰·马尔科维奇;米奥德拉格·拉什科维奇;道德，德拉甘;阿列克桑达尔·佩罗维奇

用于证据推理的具有离散线性时间的命题概率逻辑。 （英语） Zbl 1269.03033号

安。数学。Artif公司。智力。 65，编号2-3，217-243（2012）.
审核人：Jürgen Landes（坎特伯雷）
MSC公司：03B62号 03B44号 第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{Z.Ognjanović}等人，《数学年鉴》。Artif公司。智力。65，编号2--3，217--243（2012；Zbl 1269.03033）
全文： 内政部
库尔·科拉斯;塞萨尔·施努利

信息代数。 （英语） 兹比尔1239.68030

乔瓦尼（编辑），《信息的形式理论》。从香农到语义信息理论和信息的一般概念。柏林：施普林格出版社（ISBN 978-3-642-00658-6/pbk）。计算机科学课堂讲稿536395-127（2009）。
MSC公司：68页30 03G25号 第68页，共15页 94甲15 94甲17
PDF格式BibTeX公司 XML格式引用
\textit{J.Kohlas}和\textit{C.Schneuwly}，莱克特。注释计算。科学。5363、95-127（2009年；Zbl 1239.68030）
全文： 内政部
萨蒂亚德夫·南达库马尔

构造维度的特征。 （英语） Zbl 1262.03144号

Dilhage，R.（ed.）等人，《第四届分析可计算性和复杂性国际会议论文集》（CCA 2007），意大利锡耶纳，2007年6月16日至18日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记202，323-337（2008）。
MSC公司：03层60 03天32分 54层45 60克48
PDF格式BibTeX公司 XML格式引用
\textit{S.Nandakumar}，电子。理论注释。计算。科学。202、323--337（2008；Zbl 1262.03144）
全文： 内政部
斯特凡·阿恩伯格

分解有助于决定知识和信念的逻辑。 （英语） Zbl 1496.03067号

Schneider，Hans Jürgen（编辑）等人，《计算机科学中的图形变换》。1993年1月4日至8日，德国达格斯图尔城堡国际研讨会。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。776, 37-50 (1994).
MSC公司：03B42号 03B25号 2015年3月1日 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Arnborg}，莱克特。注释计算。科学。776，37-50（1994年；兹bl 1496.03067）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件