×

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

最新的 引文 关联
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;约翰·加拉赫（John P.Gallagher）。;曼努埃尔·赫梅内吉尔多。;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂

用于程序验证的约束Horn子句的分析和转换。 （英语） Zbl 07776353号

理论与实践。日志。程序。 22，第6期，974-1042（2022）.
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，理论与实践。日志。程序。22，第6号，974--1042（2022；Zbl 07776353）
全文： 内政部 arXiv公司
OA许可证
菲利普·科纳;Michael Leuschel先生;乔昂·巴博萨;维托尔·桑托斯·科斯塔;维罗尼卡·达尔;曼努埃尔五世（Manuel V.Hermenegildo）。;何塞·莫拉莱斯（Jose F.Morales）。;Wielemaker，简;丹尼尔·迪亚兹;萨尔瓦多阿布雷乌;乔瓦尼·西亚托

五十年的序言及以后。 （英语） 兹比尔07776350

理论与实践。日志。程序。 22，第6号，776-858（2022）.
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{P.Körner}等人，《理论与实践》。日志。程序。22，编号6，776--858（2022；Zbl 07776350）
全文： 内政部 arXiv公司
OA许可证
利奥波多·贝托西;雷耶斯，加布里埃拉

回答-推理反事实干预和分类责任评分的程序。 （英语） Zbl 1524.68349号

Katzouris，Nikos（编辑）等人，《归纳逻辑编程》。第30届国际会议，ILP 2021，虚拟活动，2021年10月25日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13191, 41-56 (2022).
MSC公司：第68页第27页 62H30型 68N17号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{L.Bertossi}和\textit{G.Reyes}，莱克特。注释计算。科学。13191，41-56（2022；Zbl 1524.68349）
全文： 内政部 arXiv公司
达米亚诺·阿佐利尼;埃琳娜·贝洛迪;法布里西奥·里古齐

概率逻辑编程中的统计语句。 （英语） Zbl 07671877号

Gottlob，Georg（编辑）等人，《逻辑编程和非单调推理》。第16届国际会议，LPNMR 2022，意大利热那亚，2022年9月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13416, 43-55 (2022).
MSC公司：68N17号 第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{D.Azzolini}等人，Lect。注释计算。科学。13416，43-55（2022；Zbl 07671877）
全文： 内政部
德国维达尔

概率逻辑编程中的程序解释。 （英语） Zbl 07570122号

Hanus，Michael（编辑）等人，《函数和逻辑编程》。第16届国际研讨会，FLOPS 2022，日本京都，2022年5月10日至12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13215, 205-223 (2022).
MSC公司：68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{G.维达尔}，莱克特。注释计算。科学。13215205-223（2022；Zbl 07570122）
全文： 内政部 arXiv公司
史蒂文·霍尔岑;塞巴斯蒂安·荣格斯;马塞尔·瓦兹奎兹·香拉特;托德·米尔斯坦;Sanjit A.Seshia。;盖伊，范登·布勒克

利用概率推理对有限水平马尔可夫链进行模型检验。 （英语） 兹比尔1493.68210

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 577-601 (2021).
MSC公司：60年第68季度 60J22型 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{S.Holtzen}等人，Lect。注释计算。科学。12760577--601（2021年；Zbl 1493.68210）
全文： 内政部 arXiv公司
塞耶德·梅赫兰·卡泽米;里沙布·戈尔;杰恩，克什提吉;伊万·科比泽夫;阿克西·塞提;彼得·福赛斯;Poupart，帕斯卡

动态图的表示学习：综述。 （英语） 兹比尔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公司 链接
顾涛;法比奥·扎纳西

概率逻辑规划的联合观点。 （英语） Zbl 07649893号

Roggenbach，Markus（ed.）等人，第八届计算机科学中的代数和余代数会议，2019年CALCO，英国伦敦，2019月3日至6日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。139，第10条，第21页（2019年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{T.Gu}和\textit{F.Zanasi}，LIPIcs——莱布尼茨国际程序。通知。139，第10条，第21页（2019年；Zbl 07649893）
全文： 内政部
萨塔克·戈什;罗马克里希南，C.R。

概率逻辑程序中信息的价值。 （英语） Zbl 07453105号

Bogaerts，Bart（ed.）等人，《第35届逻辑编程（技术通信）国际会议论文集》，2019年ICLP，美国拉斯克鲁塞斯，2019月20日至25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）30671-84（2019年）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{S.Ghosh}和\textit{C.R.Ramakrishnan}，电子。程序。西奥。计算。科学。（EPTCS）306、71--84（2019；Zbl 07453105）
全文： arXiv公司 链接
里卡多·泽斯;朱塞佩·科塔;伊芙琳娜·拉姆;埃琳娜·贝洛迪;法布里西奥·里古齐

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

