×

找到164个文档（结果1–100）

最新的 引文 关联
Lee，Joohyng先生;Yang、Zhun

回答集编程的统计关系扩展。 （英语） Zbl 1529.68259号

Bertossi，Leopoldo（编辑）等人，《推理网络》。因果关系、解释和陈述性知识。2022年9月27日至30日，德国柏林，第18所2022年国际暑期学校。辅导讲座。查姆：斯普林格。莱克特。注释计算。科学。13759, 132-160 (2023).
MSC公司：68T05型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{J.Lee}和\textit{Z.Yang}，Lect。注释计算。科学。13759132-160（2023年；Zbl 1529.68259）
全文： 内政部
Motoura、Shota

波普尔条件概率的逻辑和计算。 （英语） Zbl 07542375号

Vejnarová，Jiřina（编辑）等人，用符号和定量方法进行不确定性推理。第16届欧洲会议，ECSQARU 2021，捷克共和国布拉格，2021年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12897, 657-671 (2021).
MSC公司：68层37
PDF格式BibTeX公司 XML格式引用
\textit{S.Motoura}，莱克特。注释计算。科学。12897657——671（2021年；兹bl 07542375）
全文： 内政部
马蒂亚·西尔维斯特里;隆巴迪，米歇尔;米歇拉·米兰

在神经网络中注入领域知识：约束问题的受控实验。 （英语） Zbl 07493634号

Stuckey，Peter J.（编辑），约束编程、人工智能和运筹学的集成。第18届国际会议，2021年7月5日至8日，奥地利维也纳，CPAIOR 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12735, 266-282 (2021).
MSC公司：68T20型 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{M.Silvestri}等人，Lect。注释计算。科学。12735266--282（2021；Zbl 07493634）
全文： 内政部 arXiv公司 链接
塔内尔·塔米特;德克·德拉海姆;普里特·Järv

常识推理的自信。 （英语） Zbl 07437097号

AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 507-524 (2021).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{T.Tammet}等人，Lect。注释计算。科学。12699、507--524（2021；Zbl 07437097）
全文： 内政部
拉马南，南迪尼;乔塔姆·库纳普里;图沙·科特;巴哈雷州法特米;塞耶德·梅赫兰·卡泽米;大卫·普尔;克里斯蒂安·凯斯廷;斯里拉姆·纳塔拉扬

关系逻辑回归的结构学习：一种集成方法。 （英语） Zbl 1483.68315号

最小已知数据。发现。 35，第5号，2089-2111（2021）.
MSC公司：68T05型 62J12型
PDF格式BibTeX公司 XML格式引用
\textit{N.Ramanan}等人，《数据最小知识》。发现。35，第5号，2089--2111（2021；Zbl 1483.68315）
全文： 内政部 arXiv公司
努尔汗·埃哈布;Ismail，Haythem O。

\（\mathit{日志}_A\mathbf｛G｝\）：一个用分级命题进行推理的代数非单调逻辑。 （英语） Zbl 1511.68266号

安。数学。Artif公司。智力。 89，编号1-2，103-158（2021）; 更正同上，第89号，第1-2、159（2021）。
MSC公司：68T27型 68立方英尺 68层37
PDF格式BibTeX公司 XML格式引用
\textit｛N.Ehab｝和\textit｛H.O.Ismail｝，Ann。数学。Artif公司。智力。89，编号1--2，103-158（2021；Zbl 1511.68266）
全文： 内政部
斯特凡妮·斯皮切特;瓦夏克·贝勒

通过连续数据学习概率逻辑程序。 （英语） Zbl 1511.68232号

Kazakov，Dimitar（编辑）等人，《归纳逻辑编程》。第29届国际会议，ILP 2019，保加利亚普罗夫迪夫，2019年9月3日至5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11770, 129-144 (2020).
MSC公司：68T05型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{S.Speichert}和\textit{V.Belle}，莱克特。注释计算。科学。11770129-144（2020年；Zbl 1511.68232）
全文： 内政部 链接
弗朗西斯科·吉安尼尼;朱塞佩·马拉;米开朗基罗·迪利根蒂;马可·马基尼;马可·戈里

关于损失函数和t-范数之间的关系。 （英语） Zbl 1511.68221号

