×

找到327份文件（结果1-100）

最新的 引文 关联
贡萨古·耶尔瑙斯;温·范霍夫

无序目标的反统一。 （英语） Zbl 07830393号

Manea，Florin（编辑）等人，第30届EACSL计算机科学逻辑年会，CSL 2022，德国哥廷根，虚拟会议，2022年2月14-19日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。216，第37条，第17页（2022年）。
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{G.Yernaux}和\textit{W.Vanhoof}，LIPIcs——莱布尼茨国际程序。通知。216，第37条，第17页（2022；Zbl 07830393）
全文： DOI程序 arXiv公司
皮安吉拉·布鲁诺;弗朗西斯科·卡利默里;辛齐亚·马特

DeduDeep：一个可扩展的框架，用于结合深度学习和基于ASP的模型。 （英语） Zbl 07671912号

Gottlob，Georg（编辑）等人，《逻辑编程和非单调推理》。第16届国际会议，LPNMR 2022，意大利热那亚，2022年9月5日至9日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13416, 505-510 (2022).
MSC公司：68N17号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{P.Bruno}等人，Lect。票据计算。科学。13416、505--510（2022；Zbl 07671912）
全文： DOI程序
法律，马克;特奥菲·索托利;卢多维科·米切纳;卡里·戴维斯;马修·汤金;杰西卡·伍德汉斯;达拉尔·阿尔拉杰

学习对连续冒犯行为的独特性进行排名。 （英语） Zbl 07671910号

Gottlob，Georg（编辑）等人，《逻辑编程和非单调推理》。第16届国际会议，LPNMR 2022，意大利热那亚，2022年9月5日至9日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13416, 484-497 (2022).
MSC公司：68N17号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{M.Law}等人，Lect。票据计算。科学。13416、484--497（2022；Zbl 07671910）
全文： DOI程序
大卫·贝瑞塔;莫妮卡，斯蒂芬妮娅;费德里科·贝根蒂

归纳逻辑程序设计的三种神经符号方法的比较研究。 （英语） Zbl 1515.68260号

Gottlob，Georg（编辑）等人，《逻辑编程和非单调推理》。第16届国际会议，LPNMR 2022，意大利热那亚，2022年9月5日至9日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13416, 56-61 (2022).
MSC公司：68T05型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{D.Beretta}等人，Lect。票据计算。科学。13416，56-61（2022年；兹bl 1515.68260）
全文： DOI程序
王华多;戈帕尔·古普塔

FOLD-R++：一个可扩展的工具集，用于从混合数据中自动归纳学习默认理论。 （英语） Zbl 07570123号

Hanus，Michael（编辑）等人，《函数和逻辑编程》。第16届国际研讨会，FLOPS 2022，日本京都，2022年5月10日至12日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13215, 224-242 (2022).
MSC公司：68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit｛H.Wang｝和\textit｛G.Gupta｝，Lect。票据计算。科学。13215、224--242（2022；Zbl 07570123）
全文： DOI程序 arXiv公司
丹尼尔·布兰科（Daniel Furelos-Blanco）;法律，马克;安德斯·琼森;俄罗斯布罗达;亚历山德拉·拉索

用于强化学习的子目标自动机的归纳和开发。 （英语） Zbl 1512.68275号

J.阿蒂夫。智力。研究（JAIR） 70, 1031-1116 (2021).
MSC公司：68T05型 68N17号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Furelos-Blanco}等人，J.Artif。智力。研究（JAIR）70，1031--1116（2021；Zbl 1512.68275）
全文： DOI程序 arXiv公司
斯特凡·莫尼尔;纳撒尼尔·博斯

无担保是隐式的吗？ （英语） Zbl 07756114号

Marc Bezem等人，第25届国际校样和程序类型会议。2019年6月11日至14日，挪威奥斯陆。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。175，第9条，第19页（2020年）。
MSC公司：03B40型 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{S.Monnier}和\textit{N.Bos}，LIPIcs——莱布尼茨国际程序。通知。175，第9条，第19页（2020；兹bl 07756114）
全文： DOI程序
马约·奈克

通过结合离散推理和连续推理重新思考静态分析。 （英语） Zbl 07834928号

