×

找到72个文档（结果1–72）

最新的 引文 关联
德国维达尔

概率逻辑编程中的程序解释。 （英语） 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）
全文： DOI程序 arXiv公司
范登伯格，比尔特；汤姆·施里杰弗斯

概率规划与可能世界的函数描述。宣告珍珠。 （英语） Zbl 07570121号

Hanus，Michael（编辑）等人，《函数和逻辑编程》。第16届国际研讨会，FLOPS 2022，日本京都，2022年5月10日至12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13215, 186-204 (2022).
MSC公司：68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit｛B.van den Berg｝和\textit｛T.Schrijvers｝，Lect。注释计算。科学。13215，186--204（2022；Zbl 07570121）
全文： DOI程序
塞兰、伊斯梅尔·伊尔坎；托马斯·卢卡西维奇

关于概率知识库的查询回答和推理的教程。 （英语） 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）
全文： DOI程序 链接
罗尔夫·施维特

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

Rocha，Ricardo（ed.）等人，第33届逻辑编程国际会议的技术交流，ICLP 2017，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）
全文： DOI程序
里卡多·泽斯；埃琳娜·贝洛迪；法布里齐奥·里古齐；朱塞佩·科塔；伊芙琳娜·拉姆

描述逻辑的表推理及其对概率的扩展。 （英语） Zbl 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）
全文： DOI程序 链接
马蒂亚斯·尼克尔斯

一种基于逻辑编程和稳定模型语义下的一阶理论的概率推理工具。 （英语） 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）
全文： DOI程序
乔治·戈特洛布；托马斯·卢卡西维奇；Martinez、Maria Vanina；杰拉尔多·西马里一世。

Datalog\（+/-\）本体中概率不确定性下的查询应答。 （英语） Zbl 1308.68113号

安。数学。Artif公司。智力。 69，第1期，37-72（2013）.
审核人：乌多·哈恩（耶拿）
MSC公司：68立方英尺 68层37
PDF格式BibTeX公司 XML格式引用
\textit{G.Gottlob}等人，《数学年鉴》。Artif公司。智力。69，第1号，37--72（2013；Zbl 1308.68113）
全文： DOI程序
托马斯·卢卡西维奇；利维亚·普雷多尤；海纳·斯塔肯施密特

用于表示本体映射的紧密集成的概率描述逻辑程序。 （英语） Zbl 1242.68090号

安。数学。Artif公司。智力。 63，编号3-4，385-425（2011）.
MSC公司：第68页，共15页 68T27型 68立方英尺 68层37 68层35 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{T.Lukasiewicz}等人，《数学年鉴》。Artif公司。智力。63，编号3-4385-425（2011年；兹bl 1242.68090）
全文： DOI程序
安德烈·卡利；托马斯·卢卡西维奇；利维亚·普雷多尤；海纳·斯塔肯施密特

语义网的紧密耦合概率描述逻辑程序。 （英语） Zbl 1246.68216号

Spaccapietra，Stefano（编辑），《数据语义学杂志》第十二期。柏林：施普林格出版社（ISBN 978-3-642-00684-5/pbk）。计算机科学课堂讲稿5480。《Subline期刊》，95-130（2009）。
MSC公司：68立方英尺 68英里11 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{A.Cal}等人，莱克特。注释计算。科学。5480、95-130（2009年；Zbl 1246.68216）
全文： DOI程序
法布里齐奥·里古齐

在有充分依据的语义下，用带注释析取的逻辑程序进行推理。 （英语） Zbl 1185.68178号

Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366667-671（2008）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{F.Riguzzi}，莱克特。注释计算。科学。5366667-671（2008年；兹bl 1185.68178）
全文： DOI程序
萨阿德，埃马德

关于混合概率逻辑程序与随机可满足性的关系。 （英语） 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）
全文： DOI程序
大辅佐藤；吉隆嘉美

PRISM基于逻辑的概率建模的新进展。 （英语） Zbl 1137.68617号

De Raedt，Luc（编辑）等人，概率归纳逻辑编程。理论和应用。柏林：施普林格出版社（ISBN 978-3-540-78651-1/pbk）。计算机科学课堂讲稿4911。人工智能课堂讲稿，118-155（2008）。
MSC公司：68岁20岁 68N17号 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{T.Sato}和\textit{Y.Kameya}，莱克特。注释计算。科学。4911、118--155（2008年；Zbl 1137.68617）
全文： DOI程序
安德烈·卡利；托马斯·卢卡西维奇；利维亚·普雷多尤；施特肯施密特，海纳

用于表示本体映射的紧密集成的概率描述逻辑程序。 （英语） Zbl 1138.68556号

Hartmann，Sven（编辑）等人，《信息和知识系统基础》。第五届国际研讨会，FoIKS 2008，意大利比萨，2008年2月11日至15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-77683-3/pbk）。计算机科学课堂讲稿4932178-198（2008）。
MSC公司：68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{A.Cal}等人，莱克特。注释计算。科学。4932178--198（2008年；Zbl 1138.68556）
全文： DOI程序
托马斯·卢卡西维奇；翁贝托·斯特拉契亚

描述概率不确定性和模糊模糊性下的逻辑程序。 （英语） Zbl 1148.68527号

Mellouli，Khaled（编辑），不确定性推理的符号和定量方法。第九届欧洲会议，2007年10月31日至11月2日，ECSQARU，突尼斯哈马马特。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75255-4/pbk）。计算机科学课堂讲稿4724。人工智能课堂讲稿，187-198（2007）。
MSC公司：68层37 68T27型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{T.Lukasiewicz}和\textit{U.Straccia}，莱克特。注释计算。科学。4724187--198（2007年；Zbl 1148.68527）
全文： DOI程序 链接
萨阿德、埃马德

定性和定量推理的逻辑方法。 （英语） 兹比尔1148.68538

Mellouli，Khaled（编辑），不确定性推理的符号和定量方法。第九届欧洲会议，2007年10月31日至11月2日，ECSQARU，突尼斯哈马马特。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75255-4/pbk）。计算机科学课堂讲稿4724。人工智能课堂讲稿，173-186（2007）。
MSC公司：68层37 68T27型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{E.Saad}，莱克特。注释计算。科学。4724173-186（2007年；兹比尔1148.68538）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件