×

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

最新的 引文 关联
迈克尔·本尼迪克特；斯坦尼斯拉夫·基科特；彼得罗·奥斯特罗尔斯基·纳莱瓦贾；米盖尔·罗梅罗

递归查询和视图的单调确定性和可重写性。 （英语） Zbl 07672675号

ACM事务处理。计算。日志。 24，第2号，第16号论文，62页（2023年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{M.Benedikt}等人，《美国医学杂志》。计算。日志。24，第2号，第16号文件，第62页（2023；Zbl 07672675）
全文： 内政部 arXiv公司
约阿希姆·尼伦；西尔万·萨尔瓦蒂；鲁斯塔姆·阿齐莫夫

跳跃嵌套常规路径查询的求值。 （英语） Zbl 1528.68100号

Lierler，Yuliya（编辑）等人，第38届逻辑编程国际会议论文集，ICLP 2022，以色列海法，2022年7月31日至8月6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）36479-92（2022）。
MSC公司：第68页，共15页 68N17号 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{J.Niehren}等人，《电子》。程序。西奥。计算。科学。（EPTCS）364，79--92（2022；Zbl 1528.68100）
全文： arXiv公司 链接
刘燕红A。；斯科特·斯托勒。

带聚合的递归规则：简单的统一语义。 （英语） Zbl 07551717号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2022年1月10日至13日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2022国际研讨会。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13137, 156-179 (2022).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{Y.A.Liu}和\textit{S.D.Stoller}，Lect。票据计算。科学。13137156-179（2022年；Zbl 07551717）
全文： 内政部 arXiv公司
胡晓文；乔舒亚·卡普；大卫·赵；阿卜杜勒·兹雷卡；吴熙；朔尔茨，伯恩哈德

Souffleé语言中的选择结构。 （英语） Zbl 1520.68019号

哦，Hakjoo（编辑），编程语言和系统。第19届亚洲研讨会，APLAS 2021，美国伊利诺伊州芝加哥，2021年10月17日至18日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13008, 163-181 (2021).
MSC公司：68甲15 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{X.Hu}等人，Lect。票据计算。科学。13008163-181（2021年；Zbl 1520.68019）
全文： 内政部 arXiv公司
陈一凡；杨晨阳；张欣；熊英飞；唐浩；王晓音；张璐

通过合并库事实加速数据日志中的程序分析。 （英语） Zbl 1497.68085号

Drágoi，Cezara（编辑）等人，《静态分析》。第28届国际研讨会，SAS 2021，芝加哥，伊利诺伊州，美国，2021年10月17日至19日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12913, 77-101 (2021).
MSC公司：68甲15 68N17号 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{Y.Chen}等人，Lect。票据计算。科学。12913，77-101（2021；Zbl 1497.68085）
全文： 内政部
马丁·布隆伯格；伊琳娜·德拉古斯特；拉沙·法奎；克里斯托夫·费泽尔；马库斯·科洛奇；克里斯托夫·韦登巴赫

监督员验证条件模简单线性算法的数据记录锤。 （英语） Zbl 07497913号

Konev，Boris（编辑）等人，《组合系统的前沿》。第十三届国际研讨会，FroCoS 2021，英国伯明翰，2021年9月8-10日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12941, 3-24 (2021).
MSC公司：68泰克
PDF格式BibTeX公司 XML格式引用
\textit{M.Bromberger}等人，Lect。票据计算。科学。12941，3--24（2021；Zbl 07497913）
全文： 内政部 arXiv公司
马里奥·温泽尔；斯特凡·布拉斯

将微控制器的交互式数据日志程序转换为有限状态机。 （英语） Zbl 07496649号

Fernández，Maribel（编辑），基于逻辑的程序合成和转换。第30届国际研讨会，2020年LOPSTR，意大利博洛尼亚，2020年9月7日至9日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12561, 210-227 (2021).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit｛M.Wenzel｝和\textit｛S.Brass｝，Lect。票据计算。科学。12561、210-227（2021；Zbl 07496649）
全文： 内政部
巴斯·凯茨曼；科赫，克里斯托夫

具有否定性和单调性的数据日志。 （英语） Zbl 07650997号

Lutz，Carsten（编辑）等人，第23届数据库理论国际会议，ICDT 2020，丹麦哥本哈根，2020年3月30日至4月2日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。155，第19条，第18页（2020年）。
MSC公司：第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{B.Ketsman}和\textit{C.Koch}，LIPIcs——莱布尼茨国际程序。通知。155，第19条，第18页（2020；Zbl 07650997）
全文： 内政部
鲍姆加特纳

