×

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

最新的 引文 关联
英格玛达塞维尔；马蒂亚斯·范德哈伦；巴特·博加特；杰尔达·詹森斯；马克·德内克

具有定义的组合类型的高阶逻辑。 （英语） 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公司
马克·德内克；格哈德·布鲁卡；汉内斯·斯特拉斯

辩解的正式理论。 （英语） Zbl 1467.68170号

Calimeri，Francesco（编辑）等人，《逻辑编程和非单调推理》。第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9345, 250-264 (2015).
MSC公司：68T27型 03B60号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{M.Denecker}等人，Lect。票据计算。科学。9345，250--264（2015；Zbl 1467.68170）
全文： 内政部
巴特·博加特；约阿希姆·扬森；莫里斯·布吕诺格；De Cat，Broes公司；Joost Vennekens；马克·德内克

使用线性时间微积分理论模拟动态系统。 （英语） Zbl 1307.68013号

理论与实践。日志。程序。 14，No.4-5，477-492（2014）.
MSC公司：68N17号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Bogaerts}等人，《理论与实践》。日志。程序。14、编号4--5、477--492（2014；Zbl 1307.68013）
全文： 内政部 arXiv公司
马克·德内克；莫里斯·布吕诺格；Joost Vennekens

近似不动点理论以及逻辑和答案集程序的语义。 （英语） Zbl 1357.68031号

Erdem，Esra（编辑）等人，《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林：施普林格出版社（ISBN 978-3-642-30742-3/pbk）。计算机科学讲义7265178-194（2012）。
MSC公司：68N17号 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{M.Denecker}等人，Lect。票据计算。科学。7265、178--194（2012；Zbl 1357.68031）
全文： 内政部 链接
马克·德内克；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）
全文： 内政部 链接
马尔滕·玛丽恩；约翰·威托克斯；马克·德内克；莫里斯·布吕诺格

SAT（ID）：用归纳定义扩展的命题逻辑的可满足性。 （英语） Zbl 1138.68547号

Kleine Büning，Hans（编辑）等人，《可满足性测试的理论和应用——SAT 2008》。2008年5月12日至15日，中国广州，第十一届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79718-0/pbk）。计算机科学课堂讲稿4996211-224（2008）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Marién}等人，Lect。票据计算。科学。4996211-224（2008年；兹bl 1138.68547）
全文： 内政部 链接
马尔滕·玛丽恩；约翰·威托克斯；马克·德内克

在SAT中集成归纳定义。 （英语） Zbl 1137.68581号

Dershowitz，Nachum（编辑）等人，《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75558-6/pbk）。计算机科学课堂讲稿4790。《人工智能讲义》，378-392（2007）。
MSC公司：68T20型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{M.Marién}等人，Lect。票据计算。科学。4790，378--392（2007年；Zbl 1137.68581）
全文： 内政部 链接
奥费尔·阿列利；马克·德内克；范·努费伦（Bert Van Nuffelen）；莫里斯·布吕诺格

用符号公式修复数据库的计算方法。 （英语） Zbl 1097.68549号

安。数学。Artif公司。智力。 46，编号1-2，4-37（2006）.
MSC公司：第68页，共15页 68立方英尺 68层37 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{O.Arieli}等人，《数学年鉴》。Artif公司。智力。46，编号1--2，4--37（2006；Zbl 1097.68549）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件