×

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

最新的 引文 关联
阿戈斯蒂诺·多维尔；安德烈亚·福米萨诺；戈帕尔·古普塔；曼努埃尔五世（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许可证
马蒂亚斯·克诺尔

关于结合本体论和规则。 （英语） Zbl 1524.68366号

Šimkus，Mantas（编辑）等人，《推理网络》。声明式人工智能。2021年9月8日至15日，比利时鲁汶，第17所2021年国际暑期学校。辅导讲座。查姆：斯普林格。莱克特。注释计算。科学。13100, 22-58 (2022).
MSC公司：68立方英尺 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{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公司 链接
伊莎贝尔·加西亚·孔特雷拉斯；何塞·莫拉莱斯（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）
全文： 内政部 链接
里德万·德沃波拉沃；阿里·萨普塔维贾亚

上下文推理的Tabling优化。 （英语） 兹比尔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）32559-72（2020）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{J.Arias}等人，《电子》。程序。西奥。计算。科学。（EPTCS）325，59--72（2020；Zbl 07455706）
全文： arXiv公司 链接
泰森·康迪；达斯，阿里亚姆；马泰奥·因特兰迪；亚历山大·什卡普斯基；杨默翰；卡洛·扎尼奥洛

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

理论与实践。日志。程序。 18，编号5-6，806-845（2018）.
MSC公司：第68页，共15页 64岁以下 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{T.Condie}等人，《理论与实践》。日志。程序。18、编号5--6、806--845（2018；Zbl 1452.68064）
全文： 内政部 arXiv公司
莫里斯·布吕诺格；亨德里克·布洛克；巴特·博加特；De Cat，Broes公司；De Pooter，斯特夫；约阿希姆·扬森；安东尼·拉巴雷；简·拉蒙；马克·德内克；四川省韦尔市

谓词逻辑作为建模语言：使用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公司
J.F.莫拉莱斯。；Hermenegildo，M。

Prolog的预先定义术语。 （英语） 兹比尔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}，莱克特。注释计算。科学。8981317--331（2015；Zbl 1457.68042）
全文： 内政部 链接
安娜斯塔西娅·安娜斯塔西；卡洛斯五世·达马西奥。；格里戈里斯·安东尼奥；艾奥尼斯·帕乔拉基斯

RDF、规则和否定的Why-provenance信息。 （英语） Zbl 1357.68210号

安。数学。Artif公司。智力。 70，第3期，221-277（2014）.
MSC公司：68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{A.Analyti}等人，《数学年鉴》。Artif公司。智力。70，第3号，221--277（2014；Zbl 1357.68210）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件