可能的模型计算和修订–实用方法。 （英语） Zbl 07614521号

佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12166, 337-355 (2020).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{P.Baumgartner}，莱克特。票据计算。科学。12166、337--355（2020；Zbl 07614521）
全文： 内政部
尤里·吉尔·丹塔斯；安托阿内塔·孔德瓦；Vivek Nigam先生

减少安全工程师的手动工作：使用安全模式进行自动安全推理。 （英语） Zbl 07455723号

Ricca，Francesco（ed.）等人，《第36届逻辑编程（技术通信）国际会议论文集》，ICLP 2020，UNICAL，Rende（CS），意大利，2020年9月18日至24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）325244-257（2020）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{Y.G.Dantas}等人，《电子》。程序。西奥。计算。科学。（EPTCS）325244-257（2020；Zbl 07455723）
全文： arXiv公司 链接
Yun，布鲁诺；斯尔詹·维西奇；马达琳娜·克罗伊托鲁

不一致数据日志知识库的攻击参数集。 （英语） Zbl 1464.68381号

Prakken，Henry（编辑）等人，《论证的计算模型》。第八届会议记录，COMMA 2020，意大利佩鲁贾大学，虚拟会议，2020年9月8日至11日。阿姆斯特丹：IOS出版社。前面。Artif公司。智力。申请。326419-430（2020）中所述。
MSC公司：68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{B.Yun}等人，前面。Artif公司。智力。申请。326419-430（2020年；Zbl 1464.68381）
全文： 内政部
刘燕红A。；斯科特·斯托勒。

不确定世界的知识：具有逻辑约束的编程。 （英语） Zbl 07197409号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。国际研讨会，LFCS 2020，美国佛罗里达州迪尔菲尔德海滩，2020年1月4日至7日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11972, 111-127 (2020).
MSC公司：68倍 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{Y.A.Liu}和\textit{S.D.Stoller}，Lect。票据计算。科学。11972、111-127（2020；Zbl 07197409）
全文： 内政部 arXiv公司
什奇蓬贾·艾哈迈塔吉；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯

从带有闭合谓词的表达性描述逻辑到Datalog变体的多项式重写。 （英语） Zbl 1476.68250号

Artif公司。智力。 280，文章ID 103220，27 p.（2020）.
MSC公司：68T27型 68N17号 第68页，共15页 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{S.Ahmetaj}等人，Artif。智力。280，文章ID 103220，27 p.（2020；Zbl 1476.68250）
全文： 内政部 arXiv公司
迈克尔·本尼迪克特；皮埃尔·布赫斯；乔治·戈特洛布；皮埃尔·塞内拉特

一元数据日志、树有效性和有限访问控制。 （英语） Zbl 1433.68115号

ACM事务处理。计算。日志。 21，第1号，第6条，45页（2020年）.
MSC公司：第68页，共15页 68N17号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Benedikt}等人，《美国医学杂志》。计算。日志。21，第1号，第6条，45页（2020年；Zbl 1433.68115）
全文： 内政部 链接
马里奥·阿尔瓦雷斯·皮卡略；亚历克斯·埃弗斯·泰勒；迈克尔·佩顿·琼斯；Ong，C.-H.卢克

修复增量计算。定点的派生，以及Datalog的递归语义。 （英语） 兹比尔1524.68069

Caires，Luís（编辑），《编程语言和系统》。2019年4月6日至11日，作为欧洲软件理论与实践联合会议（ETAPS 2019）的一部分，第28届欧洲编程研讨会（ESOP 2019）在捷克共和国布拉格举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11423, 525-552 (2019).
MSC公司：68号30 68N17号 第68季度55
PDF格式BibTeX公司 XML格式引用
\文本{M.Alvarez Picallo}等人，Lect。票据计算。科学。11423、525--552（2019年；Zbl 1524.68069）
全文： 内政部 arXiv公司
Koutris，Paraschos公司；杰夫·威森

日志空间中主键的一致查询应答。 （英语） Zbl 07561483号

Barcelo，Pablo（编辑）等人，第22届数据库理论国际会议，2019年3月26日至28日，2019，葡萄牙里斯本。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。127，第23条，第19页（2019年）。
MSC公司：第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{P.Koutris}和\textit{J.Wijsen}，LIPIcs——莱布尼茨国际程序。通知。127，第23条，第19页（2019年；Zbl 07561483）
全文： 内政部
利奥波多·贝托西；乔治·戈特洛布；莱因哈德·皮克勒

数据日志：通过集合语义的包语义。 （英语） Zbl 07561476号

