×

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

最新的 引文 关联
阿兰·邦迪；夸贝纳，努阿马

统一分解-聚合（UDA）规则：动态、图解、新颖的公理。 （英语） Zbl 07691301号

Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13467, 209-221 (2022).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Bundy}和\textit{K.Nuamah}，莱克特。注释计算。科学。13467、209--221（2022；Zbl 07691301）
全文： 内政部 链接
贝内维迪斯，马里奥；亚历山大·马德拉；马丁斯（Manuel A.Martins）。

在具有结构化知识的认知逻辑中加入证明演算。 （英语） Zbl 1496.68309号

Hojjat，Hossein（编辑）等人，《软件工程基础》，第九届国际会议，FSEN 2021，虚拟活动，2021年5月19日至21日。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12818, 53-68 (2021).
MSC公司：68T27型 03B42号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{M.Benevides}等人，Lect。注释计算。科学。12818、53-68（2021年；Zbl 1496.68309）
全文： 内政部 链接
Dautović，Šejla；Doder，德拉甘；佐兰·奥格尼亚诺维奇

关于确认程度的推理。 （英语） Zbl 07578361号

Dastani，Mehdi（编辑）等人，《逻辑与论证》。第三届国际会议，CLAR 2020，2020年4月6日至9日，中国杭州。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12061, 80-95 (2020).
MSC公司：03B70号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{Š.Dautović}等人，Lect。注释计算。科学。12061，80-95（2020；Zbl 07578361）
全文： 内政部
内博伊沙·伊科迪诺维奇；佐兰·奥格尼亚诺维奇；阿列克桑达尔·佩罗维奇；米奥德拉格·拉什科维奇

可加概率语义的完备性定理。 （英语） Zbl 1452.03064号

Ann.纯粹应用。逻辑 171，第4期，文章ID 102755，27页（2020年）.
审核人：吉尔根·兰德斯（慕尼黑）
MSC公司：03B48号 03B42号 03C10号机组
PDF格式BibTeX公司 XML格式引用
\textit{N.Ikodinović}等人，Ann.Pure Appl。逻辑171，第4号，文章ID 102755，27页（2020；Zbl 1452.03064）
全文： 内政部
里卡多·泽斯；朱塞佩·科塔；伊芙琳娜·拉姆；埃琳娜·贝洛迪；法布里齐奥·里古齐

带有精确公式的概率DL推理：基于Prolog的方法。 （英语） Zbl 1472.68194号

理论与实践。日志。程序。 第3号第19页，第449-476页（2019年）.
MSC公司：68T27型 68N17号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{R.Zese}等人，《理论与实践》。日志。程序。19，第3号，449--476（2019；Zbl 1472.68194）
全文： 内政部 arXiv公司
亚历山大·马德拉；马丁斯（Manuel A.Martins）。；马里奥·贝尼维德斯。

具有结构化知识的认识逻辑。 （英语） Zbl 1433.68423号

Accattoli，Beniamino（编辑）等人，《逻辑和语义框架与应用第13次研讨会论文集》，LSFA 18，巴西福塔莱萨，2018年9月26日至28日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。344137-149（2019）中所述。
MSC公司：68T27型 03B42号 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{A.Madeira}等人，《电子》。注释Theor。计算。科学。344137-149（2019年；Zbl 1433.68423）
全文： 内政部
佐洛廷，A.A。；图卢皮耶夫，A.L。

量子命题上代数贝叶斯网络中局部后验推理矩阵向量方程的灵敏度统计估计。 （英语。俄文原件） Zbl 1448.68432号

维斯特。圣彼得堡大学数学。 51，第1号，42-48（2018）; 由Vestn翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。5（63），第1期，55-64（2018）。
MSC公司：68层37 2015年1月62日 62H22个
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Zolotin}和\textit{A.L.Tulupyev}，Vestn。圣彼得堡大学数学。51，No.1，42-48（2018；Zbl 1448.68432）；由Vestn翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。5（63），第1号，55-64（2018）
全文： 内政部
里卡多·泽斯；埃琳娜·贝洛迪；法布里齐奥·里古齐；朱塞佩·科塔；伊芙琳娜·拉姆

描述逻辑的表推理及其对概率的扩展。 （英语） 兹比尔1398.68506

