格奥尔格·戈特洛布;马可·曼纳;安德烈亚斯·皮耶利斯 结合存在规则的可判定性范式。 (英语) Zbl 1286.68044号 理论实践。日志。程序。 13,No.4-5,877-892(2013); 更正同上,第16号,第139页(2016年)。MSC公司:第68页第17页 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{G.Gottlob}等人,《理论与实践》。日志。程序。13、编号4--5、877--892(2013;Zbl 1286.68044) 全文: DOI程序
迈克尔·巴塞洛缪;Lee,Joohyng先生 关于内涵函数的稳定模型语义。 (英语) Zbl 1286.68041号 理论实践。日志。程序。 13,编号4-5,863-876(2013).MSC公司:第68页第17页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartholomew}和\textit{J.Lee},理论与实践。日志。程序。13、编号4--5、863--876(2013;Zbl 1286.68041) 全文: DOI程序
保罗·塔劳 Prolog术语的紧凑序列化(带有加泰罗尼亚语骨架、Cantor元组和哥德尔数)。 (英语) Zbl 1286.68059号 理论实践。日志。程序。 13,编号4-5,847-861(2013).MSC公司:第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{P.Tarau},理论与实践。日志。程序。13、编号4--5、847--861(2013;Zbl 1286.68059) 全文: DOI程序
埃斯拉·埃尔登;沃尔坎州帕托格鲁;Zeynep G.萨里巴特。;彼得·舒勒;乌拉斯、坦塞尔 通过调解人为多个机器人团队找到最佳计划:基于逻辑的方法。 (英语) Zbl 1286.68406号 理论实践。日志。程序。 13,编号4-5,831-846(2013).MSC公司:68T20型 第68页第40页 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{E.Erdem}等人,理论与实践。日志。程序。13、编号4--5、831--846(2013;Zbl 1286.68406) 全文: DOI程序
马洁菲;法兰克·勒;伍德,大卫;亚历山德拉·拉索;豪尔赫·洛博 分布式计算的声明性方法:规范、执行和分析。 (英语) Zbl 1286.68051号 理论实践。日志。程序。 13,No.4-5,815-830(2013).MSC公司:第68页第17页 68宽15 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{J.Ma}等人,《理论与实践》。日志。程序。13、编号4--5、815--830(2013;Zbl 1286.68051) 全文: DOI程序
穆苏诺里·班巴拉;苏,武藏;田村直之;井上,胜美;托尔斯滕·绍布 答案集编程作为课程时间表的建模语言。 (英语) Zbl 1286.68040号 理论实践。日志。程序。 13,No.4-5,783-798(2013).MSC公司:第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{M.Banbara}等人,《理论与实践》。日志。程序。13、编号4--5、783--798(2013;Zbl 1286.68040) 全文: DOI程序
乔恩·斯奈尔斯;丹尼·德·施雷耶;托姆·吕维思 CHRiSM中的概率法律推理。 (英语) Zbl 1286.68058号 理论实践。日志。程序。 13,No.4-5,769-781(2013).MSC公司:第68页第17页 03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Sneyers}等人,《理论与实践》。日志。程序。13、编号4--5、769--781(2013;Zbl 1286.68058) 全文: DOI程序
马里奥·阿尔维亚诺;拉斐尔·佩尼亚洛萨 模糊答案集近似值。 (英语) Zbl 1298.68058号 理论实践。日志。程序。 13,No.4-5,753-767(2013). 审核人:Ion Iancu(克雷奥瓦) MSC公司:第68页第17页 68立方英尺 68层37 68层35 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}和\textit{R.Peñaloza},理论与实践。日志。程序。13,编号4--5,753--767(2013;Zbl 1298.68058) 全文: DOI程序
塞尔吉奥·格雷科;克里斯蒂安·莫里纳罗;伊琳娜·特鲁比西纳 带函数符号的逻辑编程:通过程序装饰检查自下而上求值的终止。 (英语) Zbl 1286.68045号 理论实践。日志。程序。 13,No.4-5,737-752(2013).MSC公司:第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{S.Greco}等人,《理论与实践》。日志。程序。13、编号4--5、737--752(2013;Zbl 1286.68045) 全文: DOI程序
艾尔维拉·阿尔伯特;玛丽亚·加西亚·德·拉班达;米盖尔·戈梅斯·扎马洛亚;何塞·米盖尔·罗哈斯;彼得·斯塔基 用于生成测试用例的CLP堆解算器。 (英语) Zbl 1286.68065号 理论实践。日志。程序。 13,No.4-5,721-735(2013).MSC公司:68号30 第68页第17页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,《理论与实践》。日志。程序。13、编号4--5、721--735(2013;Zbl 1286.68065) 全文: DOI程序
梁森林;迈克尔·基弗 大型逻辑程序中非终结的实用分析。 (英语) Zbl 1286.68050号 理论实践。日志。程序。 13,No.4-5,705-719(2013).MSC公司:第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{S.Liang}和\textit{M.Kifer},理论与实践。日志。程序。13,编号4--5705-719(2013;兹bl 1286.68050) 全文: DOI程序
约阿希姆·扬森;艾伯特·乔里森;杨森,格尔达 正在将\(\mathrm{input}^\ast\)FO\((\cdot)\)归纳定义编译为IDP3的表格序言规则。 (英语) Zbl 1286.68047号 理论实践。日志。程序。 13,No.4-5,691-704(2013).MSC公司:第68页第17页 03B70号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.Jansen}等人,《理论与实践》。日志。程序。13、编号4--5、691--704(2013;Zbl 1286.68047) 全文: DOI程序
罗兰·卡明斯基;托尔斯滕·绍布;安妮·西格尔;圣地亚哥维德拉 使用ASP的逻辑信号网络中的最小干预策略。 (英语) Zbl 1286.68048号 理论实践。日志。程序。 13,编号4-5,675-690(2013).MSC公司:第68页第17页 第92页第42页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Kaminski}等人,《理论与实践》。日志。程序。13、编号4--5、675--690(2013;Zbl 1286.68048) 全文: DOI程序
劳拉·佐丹奴;阿尔贝托·马泰利;马蒂奥·斯皮奥塔;丹尼尔·塞塞德尔·杜普雷 使用约束时态答案集编程进行业务流程验证。 (英语) Zbl 1298.68174号 理论实践。日志。程序。 13,No.4-5,641-655(2013). 审核人:贾纳·科勒(卢塞恩) MSC公司:60年第68季度 第68页第17页 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人,《理论与实践》。日志。程序。13、编号4--5、641--655(2013;Zbl 1298.68174) 全文: DOI程序
亚历杭德罗·阿尔贝莱兹;夏洛特·特鲁切特;菲利普·科多涅特 使用顺序运行时分布进行SAT局部搜索的并行加速预测。 (英语) Zbl 1286.68405号 理论实践。日志。程序。 13,编号4-5,625-639(2013).MSC公司:68T20型 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{A.Arbelaez}等人,《理论与实践》。日志。程序。13,编号4--5625-639(2013年;兹bl 1286.68405) 全文: DOI程序
米尔贾纳·马祖拉;埃多亚多·塞拉;卡洛·扎尼奥洛 horn子句的声明性扩展,及其对Datalog及其应用程序的意义。 (英语) 兹比尔1286.68053 理论实践。日志。程序。 13,编号4-5,609-623(2013).MSC公司:第68页第17页 第68页,共15页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Mazuran}等人,《理论与实践》。日志。程序。13、编号4--5、609--623(2013;Zbl 1286.68053) 全文: DOI程序
格雷姆·恒河;豪尔赫·纳瓦斯(Jorge A.Navas)。;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯图基(Peter J.Stuckey)。 通过插值进行故障表约束逻辑编程。 (英语) Zbl 1286.68043号 理论实践。日志。程序。 13,编号4-5,593-607(2013).MSC公司:第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{G.Gange}等人,《理论与实践》。日志。程序。13、编号4--5、593--607(2013;Zbl 1286.68043) 全文: DOI程序
迈克尔·马赫(Michael J.Maher)。 可废止逻辑的相对表达性。二、。 (英语) Zbl 1286.68052号 理论实践。日志。程序。 13,No.4-5,579-592(2013).MSC公司:第68页第17页 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Maher},《理论与实践》。日志。程序。13、编号4--5、579--592(2013;Zbl 1286.68052) 全文: DOI程序 arXiv公司
你,嘉慧;张恒;张燕 在规则头中具有存在量化的析取逻辑程序。 (英语) Zbl 1314.68100号 理论实践。日志。程序。 13,编号4-5563-578(2013).MSC公司:第68页第17页 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.-H.You}等人,理论与实践。日志。程序。13、编号4--5、563--578(2013;Zbl 1314.68100) 全文: DOI程序
马塞洛·巴尔杜奇尼 具有非Herbrand部分功能的ASP:一种实用的语言和系统。 (英语) Zbl 1286.68039号 理论实践。日志。程序。 13,No.4-5,547-561(2013).MSC公司:第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{M.Balduccini},理论与实践。日志。程序。13、编号4--5、547--561(2013;Zbl 1286.68039) 全文: DOI程序
汤姆·施里杰弗斯;巴特·德梅恩;德索特,贝诺特;Wielemaker,简 Prolog的带分隔符的延续。 (英语) Zbl 1312.68037号 理论实践。日志。程序。 13,No.4-5,533-546(2013).MSC公司:第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{T.Schrijvers}等人,《理论与实践》。日志。程序。13、编号4--5、533--546(2013;Zbl 1312.68037) 全文: DOI程序
雷汉·阿卜杜勒·阿齐兹;朱棣文,杰弗里;彼得·斯图基(Peter J.Stuckey)。 已建立边界的稳定模型语义。 (英语) Zbl 1286.68038号 理论实践。日志。程序。 13,编号4-5517-532(2013).MSC公司:第68页第17页 68问题55 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Aziz}等人,《理论与实践》。日志。程序。13、编号4--5、517--532(2013;Zbl 1286.68038) 全文: DOI程序
弗拉基米尔·利夫希茨;杨芳凯 劳埃德-托珀完井模型和一般稳定模型。 (英语) Zbl 1291.68105号 理论实践。日志。程序。 13,编号4-5,503-515(2013). 审核人:埃里克·马丁(悉尼) MSC公司:第68页第17页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{V.Lifschitz}和\textit{F.Yang},理论与实践。日志。程序。13、编号4--5、503--515(2013;Zbl 1291.68105) 全文: DOI程序 arXiv公司
罗尔夫·施维特 就业难题:通过受控的自然语言处理接受挑战。 (英语) Zbl 1295.68191号 理论实践。日志。程序。 13,No.4-5,487-501(2013). 审核人:埃里克·马丁(悉尼) MSC公司:68立方英尺 第68页第17页 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{R.Schwitter},理论与实践。日志。程序。13、编号4--5、487--501(2013;Zbl 1295.68191) 全文: DOI程序
De Cat,Broes公司;莫里斯·布吕诺格 检测和利用模型生成的功能依赖性。 (英语) Zbl 1286.68042号 理论实践。日志。程序。 13,No.4-5,471-485(2013).MSC公司:第68页第17页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.De Cat}和\textit{M.Bruynooghe},理论与实践。日志。程序。13、编号4--5、471--485(2013;Zbl 1286.68042) 全文: DOI程序
伊芙琳娜·拉姆玛;Swift,Terrance公司 编者按:第29届逻辑程序设计国际会议特刊。 (英语) 兹比尔1298.00316 理论实践。日志。程序。 13,No.4-5,465-470(2013); 增编同上,第18号,第121页(2018年)。MSC公司:00时25分 68-06 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{E.Lamma}和\textit{T.Swift},理论与实践。日志。程序。13,编号4-56465-470(2013;兹bl 1298.00316) 全文: DOI程序