Barcelo，Pablo（编辑）等人，第22届数据库理论国际会议，2019年3月26日至28日，2019，葡萄牙里斯本。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。127，第16条，第19页（2019年）。
MSC公司：第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{L.Bertossi}等人，LIPIcs——莱布尼茨国际程序。通知。127，第16条，第19页（2019年；Zbl 07561476）
全文： 内政部 arXiv公司
法兰克·奈文；托马斯·施文蒂克；克里斯托弗·斯宾拉斯；布莱希特·范德沃特

数据日志程序的并行正确性和并行边界。 （英语） 兹伯利07561474

Barcelo，Pablo（编辑）等人，第22届数据库理论国际会议，2019年3月26日至28日，2019，葡萄牙里斯本。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。127，第14条，第19页（2019年）。
MSC公司：第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{F.Neven}等人，LIPIcs——莱布尼茨国际程序。通知。127，第14条，第19页（2019年；Zbl 07561474）
全文： 内政部
利亚特·彼得弗雷德；Cate，Balder Ten公司；罗纳德·费金；本尼·基梅尔菲尔德

文档扳手的递归程序。 （英语） Zbl 07561473号

Barcelo，Pablo（编辑）等人，第22届数据库理论国际会议，2019年3月26日至28日，2019，葡萄牙里斯本。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。127，第13条，第18页（2019年）。
MSC公司：第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{L.Peterfreund}等人，LIPIcs——莱布尼茨国际程序。通知。127，第13条，第18页（2019年；Zbl 07561473）
全文： 内政部 arXiv公司
萨拉特·钱德拉·瓦拉纳西

从答案集程序合成命令式程序。 （英语） Zbl 07453145号

Bogaerts，Bart（ed.）等人，《第35届逻辑编程（技术通信）国际会议论文集》，2019年ICLP，美国拉斯克鲁塞斯，2019月20日至25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）306413-417（2019）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{S.C.Varanasi}，电子。程序。西奥。计算。科学。（EPTCS）306413-417（2019；Zbl 07453145）
全文： arXiv公司 链接
奥尔加·杰拉西莫娃；斯坦尼斯拉夫·基科特；迈克尔·扎克哈里亚舍夫

检查本体中介查询的数据复杂性：非均匀CSP和Polyanna的案例研究。 （英语） Zbl 1444.68067号

Lutz，Carsten（编辑）等人，描述逻辑，理论组合，等等。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。莱克特。票据计算。科学。11560, 329-351 (2019).
MSC公司：第68页，共15页 65年第68季度 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{O.Gerasimova}等人，Lect。票据计算。科学。11560329--351（2019年；Zbl 1444.68067）
全文： 内政部
佛罗伦萨，阿莱西奥；尼古拉·利昂；马可·曼纳；西蒙娜·佩里；Jessica Zangari

大规模场景中的预计算数据日志评估计划。 （英语） Zbl 1434.68143号

理论与实践。日志。程序。 19，编号5-6，1073-1089（2019）.
MSC公司：第68页，共15页 68N17号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{A.佛罗伦萨}等人，《理论与实践》。日志。程序。19，编号5--6，1073--1089（2019；Zbl 1434.68143）
全文： 内政部 arXiv公司
卡洛·阿洛卡；成本高昂，罗伯塔；佛罗伦萨，阿莱西奥；西蒙娜·佩里；Jessica Zangari

数据日志的节省内存评估计划。 （英语） Zbl 1525.68182号

Calimeri，Francesco（编辑）等人，《人工智能中的逻辑》。2019年5月7日至11日，意大利伦德，第16届欧洲会议，JELIA 2019。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11468, 453-461 (2019).
MSC公司：68立方英尺 68N17号 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{C.Allocca}等人，Lect。票据计算。科学。11468、453-461（2019年；Zbl 1525.68182）
全文： 内政部
多达罗，胭脂红；菲利普·加斯泰格；克里斯蒂安·里尔；弗朗西斯科·里卡；康斯坦丁·舍科提欣

调试非地面ASP程序：技术和图形工具。 （英语） Zbl 1486.68025号

理论与实践。日志。程序。 2019年第290-316号第19页.
MSC公司：68N17号 68单位35
PDF格式BibTeX公司 XML格式引用
\textit｛C.Dodaro｝等人，《理论与实践》。日志。程序。19，第2号，290--316（2019；Zbl 1486.68025）
全文： 内政部 arXiv公司
克里斯蒂娜·费尔；安蒂·库西斯托；卡斯滕·卢茨

一元析取数据日志、MMSNP和表达描述逻辑中的可重写性。 （英语） Zbl 1421.68037号

