×

找到21个文档（结果1–21）

最新的 引文 关联
约翰·克劳斯·费希特;莎拉·爱丽丝·加格尔;马库斯·赫彻;多米尼克·鲁索瓦克

IASCAR：通过任何时间的细化进行增量答案集计数。 （英语） Zbl 07671890号

Gottlob，Georg（编辑）等人，《逻辑编程和非单调推理》。第16届国际会议，LPNMR 2022，意大利热那亚，2022年9月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13416, 217-230 (2022).
MSC公司：68N17号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{J.K.Fichte}等人，Lect。注释计算。科学。13416，217--230（2022；Zbl 07671890）
全文： 内政部
帕特里克·多尔蒂;乔纳斯·克瓦伦斯特罗姆;斯扎·阿斯、安德烈吉

Kleene答案集程序的迭代支持公式和强烈支持模型（扩展抽象）。 （英语） Zbl 1483.68058号

Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，2016年JELIA，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10021, 536-542 (2016).
MSC公司：68N17号 03B50 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{P.Doherty}等人，Lect。注释计算。科学。10021536--542（2016；Zbl 1483.68058）
全文： 内政部
迈克尔·克劳奇;尼尔·伊梅尔曼;J.Eliot B.莫斯。

自动查找缩减。 （英语） Zbl 1287.68024号

安德烈亚斯·布拉斯（编辑）等人，《逻辑和计算领域》。在尤里·古雷维奇70岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-15024-1/pbk）。计算机科学讲座笔记6300，181-200（2010）。
MSC公司：第68页第19页 03B25号 2015年3月1日
PDF格式BibTeX公司 XML格式引用
\textit{M.Crouch}等人，Lect。注释计算。科学。6300、181--200（2010；Zbl 1287.68024）
全文： 内政部
托马斯·艾特;乔瓦姆巴蒂斯塔·伊安尼;托马斯·克伦瓦尔纳

答案集编程：初级。 （英语） Zbl 1254.68248号

Tessaris，Sergio（编辑）等人，《推理网络》。信息系统的语义技术。2009年8月30日至9月4日，意大利布里森-布列萨诺2009年第五届国际暑期学校。辅导讲座。柏林：施普林格出版社（ISBN 978-3-642-03753-5/pbk）。计算机科学讲座笔记5689，40-110（2009）。
MSC公司：68立方英尺 68米11 68N17号 68T20型 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{T.Eiter}等人，Lect。注释计算。科学。5689、40-110（2009年；Zbl 1254.68248）
全文： 内政部
马雷克，V.W。;雷梅尔，J.B。

关于Gelfond-Lifschitz算子的连续性以及ASP中证明理论的其他应用。 （英语） Zbl 1185.68169号

Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366223-237（2008）。
MSC公司：68N17号 03B70号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{V.W.Marek}和\textit{J.B.Remmel}，莱克特。注释计算。科学。5366223-237（2008年；兹比尔1185.68169）
全文： 内政部
马雷克，V.W。

Quo vadis答案集编程？过去、现在和未来。 （英语） Zbl 1185.68168号

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

基于无基础集的答案集语义下程序等价性的替代特征。 （英语） 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）
全文： 内政部
马尔滕·玛丽恩;约翰·威托克斯;马克·德纳克

在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）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件