×

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

最新的 引文 相关性
弗朗西斯科·卡利默里;沃尔夫冈·费伯;马丁·格布瑟;乔瓦姆巴蒂斯塔·伊安尼;罗兰·卡明斯基;托马斯·克伦瓦尔纳;尼古拉·利昂;马可·马拉提亚;弗朗西斯科·里卡;托尔斯滕·绍布

ASP-Core-2输入语言格式。 （英语） Zbl 1472.68180号

理论实践。日志。程序。 第2期，第20期，294-309页（2020年）.
MSC公司：68T20型 第68页第17页 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{F.Calimeri}等人，理论与实践。日志。程序。20，第2号，294--309（2020；Zbl 1472.68180）
全文： DOI程序 arXiv公司
乔里·博曼森;马丁·格布瑟;汤米·詹胡宁

重写应答程序中的优化语句。 （英语） Zbl 1428.68281号

Carro，Manuel（编辑）等人，《第32届逻辑编程国际会议的技术交流》，ICLP 2016年10月16日至21日，美国纽约州纽约市。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。52，第5条，第15页（2016年）。
MSC公司：68T20型 第68页第17页
PDF格式BibTeX公司 XML格式引用
\textit{J.Bomanson}等人，OASIcs--OpenAccess服务器。通知。52，第5条，第15页（2016年；Zbl 1428.68281）
全文： DOI程序
马丁·格布瑟;汤米·詹胡宁;罗兰·卡明斯基;托尔斯滕·绍布;沙哈卜·塔沙罗菲

为子句编写声明性规范。 （英语） Zbl 1483.68378号

Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，JELIA 2016，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10021, 256-271 (2016).
MSC公司：68T27型 第68页第17页 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{M.Gebser}等人，Lect。注释计算。科学。10021256-271（2016；Zbl 1483.68378）
全文： DOI程序
马丁·格布瑟;马可·马拉提亚;弗朗西斯科·里卡

第六届答案集编程竞赛的设计——报告。 （英语） Zbl 1418.68028号

Calimeri，Francesco（编辑）等人，《逻辑编程和非单调推理》。第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9345, 531-544 (2015).
MSC公司：第68页第17页 68T27型 68-02
PDF格式BibTeX公司 XML格式引用
\textit{M.Gebser}等人，Lect。注释计算。科学。9345，531--544（2015；Zbl 1418.68028）
全文： DOI程序
马丁·格布瑟;罗兰·卡明斯基;本杰明·考夫曼;哈维尔·罗梅罗;托尔斯滕·绍布

卡环系列3的进展。 （英语） Zbl 1467.68181号

Calimeri，Francesco（编辑）等人，《逻辑编程和非单调推理》。第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9345, 368-383 (2015).
MSC公司：68层35 第68页第17页 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Gebser}等人，Lect。注释计算。科学。9345，368--383（2015；Zbl 1467.68181）
全文： DOI程序
马丁·格布瑟;汤米·詹胡宁;霍尔格·约斯特;罗兰·卡明斯基;托尔斯滕·绍布

用于扩展Universe的ASP解决方案。 （英语） Zbl 1467.68025号

Calimeri，Francesco（编辑）等人，《逻辑编程和非单调推理》。第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9345, 354-367 (2015).
MSC公司：第68页第17页
PDF格式BibTeX公司 XML格式引用
\textit{M.Gebser}等人，Lect。注释计算。科学。9345，354--367（2015；Zbl 1467.68025）
全文： DOI程序
乔里·博曼森;马丁·格布瑟;汤米·詹胡宁;本杰明·考夫曼;托尔斯滕·绍布

回答集合编程模块的非循环性。 （英语） Zbl 1370.68044号

Calimeri，Francesco（编辑）等人，《逻辑编程和非单调推理》。第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼程序。查姆：施普林格（ISBN 978-3-319-23263-8/pbk；978-3-3169-23264-5/pbk）。计算机科学讲义9345。《人工智能课堂讲稿》，143-150（2015）。
MSC公司：第68页第17页
PDF格式BibTeX公司 XML格式引用
\textit{J.Bomanson}等人，Lect。注释计算。科学。9345143-150（2015年；Zbl 1370.68044）
全文： DOI程序
穆苏诺里·班巴拉;马丁·格布瑟;井上，胜美;马克斯·奥斯特罗斯基;安德烈亚·皮亚诺;托尔斯滕·绍布;苏，武藏;铃木田村;Matthias威瑟

阿斯巴甜：用答案集编程解决约束满足问题。 （英语） Zbl 1467.68160号