Kazakov，Dimitar（编辑）等人，《归纳逻辑编程》。2019年9月3日至5日，保加利亚普罗夫迪夫，第29届国际劳工大会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11770, 36-45 (2020).
MSC公司：68T05型 2017年10月68日 68层37
PDF格式BibTeX公司 XML格式引用
\textit{F.Giannii}等人，Lect。注释计算。科学。11770，36-45（2020；Zbl 1511.68221）
全文： 内政部 arXiv公司
塞耶德·梅赫兰·卡泽米;里沙布·戈尔;杰恩，克什提吉;伊万·科比泽夫;阿克西·塞提;彼得·福赛斯;帕斯卡尔·普帕特

动态图的表示学习：综述。 （英语） Zbl 1498.68243号

J.马赫。学习。物件。 21，第70号论文，73页（2020年）.
MSC公司：68T05型 68兰特 68立方英尺 68-02
PDF格式BibTeX公司 XML格式引用
\textit{S.M.Kazemi}等人，J.Mach。学习。第21号决议，第70号论文，73页（2020年；Zbl 1498.68243）
全文： arXiv公司 链接
克里斯托弗·德萨;伊利亚斯（Ihab F.Ilyas）。;本尼·基梅尔菲尔德;克里斯托弗·雷伊;西奥多罗斯·雷卡西纳斯

概率不干净数据库的正式框架。 （英语） 兹伯利07561466

Barcelo，Pablo（编辑）等人，第22届数据库理论国际会议，2019年3月26日至28日，2019，葡萄牙里斯本。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。127，第6条，第18页（2019年）。
MSC公司：第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{C.De Sa}等人，LIPIcs——莱布尼茨国际程序。通知。127，第6条，第18页（2019年；Zbl 07561466）
全文： 内政部 arXiv公司
王斌;沈军;张树涛;张志正

关于\（\mathrm{LP^{MLN}}\）程序的强等价性。 （英语） Zbl 07453109号

Bogaerts，Bart（ed.）等人，《第35届逻辑编程（技术通信）国际会议论文集》，2019年ICLP，美国拉斯克鲁塞斯，2019月20日至25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）306114-125（2019）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{B.Wang}等人，《电子》。程序。西奥。计算。科学。（EPTCS）306114-125（2019年；Zbl 07453109）
全文： arXiv公司 链接
维埃拉·德·法里亚（Vieira de Faria），弗朗西斯科·H·O。;阿瑟·科伦比尼·古斯芒;格劳贝尔·德博纳;毛阿，Denis Deratani;法比奥·加利亚迪·科兹曼

加快非循环概率逻辑程序的参数和规则学习。 （英语） Zbl 1456.68168号

国际J近似推理 106, 32-50 (2019).
MSC公司：68T05型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{F.H.O.Vieira de Faria}等人，《国际近似推理》106，32--50（2019；Zbl 1456.68168）
全文： 内政部
塞兰、伊斯梅尔·伊尔坎;托马斯·卢卡西维奇

关于概率知识库的查询回答和推理的教程。 （英语） Zbl 1517.68100号

d'Amato，Claudia（编辑）等人，《推理网络》。学习、不确定性、流媒体和可扩展性。2018年9月22日至26日，卢森堡埃什苏尔阿尔泽特，2018年第14届国际暑期学校。辅导讲座。查姆：斯普林格。莱克特。注释计算。科学。11078, 35-77 (2018).
MSC公司：第68页，共15页 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{I.I.Ceylan}和\textit{T.Lukasiewicz}，莱克特。注释计算。科学。11078，35-77（2018；Zbl 1517.68100）
全文： 内政部 链接
罗曼·林塞;罗曼·科瓦尔克;菲利普·勒雷

使用马尔可夫链、约束和抽样处理不确定性下的复杂事件。 （英语） Zbl 1518.68391号

Benzmüller，Christoph（编辑）等人，《规则与推理》。2018年9月18-21日，卢森堡，第二届国际联席会议，RuleML+RR 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11092, 147-163 (2018).
MSC公司：68层37
PDF格式BibTeX公司 XML格式引用
\textit{R.Rincé}等人，Lect。注释计算。科学。11092147-163（2018年；Zbl 1518.68391）
全文： 内政部 哈尔
马塞尔·格尔克;塔尼亚·布劳恩;拉尔夫·莫勒