安。数学。Artif公司。智力。 82，编号1-3，101-130（2018）.
MSC公司：68T27型 68N17号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{R.Zese}等人，《数学年鉴》。Artif公司。智力。82，编号1--3，101-130（2018；Zbl 1398.68506）
全文： 内政部 链接
卡洛斯·卡莱罗；菲利佩·卡萨尔；安德烈亚·莫迪多

广义概率可满足性。 （英语） Zbl 1401.68113号

Nigam，Vivek（编辑）等人，《逻辑和语义框架及其应用第11次研讨会论文集》（LSFA 2016），葡萄牙波尔图，2016年。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记332，39-56（2017）。
MSC公司：65年第68季度 2017年第68季度 68T20型 90立方厘米 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{C.Caleiro}等人，《电子》。注释Theor。计算。科学。332、39-56（2017；Zbl 1401.68113）
全文： 内政部
拉斐尔·佩尼亚洛萨；尼科·波提卡

描述逻辑（mathcal{ALCP}）中基于最大熵原理的概率推理。 （英语） Zbl 1366.68293号

Schockaert，Steven（编辑）等，可扩展不确定性管理。第十届国际会议，2016年SUM，法国尼斯，2016年9月21日至23日。诉讼程序。商会：施普林格出版社（ISBN 978-3-319-45855-7/pbk；978-3-319-45856-4/ebook）。计算机科学课程讲稿9858。人工智能课堂讲稿，246-259（2016）。
MSC公司：68T27型 68立方英尺 68层37
PDF格式BibTeX公司 XML格式引用
\textit｛R.Peñaloza｝和\textit｛N.Potyka｝，Lect。注释计算。科学。9858、246——259（2016年；Zbl 1366.68293）
全文： 内政部 arXiv公司
保罗·沙卡里安；杰拉尔多·西马里一世。；杰弗里·摩尔；保罗，达蒙；西蒙·帕森斯；马塞洛·法拉帕。；阿什坎·阿莱利

结构化概率论证的信念修正、模型及其在网络安全中的应用。 （英语） Zbl 1405.68367号

安。数学。Artif公司。智力。 78，编号3-4，259-301（2016）.
MSC公司：68T27型 68N17号 68立方英尺 68层35 68层37
PDF格式BibTeX公司 XML格式引用
\textit{P.Shakarian}等人，《数学年鉴》。Artif公司。智力。78、编号3--4、259--301（2016；Zbl 1405.68367）
全文： 内政部
马蒂亚斯·尼克尔斯

一种基于逻辑编程和稳定模型语义下的一阶理论的概率推理工具。 （英语） Zbl 1483.68408号

Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，JELIA 2016，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10021, 369-384 (2016).
MSC公司：68层37 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{M.Nickles}，莱克特。注释计算。科学。10021369--384（2016；Zbl 1483.68408）
全文： 内政部
图卢皮耶夫，A.L。；Sirotkin，A.V.公司。；佐洛廷，A.A。

代数贝叶斯网络真值估计的局部后验推理中归一化因子的矩阵方程。 （英语。俄文原件） 兹比尔1370.68281

维斯特。圣彼得堡大学数学。 48，第3期，168-174（2015）; 由Vestn翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。2（60），第3期，379-386（2015）。
MSC公司：68层37
PDF格式BibTeX公司 XML格式引用
\textit{A.L.Tulupyev}等人，Vestn。圣彼得堡大学数学。48，第3号，168--174（2015；Zbl 1370.68281）；由Vestn翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。2（60），第3期，379--386（2015）
全文： 内政部
克里斯托夫·贝尔；尼科·波提卡；约瑟夫·鲍迪什；马克·芬塔默

概率关系FO-PCL知识库的最大熵提升推理。 （英语） Zbl 1465.68234号

Destercke，Sébastien（编辑）等人，用符号和定量方法进行不确定性推理。第13届欧洲会议，ECSQARU 2015，法国康皮涅，2015年7月15日至17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9161, 506-516 (2015).
MSC公司：68T27型 03B48号 68立方英尺 68层37
PDF格式BibTeX公司 XML格式引用
\textit{C.Beierle}等人，Lect。注释计算。科学。9161506--516（2015；Zbl 1465.68234）
全文： 内政部
安德烈亚·莫迪多；卡洛斯·卡莱罗

