×

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

最新的 引文 关联
刘燕红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公司
英格玛达塞维尔；马蒂亚斯·范德哈伦；巴特·博加特；杰尔达·詹森斯；马克·德纳克

具有定义的组合类型的高阶逻辑。 （英语） Zbl 1428.68287号

Carro，Manuel（编辑）等人，第32届逻辑编程国际会议的技术交流，ICLP 2016，2016年10月16日至21日，美国纽约。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。52，第14条，第13页（2016年）。
MSC公司：68立方英尺 03B16号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{I.Dasseville}等人，OASIcs--OpenAccess服务器。通知。52，第14条，第13页（2016年；Zbl 1428.68287）
全文： 内政部
莫里斯·布吕诺格；亨德里克·布洛克；巴特·博加特；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公司
马丁·格布瑟；汤米·詹胡宁；尤西·林塔南

SAT模图：无环性。 （英语） Zbl 1432.68328号

Fermé，Eduardo（编辑）等人，《人工智能中的逻辑》。2014年9月24日至26日，第14届欧洲会议，JELIA 2014，葡萄牙马德拉，Funchal。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8761, 137-151 (2014).
MSC公司：68兰特 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{M.Gebser}等人，Lect。票据计算。科学。8761，137--151（2014；Zbl 1432.68328）
全文： 内政部
米罗斯瓦·特鲁什琴斯基

通过还原连接一阶ASP和逻辑FO（ID）。 （英语） Zbl 1357.68225号

Erdem，Esra（编辑）等人，《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林：施普林格出版社（ISBN 978-3-642-30742-3/pbk）。计算机科学课堂讲稿7265，543-559（2012）。
MSC公司：68T27型 68N17号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{M.Truszczynski}，莱克特。票据计算。科学。7265、543--559（2012；Zbl 1357.68225）
全文： 内政部
沙哈卜·塔沙罗菲；尤金妮亚·特诺夫斯卡

搜索问题多语言建模中模块化的语义说明。 （英语） Zbl 1348.68232号

Tinelli，Cesare（编辑）等人，《联合系统的前沿》。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。计算机科学课堂讲稿6989。人工智能课堂讲稿，259-274（2011）。
MSC公司：68T20型 03B62型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Tasharofi}和\textit{E.Ternovska}，莱克托。票据计算。科学。6989、259--274（2011；Zbl 1348.68232）
全文： 内政部
约翰·威托克斯；汉内·弗莱明克；马克·德纳克

调试模型扩展。 （英语） Zbl 1251.68223号

Hill，Patricia M.（编辑）等人，《逻辑编程》。2009年7月14日至17日，在美国加利福尼亚州帕萨迪纳举行的第25届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02845-8/pbk）。计算机科学讲座笔记5649296-311（2009）。
MSC公司：68T20型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{J.Wittocx}等人，Lect。票据计算。科学。5649296--311（2009年；Zbl 1251.68223）
全文： 内政部 链接
马克·德纳克；Joost Vennekens

构建一个集成逻辑编程和经典逻辑的知识库系统。 （英语） Zbl 1185.68697号

Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366，71-76（2008）。
MSC公司：68层35 68N17号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit｛M.Denecker｝和\textit｛J.Vennekens｝，Lect。票据计算。科学。5366、71-76（2008年；Zbl 1185.68697）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件