Chang，Bor-Yuh-Evan（编辑），静态分析。2019年10月8日至11日，第26届国际研讨会，SAS 2019，葡萄牙波尔图。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11822, 3-16 (2019).
MSC公司：68号30 03B70号 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{M.Naik}，莱克特。票据计算。科学。11822，3-16（2019；Zbl 07834928）
全文： DOI程序
法律，马克;亚历山德拉·拉索;俄罗斯布罗达

基于逻辑的答案集程序学习。 （英语） Zbl 07817423号

Krötzsch，Markus（编辑）等人，推理网络。可解释的人工智能。2019年9月20日至24日，意大利博尔扎诺2019年第15届国际暑期学校。辅导讲座。查姆：斯普林格。莱克特。票据计算。科学。11810, 196-231 (2019).
MSC公司：68T05型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{M.Law}等人，Lect。票据计算。科学。11810、196--231（2019；Zbl 07817423）
全文： DOI程序
乔治·阿萨纳索普洛斯;乔治·巴利乌拉斯;伏吉亚茨，迪米特里奥斯;格里戈里奥斯·索尔茨;尼科斯·卡佐里

使用在线归纳逻辑编程预测社区的演变。 （英语） Zbl 1487.68189号

Alechina，Natasha（编辑）等人，第25届时间表征和推理国际研讨会。《时代》2018，波兰华沙，2018年10月15日至17日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。120，第4条，第20页（2018年）。
MSC公司：68T05型 68N17号 91第30页
PDF格式BibTeX公司 XML格式引用
\textit{G.Athanasopoulos}等人，LIPIcs——莱布尼茨国际程序。通知。120，第4条，第20页（2018；Zbl 1487.68189）
全文： DOI程序
托尼·里贝罗;索菲·托雷特;马克西姆·福尔切特;摩根·马根;多梅尼科·博尔扎奇埃罗;弗朗西斯科·切妮斯塔;奥利维尔·鲁克斯;井上，胜美

连续域上状态转换的归纳学习。 （英语） Zbl 1455.68180号

Lachiche，Nicolas（编辑）等人，《归纳逻辑编程》。2017年9月4日至6日在法国奥尔良举行的第27届国际劳工大会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。10759, 124-139 (2018).
MSC公司：68T05型 37M10个 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{T.Ribeiro}等人，Lect。票据计算。科学。10759124-139（2018；Zbl 1455.68180）
全文： DOI程序 哈尔
托尼·里贝罗;马克西姆·福舍特;摩根·马根;奥利维尔·鲁克斯;井上，胜美

具有同步、异步和通用语义的学习动态。 （英语） Zbl 1455.68179号

Riguzzi，Fabrizio（编辑）等人，《归纳逻辑编程》。2018年9月2-4日在意大利费拉拉举行的2018年ILP第28届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11105, 118-140 (2018).
MSC公司：68T05型 68N17号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{T.Ribeiro}等人，Lect。票据计算。科学。11105118-140（2018年；Zbl 1455.68179）
全文： DOI程序 哈尔
丹尼斯·菲尔索夫;理查德·布莱尔;阿伦·斯塔姆

Cedille中高效的Mendler-style lambda编码。 （英语） Zbl 1511.68053号

Avigad，Jeremy（编辑）等，交互式定理证明。2018年7月9日至12日在英国牛津举行的2018年第九届国际会议ITP，作为联邦逻辑会议的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10895, 235-252 (2018).
MSC公司：68甲18 03B40型 68V20型
PDF格式BibTeX公司 XML格式引用
\textit｛D.Firsov｝等人，Lect。票据计算。科学。10895，235-252（2018；Zbl 1511.68053）
全文： DOI程序 arXiv公司
吉勒姆·贾伯;加布里埃尔·勒沃托夫斯基;皮埃尔·马里·佩德罗;索索、马蒂厄;尼古拉斯·塔巴鲁

强制的定义方面。 （英语） Zbl 1394.68063号

2016年第31届ACM/IEEE计算机科学逻辑年度研讨会论文集，LICS 2016，美国纽约市，2016年7月5日至8日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。367-376 (2016).
MSC公司：68甲18 03B40型 03年4月40日 03G30型 68号30 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{G.Jaber}等人，摘自：2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS，美国纽约市，2016年7月5-8日。纽约州纽约市：计算机机械协会（ACM）。367--376（2016；Zbl 1394.68063）
全文： DOI程序 哈尔
托尔斯滕阿尔滕基奇;安布罗斯·卡波西