Calimeri，Francesco（编辑）等人，《逻辑编程和非单调推理》。第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9345, 112-126 (2015).
MSC公司：68T20型 第68页第17页
PDF格式BibTeX公司 XML格式引用
\textit{M.Banbara}等人，Lect。注释计算。科学。9345，112-126（2015；Zbl 1467.68160）
全文： DOI程序 arXiv公司
乔里·博曼森;马丁·格布瑟;汤米·詹胡宁

改进答案集程序中权重规则的规范化。 （英语） Zbl 1432.68056号

Fermé，Eduardo（编辑）等人，《人工智能中的逻辑》。2014年9月24日至26日，第14届欧洲会议，JELIA 2014，葡萄牙马德拉，Funchal。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8761, 166-180 (2014).
MSC公司：第68页第17页 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{J.Bomanson}等人，Lect。注释计算。科学。8761166--180（2014年；Zbl 1432.68056）
全文： DOI程序
马丁·格布瑟;汤米·詹胡宁;尤西·林塔南

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）
全文： DOI程序
马丁·格布瑟;罗兰·考夫曼;托尔斯滕·绍布

为有效的ASP计划做好准备。 （英语） Zbl 1357.68035号

Erdem，Esra（编辑）等人，《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林：施普林格出版社（ISBN 978-3-642-30742-3/pbk）。计算机科学课堂讲稿7265，296-310（2012）。
MSC公司：第68页第17页 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Gebser}等人，Lect。注释计算。科学。7265，296--310（2012；Zbl 1357.68035）
全文： DOI程序
马丁·格布瑟;罗兰·卡明斯基;本杰明·考夫曼;托尔斯滕·绍布

关于权重约束规则在冲突驱动的ASP求解器中的实现。 （英语） Zbl 1251.68059号

Hill，Patricia M.（编辑）等人，《逻辑编程》。2009年7月14日至17日，在美国加利福尼亚州帕萨迪纳举行的第25届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02845-8/pbk）。计算机科学讲座笔记5649250-264（2009）。
MSC公司：第68页第17页
PDF格式BibTeX公司 XML格式引用
\textit{M.Gebser}等人，Lect。注释计算。科学。5649、250--264（2009年；Zbl 1251.68059）
全文： DOI程序
马丁·格布瑟;马克斯·奥斯特罗斯基;托尔斯滕·绍布

约束答案集求解。 （英语） Zbl 1251.68061号

Hill，Patricia M.（编辑）等人，《逻辑编程》。2009年7月14日至17日，在美国加利福尼亚州帕萨迪纳举行的第25届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02845-8/pbk）。计算机科学讲座笔记5649235-249（2009）。
MSC公司：第68页第17页
PDF格式BibTeX公司 XML格式引用
\textit{M.Gebser}等人，Lect。注释计算。科学。5649，235--249（2009；Zbl 1251.68061）
全文： DOI程序
马丁·格布瑟;罗兰·卡明斯基;本杰明·考夫曼;马克斯·奥斯特罗斯基;托尔斯滕·绍布;斯文·蒂勒

设计增量ASP解算器。 （英语） Zbl 1185.68159号

Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366190-205（2008）。
MSC公司：第68页第17页
PDF格式BibTeX公司 XML格式引用
\textit{M.Gebser}等人，Lect。注释计算。科学。5366、190-205（2008年；Zbl 1185.68159）
全文： DOI程序
马丁·格布瑟;托尔斯滕·绍布;斯文·蒂勒;比约恩乌萨德尔;菲利普·韦伯

使用答案集编程检测大型生物网络中的不一致性。 （英语） Zbl 1185.92052号

Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366130-144（2008）。
MSC公司：第92页第42页 第68页第17页
PDF格式BibTeX公司 XML格式引用
\textit{M.Gebser}等人，Lect。注释计算。科学。5366、130-144（2008年；Zbl 1185.92052）
全文： DOI程序 arXiv公司
马丁·格布瑟;托尔斯滕·绍布;汉斯·托姆皮茨;斯特凡·沃尔特兰

基于无基础集的答案集语义下程序等价性的替代特征。 （英语） Zbl 1138.68559号

Hartmann，Sven（编辑）等人，《信息和知识系统基础》。第五届国际研讨会，FoIKS 2008，意大利比萨，2008年2月11日至15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-77683-3/pbk）。计算机科学课堂讲稿4932，24-41（2008）。
MSC公司：68T27型 第68页第17页 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Gebser}等人，Lect。注释计算。科学。4932，24-41（2008年；Zbl 1138.68559）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件