日志。方法计算。科学。 15，第2号，第15号论文，46页（2019年）.
MSC公司：第68页，共15页 68N17号 65年第68季度 第68季度第42季度 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{C.Feier}等人，Log。方法计算。科学。15，第2号，第15号论文，46页（2019年；Zbl 1421.68037）
全文： arXiv公司
巴斯·凯茨曼；阿尔巴古提·奥斯；Koutris，Paraschos公司

数据日志的分发策略。 （英语） Zbl 1489.68079号

Kimelfeld，Benny（编辑）等人，第21届数据库理论国际会议，2018年ICDT，奥地利维也纳，2018年3月26-29日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。98，第17条，第22页（2018年）。
MSC公司：第68页，共15页 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{B.Ketsman}等人，LIPIcs——莱布尼茨国际程序。通知。98，第17条，22 p.（2018；Zbl 1489.68079）
全文： 内政部
什奇蓬贾·艾哈迈塔吉；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯

将受保护的存在规则重写为小型数据日志程序。 （英语） Zbl 1489.68066号

Kimelfeld，Benny（编辑）等人，第21届数据库理论国际会议，2018年ICDT，奥地利维也纳，2018年3月26-29日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。98，第4条，第24页（2018年）。
MSC公司：第68页，共15页 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{S.Ahmetaj}等人，LIPIcs——莱布尼茨国际程序。通知。98，第4条，第24页（2018；兹bl 1489.68066）
全文： 内政部
乔瓦尼·阿蒙多拉；尼古拉·利昂；马可·曼纳；皮尔弗朗西斯科·维尔特里

Datalog+/–中关于匿名性的推理。 （英语） Zbl 1428.68138号

Rocha，Ricardo（编辑）等人，第33届逻辑编程国际会议的技术交流，2017年8月28日至9月1日，澳大利亚墨尔本。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。58，第3条，第5页（2018年）。
MSC公司：第68页，共15页 68N17号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{G.Amendola}等人，OASIcs--OpenAccess Ser。通知。58，第3条，第5页（2018；Zbl 1428.68138）
全文： 内政部
泰森·康迪；达斯，阿里亚姆；马泰奥·因特兰迪；亚历山大·什卡普斯基；杨默翰；卡洛·扎尼奥洛

在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公司
安吉拉·博尼法蒂；斯特凡妮娅·邓布拉娃；埃米利奥·杰苏斯·加列戈·阿里亚斯

通过定期数据日志进行认证的图形视图维护。 （英语） Zbl 1451.68086号

理论与实践。日志。程序。 18，编号3-4，372-389（2018）.
MSC公司：第68页，共15页 68N17号 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Bonifati}等人，《理论与实践》。日志。程序。18、编号3--4、372--389（2018；Zbl 1451.68086）
全文： 内政部 arXiv公司
乔治·巴里扬尼斯；伊利亚斯·塔赫马齐迪斯；巴特萨基斯，索蒂里斯；格里戈里斯·安东尼乌；马里奥·阿尔维亚诺；蒂莫斯·塞利斯；蔡培伟

使用答案集编程进行定性空间推理的轨迹演算。 （英语） Zbl 1451.68252号

理论与实践。日志。程序。 18，编号3-4，355-371（2018）.
MSC公司：68T27型 68N17号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{G.Baryannis}等人，《理论与实践》。日志。程序。18、编号3--4、355--371（2018；Zbl 1451.68252）
全文： 内政部 arXiv公司
马里奥·阿尔维亚诺；多达罗，胭脂红；Järvisalo，马蒂；马可·马拉提亚；亚历山德罗·普雷维蒂

ASP中通过最小模型和不可满足的核心进行谨慎推理。 （英语） Zbl 1451.68267号

理论与实践。日志。程序。 18，编号3-4，319-336（2018）.
MSC公司：68立方英尺 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{M.Alviano}等人，《理论与实践》。日志。程序。18、编号3--4、319--336（2018；Zbl 1451.68267）
全文： 内政部 arXiv公司
劳拉·佐丹奴；塞塞迪尔·杜普雷，丹尼尔

（mathcal{SROEL}）中的可失败推理：从理性蕴涵到理性闭包。 （英语） Zbl 1404.68152号

芬丹。通知。 161，编号1-2，135-161（2018）.
审核人：埃里克·马丁（悉尼）
MSC公司：68T27型 68N17号 65年第68季度 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{L.Giordano}和\textit{D.Theseider Dupré}，Fundam。通知。161，编号1--2，135-161（2018；Zbl 1404.68152）
全文： 内政部 arXiv公司
克里斯蒂安·恩格斯；安德烈亚斯·贝伦德；斯特凡·布拉斯