理论与实践。日志。程序。 19，第3号，449-476（2019）.
MSC公司：第68页第27页 68N17号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{R.Zese}等人，《理论与实践》。日志。程序。19，第3号，449--476（2019；Zbl 1472.68194）
全文： 内政部 arXiv公司
Wielemaker，简;法布里西奥·里古齐;罗伯特·A·科瓦尔斯基。;托比恩拉格;法里巴·萨德里;米盖尔·卡列霍

使用SWISH实现基于逻辑语言的交互式网络教程。 （英语） Zbl 1486.68029号

理论与实践。日志。程序。 19，第2期，229-261（2019）.
MSC公司：68N17号 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{J.Wielemaker}等人，《理论与实践》。日志。程序。19，第2229-261号（2019年；兹bl 1486.68029）
全文： 内政部 arXiv公司
维埃拉·德·法里亚（Vieira de Faria），弗朗西斯科·H·O。;阿瑟·科伦比尼·古斯芒;格劳贝尔·德博纳;Denis Deratani毛阿;法比奥·加利亚迪·科兹曼

加快非循环概率逻辑程序的参数和规则学习。 （英语） 兹比尔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）
全文： 内政部
达里亚·斯蒂芬诺娃;穆罕默德·埃尔拉布（Mohamed H.Gad-Elrab）。;永兴浩

知识图的规则归纳和推理。 （英语） Zbl 1517.68367号

d'Amato，Claudia（编辑）等人，《推理网络》。学习、不确定性、流媒体和可扩展性。2018年9月22日至26日，卢森堡埃什苏尔阿尔泽特，2018年第14届国际暑期学校。辅导讲座。查姆：斯普林格。莱克特。注释计算。科学。11078, 142-172 (2018).
MSC公司：68立方英尺 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{D.Stepanova}等人，Lect。注释计算。科学。11078、142--172（2018年；Zbl 1517.68367）
全文： 内政部
塞兰、伊斯梅尔·伊尔坎;托马斯·卢卡西维奇

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

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

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

Rocha，Ricardo（编辑）等人，第33届逻辑编程国际会议的技术交流，2017年8月28日至9月1日，澳大利亚墨尔本。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。OASIcs–OpenAccess服务器。通知。58，第8条，第15页（2018）。
MSC公司：第68页第27页 68N17号 68层37
PDF格式BibTeX公司 XML格式引用
\textit{R.Schwitter}，OASIcs--开放存取服务器。通知。58，第8条，第15页（2018；Zbl 1428.68286）
全文： 内政部
阿伦·南帕利;罗马克里希南，C.R。

概率逻辑程序中使用提升解释的推理。 （英语） Zbl 1428.68092号

Carro，Manuel（编辑）等人，《第32届逻辑编程国际会议的技术交流》，ICLP 2016年10月16日至21日，美国纽约州纽约市。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。52，第15条，第15页（2016年）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{A.Nampally}和\textit{C.R.Ramakrishnan}，OASIcs--开放存取服务。通知。52，第15条，第15页（2016；兹bl 1428.68092）
全文： 内政部 arXiv公司
塞兰、伊斯梅尔·伊尔坎;托马斯·卢卡西维奇;拉斐尔·佩尼亚洛萨

概率数据日志（^\pm）的复杂性结果。 （英语） Zbl 1403.68050号

Kaminka，Gal A.（编辑）等人，ECAI 2016。第22届欧洲人工智能会议，荷兰海牙，2016年8月29日至9月2日。诉讼程序。包括随同召开的智能系统著名应用会议（PAIS 2016）的会议记录。分2卷。阿姆斯特丹：IOS出版社（ISBN 978-1-61499-671-2/pbk；978-1-6499-672-9/ebook）。人工智能与应用前沿285，1414-1422（2016）。
MSC公司：第68页，共15页 68N17号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{I.I.Ceylan}等人，前面。Artif公司。智力。申请。2851414-1422（2016；Zbl 1403.68050）
全文： 内政部
埃多亚多·塞拉;弗朗西斯卡·斯佩萨诺;苏布拉曼尼亚，V.S。

ChoiceGAPs：竞争扩散是社交网络中的一种大规模多层游戏。 （英语） Zbl 1364.91132号

