×

找到86个文档（结果1-86）

最新 引文 关联
菲利普·科纳;Michael Leuschel先生;乔昂·巴博萨;维托尔·桑托斯·科斯塔;维罗尼卡·达尔;曼努埃尔五世（Manuel V.Hermenegildo）。;何塞·莫拉莱斯（Jose F.Morales）。;Wielemaker，简;丹尼尔·迪亚兹;萨尔瓦多阿布雷乌;乔瓦尼·西亚托

五十年的序言及以后。 （英语） Zbl 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 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公司
维埃拉·德·法里亚（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｝等人，Int.J.近似推理106，32-50（2019；兹bl 1456.68168）
全文： 内政部
库尔特·劳滕巴赫

传播网络。 （英语） Zbl 1415.68153号

Ciardo，Gianfranco（编辑）等人，Petri网和并发的应用和理论。第35届国际会议，PETRI NETS 2014，突尼斯突尼斯，2014年6月23日至27日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8489, 1-19 (2014).
MSC公司：68问题85 68层37
PDF格式BibTeX公司 XML格式引用
\textit{K.Lautenbach}，莱克特。注释计算。科学。8489，1-19（2014；Zbl 1415.68153）
全文： 内政部
米罗斯拉夫·扬切克

持续对话理解的诱因推理。 （英语） Zbl 1372.68243号

丹尼尔·拉斯特（编辑）等人，《逻辑、语言和计算的新方向》。ESSLLI 2010和ESSLLI2011学生课程。精选论文。柏林：施普林格出版社（ISBN 978-3-642-31466-7/pbk）。计算机科学课堂讲稿7415，16-31（2012）。
MSC公司：68T50型
PDF格式BibTeX公司 XML格式引用
\textit{M.Janíček}，莱克特。注释计算。科学。7415，16-31（2012；Zbl 1372.68243）
全文： 内政部
安德烈·卡利;托马斯·卢卡西维奇;利维亚Predoiu;海纳·斯塔肯施密特

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

Spacapietra，Stefano（编辑），《数据语义学杂志》XII。柏林：施普林格出版社（ISBN 978-3-642-00684-5/pbk）。计算机科学课堂讲稿5480。《期刊副刊》，95-130（2009）。
MSC公司：68立方英尺 68英里11 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{A.Cal}等人，莱克特。注释计算。科学。5480、95-130（2009年；Zbl 1246.68216）
全文： 内政部
安吉丽卡·基米格;维托尔·桑托斯·科斯塔;里卡多·罗查;巴特·德梅恩;吕克·德·雷德

关于ProbLog程序的高效执行。 （英语） Zbl 1185.68162号

Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366175-189（2008）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{A.Kimmig}等人，Lect。注释计算。科学。5366、175--189（2008年；Zbl 1185.68162）
全文： 内政部 链接
米基·赫尔曼;莱因哈德·皮克勒

计算最小基数和最小权重外推的复杂性。 （英语） Zbl 1178.68562号

Hölldobler，Steffen（编辑）等人，《人工智能中的逻辑》。第11届欧洲会议，JELIA 2008，德国德累斯顿，2008年9月28日至10月1日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87802-5/pbk）。计算机科学课堂讲稿5293。《人工智能课堂讲稿》，206-218（2008）。
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{M.赫尔曼}和\textit{R.皮克勒}，莱克特。注释计算。科学。5293、206--218（2008年；Zbl 1178.68562）
全文： 内政部
弗里德里克·科里奇

学习分配关系域中的信仰程度。 （英语） Zbl 1136.68488号

Blockeel，Hendrik（编辑）等人，《感应逻辑编程》。2007年6月19日至21日在美国俄勒冈州科瓦利斯举行的第17届国际劳工大会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-78468-5/pbk）。计算机科学课堂讲稿4894。人工智能课堂讲稿，25-26（2008）。
MSC公司：68T05年 68立方英尺 68层37
PDF格式BibTeX公司 XML格式引用
\textit{F.Koriche}，莱克特。注释计算。科学。4894，25-26（2008年；Zbl 1136.68488）
全文： 内政部 链接
克里斯蒂安·凯斯廷;吕克·德·雷德

学习贝叶斯逻辑程序的基本原则。 （英语） Zbl 1137.68544号

De Raedt，Luc（编辑）等人，概率归纳逻辑编程。理论和应用。柏林：施普林格出版社（ISBN 978-3-540-78651-1/pbk）。计算机科学讲义4911。《人工智能课堂讲稿》，189-221（2008）。
MSC公司：68T05年 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{K.Kersting}和\textit{L.De Raedt}，莱克特。注释计算。科学。4911，189--221（2008；Zbl 1137.68544）
全文： 内政部 链接
维托尔·桑托斯·科斯塔;大卫·佩奇;詹姆斯·库森

CLP（\（\mathcal{BN}\））：概率知识的约束逻辑编程。 （英语） Zbl 1137.68342号

De Raedt，Luc（编辑）等人，概率归纳逻辑编程。理论和应用。柏林：施普林格出版社（ISBN 978-3-540-78651-1/pbk）。计算机科学课堂讲稿4911。人工智能课堂讲稿，156-188（2008）。
MSC公司：68N17号 68T05年
PDF格式BibTeX公司 XML格式引用
\textit{V.Santos-Costa}等人，Lect。注释计算。科学。4911、156--188（2008年；Zbl 1137.68342）
全文： 内政部
大辅佐藤;吉隆嘉美

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

De Raedt，Luc（编辑）等人，概率归纳逻辑编程。理论和应用。柏林：施普林格出版社（ISBN 978-3-540-78651-1/pbk）。计算机科学课堂讲稿4911。人工智能课堂讲稿，118-155（2008）。
MSC公司：68平方英寸 68N17号 68T05年
PDF格式BibTeX公司 XML格式引用
\textit{T.Sato}和\textit{Y.Kameya}，莱克特。注释计算。科学。4911、118--155（2008年；Zbl 1137.68617）
全文： 内政部
吕克·德·雷德;克里斯蒂安·凯斯廷

概率归纳逻辑编程。 （英语） Zbl 1137.68530号

De Raedt，Luc（ed.）等人，概率归纳逻辑编程。理论和应用。柏林：施普林格出版社（ISBN 978-3-540-78651-1/pbk）。计算机科学课堂讲稿4911。人工智能课堂讲稿，1-27（2008）。
MSC公司：68T05年 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{L.De Raedt}和\textit{K.Kersting}，莱克特。注释计算。科学。4911，1--27（2008；Zbl 1137.68530）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件