×

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

最新的 引文 关联
马尔科·阿尔贝蒂;里卡多·泽斯;法布里西奥·里古齐;伊芙琳娜·拉姆

带有函数符号的MKNF混合知识库的迭代不动点语义。 （英文） 兹比尔1528.68367

Lierler，Yuliya（编辑）等人，第38届逻辑编程国际会议论文集，ICLP 2022，以色列海法，2022年7月31日至8月6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）364，65-78（2022）。
MSC公司：68立方英尺 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{M.Alberti}等人，《电子》。程序。西奥。计算。科学。（EPTCS）364，65--78（2022；Zbl 1528.68367）
全文： arXiv公司 链接
阿戈斯蒂诺·多维尔;安德烈亚·福米萨诺;戈帕尔·古普塔;曼努埃尔五世（Manuel V.Hermenegildo）。;恩里科·蓬泰利;里卡多·罗查

并行逻辑编程：续集。 （英文） Zbl 07776352号

理论与实践。日志。程序。 22，第6期，905-973（2022）.
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{A.Dovier}等人，《理论与实践》。日志。程序。22，第6号，905--973（2022；Zbl 07776352）
全文： 内政部 arXiv公司
菲利普·科纳;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许可证
马蒂亚斯·克诺尔

关于结合本体论和规则。 （英文） 兹比尔1524.68366

Šimkus，Mantas（编辑）等人，《推理网络》。声明式人工智能。2021年9月8日至15日，比利时鲁汶，第17所2021年国际暑期学校。辅导讲座。查姆：斯普林格。勒克特。注释计算。科学。13100，22-58（2022）。
MSC公司：68立方英尺 68T27型
PDF格式BibTeX公司 XML格式引用
\发短信{M.Knorr}，勒克特。注释计算。科学。13100，22-58（2022；Zbl 1524.68366）
全文： 内政部
亚历山大·范登布鲁克;汤姆·施里杰弗斯

析取分隔控件。 （英文） Zbl 1521.68031号

De Angelis，Emanuele（编辑）等，基于逻辑的程序合成和转换。第31届国际研讨会，2021年9月7日至8日，爱沙尼亚塔林，LOPSTR 2021。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13290, 75-91 (2022).
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{A.Vandenbroucke}和\textit{T.Schrijvers}，莱克特。注释计算。科学。13290，75-91（2022；Zbl 1521.68031）
全文： 内政部 arXiv公司 链接
德国维达尔

概率逻辑编程中作为程序的解释。 （英文） 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年；兹bl 07570122）
全文： 内政部 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}，莱克特。注释计算。科学。13215186-204（2022年；兹bl 07570121）
全文： 内政部
加西亚·孔特雷拉斯，伊莎贝尔;何塞·莫拉莱斯（Jose F.Morales）。;曼努埃尔五世（Manuel V.Hermenegildo）。

使用断言和开放谓词对逻辑程序进行增量分析。 （英文） Zbl 1502.68065号

Gabbrielli，Maurizio（编辑），基于逻辑的程序合成和转换。2019年10月8日至10日，第29届国际研讨会，2019年LOPSTR，葡萄牙波尔图。修订了选定的论文。查姆：斯普林格。勒克特。注释计算。科学。12042，36-56（2020）。
MSC公司：68N17号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛I.Garcia Contreras｝等人，Lect。注释计算。科学。12042，36-56（2020；Zbl 1502.68065）
全文： 内政部 链接
托马斯·普罗科什

分布式逻辑编程的低级索引。 （英文） Zbl 07455734号

Ricca，Francesco（ed.）等人，《第36届逻辑编程（技术通信）国际会议论文集》，ICLP 2020，UNICAL，Rende（CS），意大利，2020年9月18日至24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）325303-312（2020）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{T.Prokosch}，电子。程序。西奥。计算。科学。（EPTCS）3253030--312（2020；Zbl 07455734）
全文： arXiv公司 链接
里德万·德沃波拉沃;阿里·萨普塔维贾亚

上下文诱拐的表格优化。 （英文） Zbl 07455714号

Ricca，Francesco（ed.）等人，《第36届逻辑编程（技术通信）国际会议论文集》，ICLP 2020，UNICAL，Rende（CS），意大利，2020年9月18日至24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）325137-150（2020）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{R.Dewoprabowo}和\textit{A.Saptawijaya}，电子。程序。西奥。计算。科学。（EPTCS）325137-150（2020；Zbl 07455714）
全文： arXiv公司 链接
约阿奎因·阿里亚斯;曼努埃尔·卡罗;陈卓;戈帕尔·古普塔

目标导向约束答案集编程的理由。 （英文） Zbl 07455706号

Ricca，Francesco（ed.）等人，《第36届逻辑编程（技术通信）国际会议论文集》，ICLP 2020，UNICAL，Rende（CS），意大利，2020年9月18日至24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）325，59-72（2020）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{J.Arias}等人，《电子》。程序。西奥。计算。科学。（EPTCS）325，59--72（2020；Zbl 07455706）
全文： arXiv公司 链接
顾涛;法比奥·扎纳西

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