Schockaert，Steven（编辑）等，可扩展不确定性管理。2016年9月21日至23日在法国尼斯举行的2016年SUM第十届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-45855-7/pbk；978-3-3169-45856-4/电子书）。计算机科学课程讲稿9858。《人工智能讲义》，303-319（2016）。
MSC公司：91天30分 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{E.Serra}等人，Lect。注释计算。科学。9858、303--319（2016年；Zbl 1364.91132）
全文： 内政部 arXiv公司
奥列格·基塞利约夫

概率编程语言及其增量计算。 （英语） Zbl 1483.68054号

Igarashi，Atsushi（编辑），《编程语言和系统》。2016年11月21日至23日，第14届亚洲研讨会，2016年APLAS，越南河内。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10017, 357-376 (2016).
MSC公司：68甲15 62H22个 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{O.Kiselyov}，莱克特。注释计算。科学。10017357-376（2016年；兹bl 1483.68054）
全文： 内政部
马蒂亚斯·尼克尔斯

一种基于逻辑编程和稳定模型语义下的一阶理论的概率推理工具。 （英语） 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）
全文： 内政部
弗朗西斯科·奥西尼;保罗·弗雷斯科尼;吕克·德·雷德

kProbLog：用于内核编程的代数Prolog。 （英语） Zbl 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｝等人，Lect。注释计算。科学。9575，152--165（2016；Zbl 1347.68290）
全文： 内政部 链接
朱塞佩·科塔;里卡多·泽斯;埃琳娜·贝洛迪;法布里西奥·里古齐;伊芙琳娜·拉姆

概率本体的分布式参数学习。 （英语） Zbl 1347.68320号

Inoue，Katsumi（编辑）等人，《归纳逻辑编程》。2015年8月20日至22日在日本京都举行的第25届国际会议，ILP 2015。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-40565-0/pbk；978-3-3169-40566-7/电子书）。计算机科学9575课堂讲稿。人工智能课堂讲稿，30-45（2016）。
MSC公司：68立方英尺 第68页第27页 68层37
PDF格式BibTeX公司 XML格式引用
\textit{G.Cota}等人，Lect。注释计算。科学。9575，30--45（2016；Zbl 1347.68320）
全文： 内政部 链接
吕克·德·雷德;克里斯蒂安·凯斯廷;斯里拉姆·纳塔拉扬;大卫·L·普尔。

统计关系人工智能：逻辑、概率和计算。 （英语） Zbl 1352.68005号

人工智能与机器学习综合讲座32.加利福尼亚州圣拉斐尔：Morgan&Claypool出版社（ISBN 978-1-62705-841-4/pbk；978-1-627.05-842-1/电子书）。xiv，175页。(2016).
审核人：Ruxandra Stoean（克雷奥瓦）
MSC公司：68-02 68-01 68泰克
PDF格式BibTeX公司 XML格式引用
\textit｛L.de Raedt｝等人，《统计关系人工智能：逻辑、概率和计算》。加利福尼亚州圣拉斐尔：Morgan&Claypool出版社（2016；Zbl 1352.68005）
全文： 内政部
费伦斯，大安;盖伊，范登·布勒克;乔里斯·伦肯斯;迪米塔尔·施特里奥诺夫;伯恩德·古特曼;英戈·通;杰尔达·詹森斯;吕克·德·雷德

使用加权布尔公式的概率逻辑程序中的推理和学习。 （英语） Zbl 1379.68062号

理论与实践。日志。程序。 15，第3期，358-401（2015）.
MSC公司：68N17号 68T05型 68层37
PDF格式BibTeX公司 XML格式引用
\textit{D.Fierens}等人，《理论与实践》。日志。程序。15，编号358--401（2015年；兹bl 1379.68062）
全文： 内政部 arXiv公司
詹姆斯·库森（编辑）;吕克·德·雷德（编辑）;安吉丽卡·基米格（编辑）;佐藤泰介（编辑）

关于概率、逻辑和学习的特刊介绍。 （英语） Zbl 1379.68005号

理论与实践。日志。程序。 15，第2期，145-146（2015）.
MSC公司：68-06 68N17号 68T05型 第68页第27页 68层37 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{J.Cussens}（编辑）等人，《理论与实践》。日志。程序。15，第2号，145--146（2015；Zbl 1379.68005）
全文： 内政部
阿纳斯塔西奥斯·斯卡拉提迪斯;乔治·巴利乌拉斯;亚历山大·阿提基斯;乔治·沃罗斯（George A.Vouros）。

用于事件识别的概率事件演算。 （英语） Zbl 1354.68266号

ACM事务处理。计算。日志。 第16号第2条第11条第37页（2015年）.
MSC公司：68层37 68T05型 第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{A.Skarlatidis}等人，ACM Trans。计算。日志。16，第2号，第11条，37页（2015年；Zbl 1354.68266）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件