×

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

最新的 引文 关联
豪尔赫·范丁诺;西姆兰·米什拉;哈维尔·罗梅罗;托尔斯滕·绍布

答案集编程变得简单。 （英语） Zbl 1529.68070号

Lopez-Garcia，Pedro（编辑）等人，《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13160, 133-150 (2023).
MSC公司：68N17号 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{J.Fandinno}等人，Lect。注释计算。科学。13160133-150（2023年；Zbl 1529.68070）
全文： 内政部 arXiv公司
弗拉基米尔·利夫希茨;帕特里克·吕内;托尔斯滕·绍布

用输入语言验证逻辑程序粘着物. （英语） Zbl 07614727号

安德烈亚斯·布拉斯（编辑）等人，《逻辑与计算领域III》，纪念尤里·古雷维奇80岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。12180, 190-209 (2020).
MSC公司：68N17号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Lifschitz}等人，Lect。注释计算。科学。12180190-209（2020；Zbl 07614727）
全文： 内政部
马丁·格布瑟;汤米·詹胡宁;罗兰·卡明斯基;托尔斯滕·绍布;沙哈卜·塔沙罗菲

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

Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，JELIA 2016，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10021, 256-271 (2016).
MSC公司：68T27型 68N17号 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{M.Gebser}等人，Lect。注释计算。科学。10021256-271（2016；Zbl 1483.68378）
全文： 内政部
马丁·格布瑟;罗兰·卡明斯基;本杰明·考夫曼;哈维尔·罗梅罗;托尔斯滕·绍布

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

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

使用阿斯匹林实现首选项。 （英语） Zbl 1467.68022号

Calimeri，Francesco（编辑）等人，《逻辑编程和非单调推理》。第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9345, 158-172 (2015).
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{G.Brewka}等人，Lect。注释计算。科学。9345，158--172（2015；Zbl 1467.68022）
全文： 内政部 链接
詹姆斯·德尔格兰德;托尔斯滕·绍布;汉斯·托姆皮茨;斯特凡·沃尔特兰

在答案集语义下合并逻辑程序。 （英语） Zbl 1251.68057号

Hill，Patricia M.（编辑）等人，《逻辑编程》。2009年7月14日至17日，在美国加利福尼亚州帕萨迪纳举行的第25届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02845-8/pbk）。计算机科学讲座笔记5649160-174（2009）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{J.Delgrande}等人，Lect。注释计算。科学。5649、160--174（2009年；Zbl 1251.68057）
全文： 内政部 链接
马丁·格布瑟;托尔斯滕·绍布;斯文·蒂勒;比约恩乌萨德尔;菲利普·韦伯

使用答案集编程检测大型生物网络中的不一致性。 （英语） 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页 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{M.Gebser}等人，Lect。注释计算。科学。5366、130-144（2008年；Zbl 1185.92052）
全文： 内政部 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型 68N17号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Gebser}等人，Lect。注释计算。科学。4932，24-41（2008年；Zbl 1138.68559）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件