基于方程的经典逻辑。 （英语） Zbl 1465.03069号

Paiva，Valeria（编辑）等人，《逻辑、语言、信息和计算》。第22届国际研讨会，2015年7月20日至23日，美国印第安纳州布卢明顿，WoLLIC。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9160, 38-52 (2015).
MSC公司：03B70号 03B25号 2012年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{A.Mordido}和\textit{C.Caleiro}，莱克特。注释计算。科学。9160，38-52（2015；Zbl 1465.03069）
全文： 内政部
菲尔琴科夫，A.A。；亚历山大·图卢皮耶夫。

代数贝叶斯网络主结构上最小和不可约连接图集的重合性。 （英语。俄文原件） Zbl 1335.68258号

维斯特。圣彼得堡大学数学。 45，第2期，106-113（2012）; 由Vestn翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。2012年，第2期，65-74（2012）。
MSC公司：68立方英尺 68层37 05C90年
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Filchenkov}和\textit{A.L.Tulupyev}，Vestn。圣彼得堡大学数学。45，第2号，106-113（2012；Zbl 1335.68258）；由Vestn翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。2012年第2期，第65-74期（2012年）
全文： 内政部
佐兰·奥格尼亚诺维奇；佐兰·马尔科维奇；米奥德拉格·拉什科维奇；Doder，德拉甘；亚历山大·佩罗维奇

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

安。数学。Artif公司。智力。 65，编号2-3217-243（2012）.
审核人：Jürgen Landes（坎特伯雷）
MSC公司：03B62号 03B44号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{Z.Ognjanović}等人，《数学年鉴》。Artif公司。智力。65，编号2--3，217--243（2012；Zbl 1269.03033）
全文： 内政部
杰拉尔多·西马里一世。；Martinez、Maria Vanina；艾米·斯利娃；苏布拉曼尼亚，V.S。

在概率逻辑程序中集中最可能的世界计算。 （英语） Zbl 1260.68393号

安。数学。Artif公司。智力。 64，编号2-3，113-143（2012）.
审核人：Ion Iancu（克雷奥瓦）
MSC公司：68层37 68立方英尺 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{G.I.Simari}等人，《数学年鉴》。Artif公司。智力。64，编号2--3，113--143（2012；Zbl 1260.68393）
全文： 内政部
伊里奇-斯蒂皮奇，安吉丽娜；佐兰·奥格尼亚诺维奇；内博伊沙·伊科迪诺维奇；阿列克桑达尔·佩罗维奇

（p\）-adic概率逻辑。 （英语） Zbl 1251.03027号

数学。日志。问：。 58，编号4-5，263-280（2012）.
审核人：Jürgen Landes（坎特伯雷）
MSC公司：03B48号 03B25号 03B42号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{A.Ilić-Stepić}等人，数学。日志。问58，第4--5263--280号（2012；Zbl 1251.03027）
全文： 内政部
巴维尔·克里诺夫；比扬·帕西娅

概率可满足性的混合方法。 （英语） Zbl 1341.68191号

Björner，Nikolaj（编辑）等人，《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22437-9/pbk；978-3-442-22438-6/电子书）。计算机科学课程讲稿6803。人工智能课堂讲稿，354-368（2011）。
MSC公司：68吨15 03B48号 68T20型 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit｛P.Klinov｝和\textit｛B.Parsia｝，Lect。注释计算。科学。6803354--368（2011年；Zbl 1341.68191）
全文： 内政部
马蒂亚斯·布罗切勒；杰拉尔多·西马里一世。；苏布拉曼尼亚，V.S。

使用直方图来更好地回答概率逻辑程序的查询。 （英语） Zbl 1251.68052号

Hill，Patricia M.（编辑）等人，《逻辑编程》。第25届国际会议，ICLP 2009，美国加利福尼亚州帕萨迪纳，2009年7月14日至17日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02845-8/pbk）。计算机科学讲座笔记5649，40-54（2009）。
MSC公司：68N17号 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Broecheler}等人，Lect。注释计算。科学。5649、40-54（2009年；Zbl 1251.68052）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件