类型理论在使用商归纳类型的类型理论中。 （英语） Zbl 1347.68045号

Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGCT年度编程语言原理研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。18-29 (2016).
MSC公司：68甲18 03B15号机组 03B40型 03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{T.Altenkirch}和\textit{A.Kaposi}，摘自：第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20-22日。纽约州纽约市：计算机机械协会（ACM）。18-29（2016；Zbl 1347.68045）
全文： DOI程序 链接
大卫·马丁内斯;托尼·里贝罗;井上，胜美;阿莱尼·吉勒姆;卡梅·托拉斯

从解释转换中学习概率动作模型。 （英语） Zbl 1407.68407号

De Vos，Marina（编辑）等人，第31届逻辑编程国际会议的技术交流，2015年ICLP，爱尔兰科克，2015年8月31日至9月4日。亚琛：亚琛公路。CEUR研讨会程序。143314页（2015年）。
MSC公司：68T05型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit｛D.Martínez｝等人，CEUR Workshop Proc。1433，14页（2015；Zbl 1407.68407）
全文： 链接
纳达·拉夫拉奇;瓦夫佩蒂奇，安季

关系和语义数据挖掘（特邀演讲）。 （英语） Zbl 1467.68046号

Calimeri，Francesco（编辑）等人，《逻辑编程和非单调推理》。第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9345, 20-31 (2015).
MSC公司：第68页第15页 68N17号 68T05型 68吨10 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{N.Lavrač}和\textit{A.Vavpetić}，莱克特。票据计算。科学。9345，20--31（2015；Zbl 1467.68046）
全文： DOI程序
法律，马克;亚历山德拉·拉索;俄罗斯布罗达

答案集程序的归纳学习。 （英语） Zbl 1432.68391号

Fermé，Eduardo（编辑）等人，《人工智能中的逻辑》。2014年9月24日至26日，第14届欧洲会议，JELIA 2014，葡萄牙马德拉，Funchal。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8761, 311-325 (2014).
MSC公司：68T05型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{M.Law}等人，Lect。票据计算。科学。8761、311--325（2014年；Zbl 1432.68391）
全文： DOI程序 链接
法维奥·埃泽基尔·米兰达·佩雷亚;González-Huesca，Lourdes Del Carmen

Mendler风格的iso（co）归纳谓词：一种强规范化方法。 （英语） Zbl 1458.68039号

Ronchi Della Rocca，Simona（编辑）等人，《逻辑和语义框架及其应用第六次研讨会论文集》，巴西贝洛奥里藏特，2011年8月27日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）81，30-46（2012）。
MSC公司：68号30 03B16号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{F.E.Miranda-Perea}和\textit{L.D.C.González-Huesca}，电子。程序。西奥。计算。科学。（EPTCS）81，30--46（2012；Zbl 1458.68039）
全文： arXiv公司 链接
克里斯蒂安·莫里纳罗;斯利瓦，艾米;苏布拉曼尼亚，V.S。

注释概率时序逻辑中的诱拐。 （英语） Zbl 1245.68056号

Gallagher，John P.（编辑）等人，第27届逻辑编程国际会议的技术交流（ICLP 2011），美国肯塔基州列克星敦，2011年7月6日至10日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-31-6）。LIPIcs–莱布尼茨国际信息学会议录11，240-250，仅电子版（2011年）。
MSC公司：68N17号 03B48号 68层37
PDF格式BibTeX公司 XML格式引用
\textit{C.Molinaro}等人，LIPIcs——莱布尼茨国际程序。通知。11240-250（2011；Zbl 1245.68056）
全文： DOI程序 链接
达拉尔·阿尔拉杰;杰夫·克莱默;亚历山德拉·拉索;塞巴斯蒂安·乌奇特尔

模态转换系统精化的归纳方法。 （英语） Zbl 1245.68061号

Gallagher，John P.（编辑）等人，第27届逻辑编程国际会议的技术交流（ICLP 2011），美国肯塔基州列克星敦，2011年7月6日至10日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-31-6）。LIPIcs–莱布尼茨国际信息学会议录11，106-116，仅电子版（2011年）。
MSC公司：68号30 68问题85 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{D.Alrajeh}等人，LIPIcs——莱布尼茨国际程序。通知。11、106-116（2011；Zbl 1245.68061）
全文： DOI程序 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件