Roggenbach，Markus（ed.）等人，第八届计算机科学中的代数和余代数会议，2019年CALCO，英国伦敦，2019月3日至6日。Wadern：达格斯图尔宫——莱布尼茨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；兹bl 07453105）
全文： arXiv公司 链接
里卡多·泽斯;朱塞佩·科塔;伊芙琳娜·拉姆;埃琳娜·贝洛迪;法布里西奥·里古齐

带有精确公式的概率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公司
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公司
罗尔夫·施维特

通过概率逻辑编程学习效果公理。 （英文） 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）
全文： 内政部
泰森·康迪;达斯，阿里亚姆;马泰奥·因特兰迪;亚历山大·什卡普斯基;杨默翰;卡洛·扎尼奥洛

BigData上的放大推理和高级分析。 （英文） Zbl 1452.68064号

理论与实践。日志。程序。 18，编号5-6，806-845（2018）.
MSC公司：第68页，共15页 68米14 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{T.Condie}等人，《理论与实践》。日志。程序。18、编号5--6、806--845（2018；Zbl 1452.68064）
全文： 内政部 arXiv公司
罗伯托·孔瓦洛尼埃里;曼弗雷德·埃普;马尔科·舍勒默;奥利弗·库茨;拉斐尔·佩尼亚洛萨;Enric广场

描述逻辑中概念混合的向上细化运算符\（\mathcal{EL}^{+}\）。 （英文） Zbl 1398.68501号

安。数学。Artif公司。智力。 82，编号1-3，69-99（2018）.
MSC公司：68T27型 68N17号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{R.Confalonieri}等人，《数学年鉴》。Artif公司。智力。82，编号1--3，69-99（2018；Zbl 1398.68501）
全文： 内政部
卡洛·扎尼奥洛;杨默翰;达斯，阿里亚姆;亚历山大·什卡普斯基;泰森·康迪;马泰奥·因特兰迪

具有聚合的递归数据日志程序的定点语义和优化。 （英文） Zbl 1422.68162号

理论与实践。日志。程序。 17，第5-6号，1048-1065（2017）.
MSC公司：68问题55 68N17号 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{C.Zaniolo}等人，《理论与实践》。日志。程序。17、编号5--6、1048--1065（2017；Zbl 1422.68162）
全文： 内政部 arXiv公司
阿伦·南帕利;罗马克里希南，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年；Zbl 1428.68092）
全文： 内政部 arXiv公司
马蒂亚斯·尼克尔斯

一种基于逻辑编程和稳定模型语义下的一阶理论的概率推理工具。 （英文） 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）
全文： 内政部
莫里斯·布鲁诺;亨德里克·布洛克;巴特·博加特;De Cat，Broes公司;斯特夫·德·普特;约阿希姆·扬森;安东尼·拉巴尔;简·拉蒙;马克·德内克;四川省韦尔市

谓词逻辑作为建模语言：使用IDP3建模和解决一些机器学习和数据挖掘问题。 （英文） Zbl 1379.68279号

理论与实践。日志。程序。 15，第6期，783-817（2015）.
MSC公司：68T20型 68N17号 68T05型 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{M.Bruynooghe}等人，《理论与实践》。日志。程序。15，第6号，783--817（2015；Zbl 1379.68279）
全文： 内政部 arXiv公司
费伦斯，大安;盖伊，范登·布勒克;乔里斯·伦肯斯;迪米塔尔·施特里奥诺夫;伯恩德·古特曼;英戈·通;杰尔达·詹森斯;吕克·德·雷德

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

理论与实践。日志。程序。 15，第3期，358-401（2015）.
MSC公司：68N17号 68T05型 68层37
PDF格式BibTeX公司 XML格式引用
\textit{D.Fierens}等人，《理论与实践》。日志。程序。15，第3号，358--401（2015；Zbl 1379.68062）
全文： 内政部 arXiv公司
西基、广岛

关于协同逻辑编程中的对偶程序。 （英文） 兹比尔1362.68057

Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-27435-5/pbk；978-3-3169-27436-2/电子书）。计算机科学讲座笔记9527，21-35（2015）。
MSC公司：68号30 03B70号 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{H.Seki}，莱克特。注释计算。科学。9527，21-35（2015；Zbl 1362.68057）
全文： 内政部
曼塔代利斯（Mantadelis）、西奥弗拉斯托斯（Theofrastos）;迪米塔尔·施特里奥诺夫;杰尔达·詹森斯

概率逻辑程序设计中推理的压缩布尔公式。 （英文） Zbl 1467.68026号

Calimeri，Francesco（编辑）等人，《逻辑编程和非单调推理》。第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9345, 425-438 (2015).
MSC公司：68N17号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit｛T.Mantadelis｝等人，Lect。注释计算。科学。9345，425--438（2015；Zbl 1467.68026）
全文： 内政部 链接
斯特凡·布拉斯

