埃米利亚·奥伊卡里宁;汤米·詹胡宁 为SMODELS程序实现稳定模型语义的组合。 (英语) Zbl 1156.68012号 理论与实践。日志。程序。 8,编号5-6,717-761(2008).MSC公司:68N17号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{E.Oikarinen}和\textit{T.Janhunen},理论与实践。日志。程序。8,编号5--6,717--761(2008;Zbl 1156.68012) 全文: 内政部
Järvisalo,马蒂;埃米利亚·奥伊卡里宁 常规逻辑程序中的扩展ASP表和规则冗余。 (英语) Zbl 1156.68011号 理论与实践。日志。程序。 8,编号5-6,691-716(2008).MSC公司:68N17号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Järvisalo}和\textit{E.Oikarinen},理论与实践。日志。程序。8,编号5--6,691--716(2008;Zbl 1156.68011) 全文: 内政部
弗朗西斯科·布卡弗里;吉安卢卡·卡米尼蒂 具有社交功能的逻辑编程。 (英语) Zbl 1156.68048号 理论与实践。日志。程序。 8,编号5-6,643-690(2008).MSC公司:68立方英尺 68N17号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{F.Buccafurri}和\textit{G.Caminiti},理论与实践。日志。程序。8、编号5--6643--690(2008;Zbl 1156.68048) 全文: 内政部
阿扬·霍默索姆;Peter J.F.卢卡斯。;帕特里克·范博梅尔 使用自动推理工具检查临床指南的质量。 (英语) Zbl 1162.68679号 理论与实践。日志。程序。 8,编号5-6,611-641(2008).MSC公司:68层35 68T20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Hommersom}等人,《理论与实践》。日志。程序。8,编号5--6,611--641(2008;Zbl 1162.68679) 全文: 内政部
卢多维奇·朗之万;米雷尔·杜卡斯 跟踪器驱动程序的设计与实现:约束逻辑程序的简单高效动态分析。 (英语) Zbl 1178.68133号 理论与实践。日志。程序。 8,编号5-6,581-609(2008).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{L.Langevine}和\textit{M.Ducassé},理论与实践。日志。程序。8,编号5-61581-609(2008年;兹bl 1178.68133) 全文: 内政部
沃尔夫冈·费伯;杰拉尔德·菲弗;尼古拉·利昂;黛尔·阿尔米,蒂娜;朱塞佩·埃尔帕 DLV系统中聚合功能的设计和实现。 (英语) Zbl 1156.68010号 理论与实践。日志。程序。 8,编号5-6,545-580(2008).MSC公司:68N17号 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{W.Faber}等人,《理论与实践》。日志。程序。8、编号5--6545--580(2008;Zbl 1156.68010) 全文: 内政部