提升动态连接树算法。 （英语） Zbl 1508.68088号

Chapman，Peter（编辑）等人，《基于图形的表示和推理》。第23届概念结构国际会议，2018年ICCS，2018年6月20日至22日，英国爱丁堡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10872，55-69（2018）。
MSC公司：第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{M.Gehrke}等人，Lect。注释计算。科学。10872，55-69（2018；Zbl 1508.68088）
全文： 内政部
罗尔夫·施维特

通过概率逻辑编程学习效果公理。 （英语） Zbl 1428.68286号

Rocha，Ricardo（编辑）等人，第33届逻辑编程国际会议的技术交流，2017年8月28日至9月1日，澳大利亚墨尔本。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。58，第8条，第15页（2018年）。
MSC公司：68T27型 68N17号 68层37
PDF格式BibTeX公司 XML格式引用
\textit{R.Schwitter}，OASIcs--开放存取服务器。通知。58，第8条，第15页（2018；Zbl 1428.68286）
全文： 内政部
特洛伊隆;跳舞，克里斯托弗·R。;埃里克·高斯;约翰内斯·韦尔布尔;塞巴斯蒂安·里德尔;纪尧姆·布查德

通过复张量分解完成知识图。 （英语） Zbl 1435.68323号

J.马赫。学习。物件。 18（2017-2018），论文编号130，38 p.（2017）.
MSC公司：68立方英尺 15A83号
PDF格式BibTeX公司 XML格式引用
\textit{T.Trouillon}等人，J.Mach。学习。第18号决议，第130号文件，第38页（2017年；兹bl 1435.68323）
全文： 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｝等人，Ann.Math。Artif公司。智力。78、编号3--4、259--301（2016；Zbl 1405.68367）
全文： 内政部
马蒂亚斯·尼克尔斯

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

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

利用上下文知识对视觉对象进行混合分类。 （英语） Zbl 1483.68429号

Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，2016年JELIA，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10021, 223-239 (2016).
MSC公司：68T45型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{T.Eiter}和\textit{T.Kaminski}，莱克特。注释计算。科学。10021、223--239（2016；Zbl 1483.68429）
全文： 内政部 链接
弗朗西斯科·奥西尼;保罗·弗雷斯科尼;吕克·德·雷德

kProbLog：用于内核编程的代数Prolog。 （英语） 兹比尔1347.68290

Inoue，Katsumi（编辑）等人，《归纳逻辑编程》。2015年8月20日至22日在日本京都举行的第25届国际会议，ILP 2015。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-40565-0/pbk；978-3-3169-40566-7/电子书）。计算机科学9575课堂讲稿。人工智能课堂讲稿，152-165（2016）。
MSC公司：68T05型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{F.Orsini}等人，莱克特。注释计算。科学。9575，152--165（2016；Zbl 1347.68290）
全文： 内政部 链接
库泽·埃尔卡，Ondřej;杰西·戴维斯;史蒂文·肖卡特

从一阶缺省规则构造马尔可夫逻辑网络。 （英语） Zbl 1347.68333号

Inoue，Katsumi（编辑）等人，《归纳逻辑编程》。2015年8月20日至22日在日本京都举行的第25届国际会议，ILP 2015。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-40565-0/pbk；978-3-3169-40566-7/电子书）。计算机科学9575课堂讲稿。《人工智能课堂讲稿》，91-105（2016）。
MSC公司：68层37 68T05型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{O.Kuíelka}等人，Lect。注释计算。科学。9575，91-105（2016；Zbl 1347.68333）
全文： 内政部 链接
戈努什·法尔纳迪;斯蒂芬·巴赫。;马戎·布隆德尔;玛丽·弗朗辛·莫恩斯;莉斯·盖图;德科克，玛蒂娜

使用软量词的统计关系学习。 （英语） Zbl 1347.68330号

Inoue，Katsumi（编辑）等人，《归纳逻辑编程》。2015年8月20日至22日在日本京都举行的第25届国际会议，ILP 2015。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-40565-0/pbk；978-3-3169-40566-7/电子书）。计算机科学9575课堂讲稿。人工智能课堂讲稿，60-75（2016）。
MSC公司：68层37 68T05型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{G.Farnadi}等人，Lect。注释计算。科学。9575，60-75（2016；Zbl 1347.68330）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件