带否定的目标定向查询求值框架。 （英文） Zbl 1467.68081号

Calimeri，Francesco（编辑）等人，《逻辑编程和非单调推理》。第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9345, 151-157 (2015).
MSC公司：68问题55 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{S.Brass}，莱克特。注释计算。科学。9345，151--157（2015；Zbl 1467.68081）
全文： 内政部
J.F.莫拉莱斯。;Hermenegildo，M。

Prolog的预先定义术语。 （英文） Zbl 1457.68042号

Proietti，Maurizio（编辑）等，基于逻辑的程序合成和转换。2014年9月9日至11日在英国坎特伯雷举行的2014年LOPSTR第24届国际研讨会。修订了选定的论文。查姆：斯普林格。勒克特。注释计算。科学。8981, 317-331 (2015).
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit｛J.F.Morales｝和\textit｛M.Hermenegildo｝，Lect。注释计算。科学。8981317--331（2015；Zbl 1457.68042）
全文： 内政部 链接
杰拉尔多·西马里。;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｝等人，Ann.Math。Artif公司。智力。64，编号2--3，113--143（2012；Zbl 1260.68393）
全文： 内政部
马丁·斯洛塔;约昂·莱特

关于知识更新的统一观点。 （英文） Zbl 1362.68268号

Fariñas del Cerro，Luis（编辑）等人，《人工智能中的逻辑》。2012年9月26日至28日，法国图卢兹，第13届欧洲会议，JELIA 2012。正在进行。柏林：施普林格出版社（ISBN 978-3-642-33352-1/pbk）。计算机科学课堂讲稿7519。人工智能课堂讲稿，372-384（2012）。
MSC公司：68T27型 03B42号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{M.Slota}和\textit{J.Leite}，莱克特。注释计算。科学。7519372-384（2012年；兹比尔1362.68268）
全文： 内政部
托马斯·艾特;克里斯蒂娜·费尔;迈克尔·芬克

使用ACTHEX模拟生产规则。 （英文） Zbl 1357.68217号

Erdem，Esra（编辑）等人，《正确的推理》。关于基于逻辑的人工智能的论文，以纪念Vladimir Lifschitz。柏林：施普林格出版社（ISBN 978-3-642-30742-3/pbk）。计算机科学讲义7265，211-228（2012）。
MSC公司：68T27型 68N17号 68立方英尺 68层35
PDF格式BibTeX公司 XML格式引用
\textit{T.Eiter}等人，Lect。注释计算。科学。7265，211-228（2012；Zbl 1357.68217）
全文： 内政部
马尔科·阿尔贝蒂;皮耶朗基罗·德尔·阿夸;路易斯·莫尼兹·佩雷拉

运行时验证事件检测的观察策略：理论、算法、实验。 （英文） Zbl 1252.68128号

安。数学。Artif公司。智力。 62，第3-4号，161-186（2011）.
MSC公司：2017年第68季度 68单位99 68周25
PDF格式BibTeX公司 XML格式引用
\textit{M.Alberti}等人，《数学年鉴》。Artif公司。智力。62，No.3--4，161--186（2011；Zbl 1252.68128）
全文： 内政部 链接
马尔科·阿尔贝蒂;阿娜·索菲亚·戈麦斯;里卡多·贡萨阿尔维斯;约昂·莱特;马丁·斯洛塔

以混合知识库表示的规范体系。 （英文） Zbl 1348.68252号

Leite，Joáo（编辑）等人，《多智能体系统中的计算逻辑》。第十二届国际研讨会，CLIMA XII，西班牙巴塞罗那，2011年7月17日至18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22358-7/pbk）。计算机科学课堂讲稿6814。《人工智能课堂讲稿》，330-346（2011）。
MSC公司：68T42型 68N17号 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{M.Alberti}等人，Lect。注释计算。科学。6814、330-346（2011年；Zbl 1348.68252）
全文： 内政部
托马斯·艾特;乔瓦姆巴蒂斯塔·伊安尼;托马斯·克伦瓦尔纳

答案集编程：初级。 （英文） Zbl 1254.68248号

Tessaris，Sergio（编辑）等人，《推理网络》。信息系统的语义技术。2009年8月30日至9月4日，第五届国际暑期学校，意大利布里森-布雷萨诺内。辅导讲座。柏林：施普林格出版社（ISBN 978-3-642-03753-5/pbk）。计算机科学讲座笔记5689，40-110（2009）。
MSC公司：68立方英尺 68英里11 68N17号 68T20型 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{T.Eiter}等人，Lect。注释计算。科学。5689，40-110（2009年；兹比尔1254.68248）
全文： 内政部
马可·加瓦内利;马尔科·阿尔贝蒂;伊芙琳娜·拉姆

在SCIFF中集成溯源推理和约束优化。 （英文） Zbl 1251.68058号

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

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件