使用Datalog分析数据库模式对象的基于规则的方法。 （英语） Zbl 1508.68087号

Fioravanti，Fabio（编辑）等，基于逻辑的程序合成和转换。第27届国际研讨会，2017年LOPSTR，2017年10月10日至12日，比利时纳穆尔。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。10855, 20-36 (2018).
MSC公司：第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{C.Engels}等人，Lect。票据计算。科学。10855，20--36（2018；Zbl 1508.68087）
全文： 内政部 arXiv公司
克里斯蒂安·迪古西尼。；马丁内斯（M.Vanina Martinez）；马塞洛·法拉帕。；吉列尔莫·西马里。

不连贯如何影响Datalog\（^\pm\）的不一致容忍语义？ （英语） Zbl 1398.68502号

安。数学。Artif公司。智力。 82，编号1-3，43-68（2018）.
MSC公司：68T27型 68N17号 第68页，共15页 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{C.A.D.Deagusini}等人，《数学年鉴》。Artif公司。智力。82，编号1--3，43-68（2018；Zbl 1398.68502）
全文： 内政部
刘燕红A。；斯科特·斯托勒。

建立了逻辑规则的语义和约束语义。 （英语） 兹比尔1503.68178

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2018年1月8-11日在美国佛罗里达州迪尔菲尔德海滩举行的2018年LFCS国际研讨会。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10703, 221-241 (2018).
MSC公司：第68季度55 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{Y.A.Liu}和\textit{S.D.Stoller}，Lect。票据计算。科学。10703、221--241（2018；Zbl 1503.68178）
全文： 内政部 arXiv公司
卡洛·扎尼奥洛；杨默翰；达斯，阿里亚姆；亚历山大·什卡普斯基；泰森·康迪；马泰奥·因特兰迪

具有聚合的递归数据日志程序的定点语义和优化。 （英语） 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公司
费尔南多·Sáenz-Pérez

SQL的直观逻辑编程。 （英语） Zbl 1485.68040号

Hermenegildo，Manuel V.（编辑）等人，基于逻辑的程序合成和转换。2016年9月6日至8日在英国爱丁堡举行的2016年LOPSTR第26届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。10184, 293-308 (2017).
MSC公司：68N17号 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{F.Sáenz-Pérez}，莱克特。票据计算。科学。10184，293--308（2017；Zbl 1485.68040）
全文： 内政部 arXiv公司
乔治·戈特洛布；科赫，克里斯托夫；安德烈亚斯·皮耶利斯

web数据提取和数据推理的逻辑、语言和规则。 （英语） Zbl 1485.68088号

Drewes，Frank（编辑）等人，《语言和自动机理论与应用》。2017年3月6日至9日在瑞典乌梅奥举行的2017年拉丁美洲旅游协会第11届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10168, 27-47 (2017).
MSC公司：第68页，共15页 03B70号 68米11 68N17号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{G.Gottlob}等人，Lect。票据计算。科学。10168，27-47（2017；Zbl 1485.68088）
全文： 内政部 链接
科尼利厄斯·克罗伊托鲁；马达琳娜·克罗伊托鲁

使用层次图表示多尺度数据日志（+/-）。 （英语） Zbl 1398.68512号

Haemmerlé，Ollivier（编辑）等人，基于图形的表示和推理。第22届概念结构国际会议，2016年ICCS，法国安纳西，2016年7月5-7日。诉讼程序。查姆：施普林格（ISBN 978-3-319-40984-9/pbk；978-3-3169-40985-6/电子书）。计算机科学9717课堂讲稿。人工智能课堂讲稿，59-71（2016）。
MSC公司：68立方英尺 68层35
PDF格式BibTeX公司 XML格式引用
\textit{C.Croitoru}和\textit{M.Croitoru}，Lect。票据计算。科学。9717，59-71（2016；Zbl 1398.68512）
全文： 内政部 链接
塞兰、伊斯梅尔·伊尔坎；托马斯·卢卡西维奇；拉斐尔·佩尼亚洛萨

概率数据日志（^\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{伊斯坦布尔}等人，正面。Artif公司。智力。申请。2851414-1422（2016；Zbl 1403.68050）
全文： 内政部
马钦·科齐克

有界宽度的所有CSP的弱一致性概念。 （英语） 兹比尔1401.68123

2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。633-641 (2016).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛M.Kozik｝，载：2016年第31届ACM/IEEE计算机科学逻辑年度研讨会论文集，LICS 2016，美国纽约市，2016年7月5日至8日。纽约州纽约市：计算机协会（ACM）。633--641（2016；Zbl 1401.68123）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件