Johannes Oetsch;约格·普勒;马丁·施温格勒;汉斯·托姆皮茨 加藤系统：为答疑程序检测剽窃案例。 （英语） Zbl 1213.68223号 理论实践。日志。程序。 10，编号4-6，759-775（2010）.MSC公司：68N99型 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{J.Oetsch}等人，《理论与实践》。日志。程序。10，编号4--6759--775（2010；Zbl 1213.68223） 全文： DOI程序 arXiv公司
罗伯特·布鲁迈耶;马蒂·Järvisalo 答案集求解器开发的测试和调试技术。 （英语） 兹比尔1206.68292 理论实践。日志。程序。 10，编号4-6，741-758（2010）.MSC公司：68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Brummayer}和\textit{M.Järvisalo}，理论与实践。日志。程序。10，编号4--6，741--758（2010；Zbl 1206.68292） 全文： DOI程序 arXiv公司
马塞洛·巴尔杜奇尼;萨拉·吉洛托 答案集编程中心理知识的形式化及其应用。 （英语） Zbl 1209.68130号 理论实践。日志。程序。 10，编号4-6，725-740（2010）.MSC公司：68N99型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Balduccini}和\textit{S.Girotto}，理论与实践。日志。程序。10，编号4--6725--740（2010；Zbl 1209.68130） 全文： DOI程序 arXiv公司
亚历山德罗·达尔·帕洛;阿戈斯蒂诺·多维尔;费德里科·福戈拉里;恩里科·蓬泰利 基于CLP的蛋白质片段组装。 （英语） Zbl 1209.68089号 理论实践。日志。程序。 10，编号4-6，709-724（2010）.MSC公司：第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{A.Dal Paló}等人，《理论与实践》。日志。程序。10，编号4--6，709--724（2010；Zbl 1209.68089） 全文： DOI程序 arXiv公司
努诺·P·洛佩斯。;胡安·纳瓦罗。;安德烈·里巴尔琴科;阿图尔·辛格 应用prolog开发分布式系统。 （英语） Zbl 1205.68087号 理论实践。日志。程序。 10，编号4-6，691-707（2010）.MSC公司：64岁以下 第68页第17页 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{N.P.Lopes}等人，《理论与实践》。日志。程序。10，编号4--6，691--707（2010；Zbl 1205.68087） 全文： DOI程序 arXiv公司
C.巴拉尔。;盖尔丰德，G。;彭泰利，E。;儿子，T。 在知识逻辑及其应用中寻找模型的逻辑编程：案例研究。 （英语） Zbl 1213.68168号 理论实践。日志。程序。 10，编号4-6，675-690（2010）.MSC公司：第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{C.Baral}等人，《理论与实践》。日志。程序。10、编号4--6675--690（2010；Zbl 1213.68168） 全文： DOI程序 arXiv公司
米盖尔·戈梅斯·扎马洛亚;艾尔维拉·阿尔伯特;德国普埃布拉 CLP中面向对象命令式语言的测试用例生成。 （英语） Zbl 1209.68093号 理论实践。日志。程序。 10，编号4-6，659-674（2010）.MSC公司：第68页第17页 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gómez-Zamalloa}等人，《理论与实践》。日志。程序。10、编号4--6、659--674（2010；Zbl 1209.68093） 全文： DOI程序 arXiv公司
马可·加瓦内利;法布里西奥·里古齐;米歇拉·米兰;保罗·卡格诺利 战略环境评估的基于逻辑的决策支持。 （英语） Zbl 1209.68092号 理论实践。日志。程序。 10，编号4-6，643-658（2010）.MSC公司：第68页第17页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gavanelli}等人，《理论与实践》。日志。程序。10，编号4--6643--658（2010；Zbl 1209.68092） 全文： DOI程序 arXiv公司
马里奥·罗德里格斯-阿塔莱霍;卡洛斯·迪亚斯（Carlos A.Romero-Díaz）。 CLP的一种声明性语义，具有限定和邻近性。 （英语） Zbl 1209.68097号 理论实践。日志。程序。 10，编号4-6，627-642（2010）.MSC公司：第68页第17页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Rodríguez-Artalejo}和\textit{C.A.Romero-Díaz}，理论与实践。日志。程序。10，编号4--6627--642（2010；Zbl 1209.68097） 全文： DOI程序 arXiv公司
毛里齐奥·加布里埃利;雅各布·毛罗;玛丽亚·希亚拉（Maria Chiara Meo）;乔恩·斯奈尔斯 CHR片段的可判定性。 （英语） Zbl 1209.68091号 理论实践。日志。程序。 10，编号4-6，611-626（2010）.MSC公司：第68页第17页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Gabbrielli}等人，《理论与实践》。日志。程序。10、编号4--6、611--626（2010；Zbl 1209.68091） 全文： DOI程序 arXiv公司
哈利奥夫·贝茨;Frank Raiser先生;托姆·吕维思 约束处理规则的完整终止执行模型。 （英语） Zbl 1205.68215号 理论实践。日志。程序。 10，编号4-6，597-610（2010）.MSC公司：68问题55 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{H.Betz}等人，《理论与实践》。日志。程序。10，编号4--6597--610（2010；Zbl 1205.68215） 全文： DOI程序 arXiv公司
侯萍;德卡特，布罗斯;马克·德内克 \（FO（FD）\）：使用基于规则的固定点定义扩展经典逻辑。 （英语） Zbl 1209.68094号 理论实践。日志。程序。 10，编号4-6，581-596（2010）.MSC公司：第68页第17页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Hou}等人，《理论与实践》。日志。程序。10，编号4--6581--596（2010；Zbl 1209.68094） 全文： DOI程序 arXiv公司
詹姆斯·德尔格兰德。 在答案集语义下修改逻辑程序的程序级方法。 （英语） Zbl 1209.68090号 理论实践。日志。程序。 10，编号4-6，565-580（2010）.MSC公司：第68页第17页 68立方英尺 68T20型 PDF格式BibTeX公司 XML格式引用 \文本{J.P.Delgrande}，理论与实践。日志。程序。10、编号4--6565--580（2010；Zbl 1209.68090） 全文： DOI程序 arXiv公司
马丁·斯洛塔;约昂·莱特 走向动态开放世界中的封闭世界推理。 （英语） Zbl 1209.68099号 理论实践。日志。程序。 10，编号4-6，547-563（2010）.MSC公司：第68页第17页 68立方英尺 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{M.Slota}和\textit{J.Leite}，理论与实践。日志。程序。10，编号4--6547--563（2010；Zbl 1209.68099） 全文： DOI程序
王一松;你，嘉慧;袁丽燕;沈义东 描述逻辑程序的循环公式。 （英语） Zbl 1209.68102号 理论实践。日志。程序。 10，编号4-6，531-545（2010）.MSC公司：第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang}等人，《理论与实践》。日志。程序。10，编号4-66531-545（2010年；Zbl 1209.68102） 全文： DOI程序
Johannes Oetsch;约格·普勒;汉斯·托姆皮茨 捕捉毒枭：关于调试非地面应答程序。 （英语） Zbl 1213.68182号 理论实践。日志。程序。 10，编号4-6，513-529（2010）.MSC公司：第68页第17页 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Oetsch}等人，《理论与实践》。日志。程序。10、编号4--6513--529（2010；Zbl 1213.68182） 全文： DOI程序 arXiv公司
马里奥·阿尔维亚诺;沃尔夫冈·费伯;尼古拉·利昂 具有功能的析取ASP：可判定查询和有效计算。 （英语） 兹比尔1209.68086 理论实践。日志。程序。 10，编号4-6，497-512（2010）.MSC公司：第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人，《理论与实践》。日志。程序。10，编号4--6497--512（2010；Zbl 1209.68086） 全文： DOI程序 arXiv公司
萨布丽娜·Baselice;皮耶罗·A·博纳蒂。 有限程序的一个可判定子类。 （英语） Zbl 1205.68114号 理论实践。日志。程序。 10，编号4-6，481-496（2010）.MSC公司：第68页第17页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Baselice}和\textit{P.A.Bonatti}，理论与实践。日志。程序。10，编号4--6，481--496（2010；Zbl 1205.68114） 全文： DOI程序 arXiv公司
克里斯蒂安·德雷舍尔;托比·沃尔什 约束答案集求解的平移方法。 （英语） Zbl 1209.68511号 理论实践。日志。程序。 10，编号4-6，465-480（2010）.MSC公司：68T20型 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{C.Drescher}和\textit{T.Walsh}，理论与实践。日志。程序。10，编号4--6，465--480（2010；Zbl 1209.68511） 全文： DOI程序 arXiv公司
海宁·克里斯蒂安森;Theil Have，克里斯蒂安·N·H。;奥利·托普·拉森;马蒂厄·佩蒂特 PRISM中约束隐马尔可夫模型的推理。 （英语） Zbl 1209.68087号 理论实践。日志。程序。 10，No.4-6，449-464（2010）.MSC公司：第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{H.Christiansen}等人，《理论与实践》。日志。程序。10，编号4--6，449--464（2010；Zbl 1209.68087） 全文： DOI程序 arXiv公司
乔恩·斯奈尔斯;温妮斯·梅特;Joost Vennekens;吉隆嘉美;大辅佐藤 \基于（CHR（PRISM）\）的概率逻辑学习。 （英语） Zbl 1209.68100号 理论实践。日志。程序。 10，编号4-6，433-447（2010）.MSC公司：第68页第17页 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Sneyers}等人，《理论与实践》。日志。程序。10，编号4--6，433--447（2010；Zbl 1209.68100） 全文： DOI程序 arXiv公司
维托尔·桑托斯·科斯塔;杜特拉，因斯;里卡多·罗查 线程和或并行统一。 （英语） Zbl 1209.68088号 理论实践。日志。程序。 10，编号4-6，417-432（2010）.MSC公司：第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{V.S.Costa}等人，《理论与实践》。日志。程序。10，编号4--6417--432（2010；Zbl 1209.68088） 全文： DOI程序 arXiv公司
巴勃罗·奇科·德古兹曼;曼纽尔·卡罗;大卫·沃伦。 交换评估：一种用于按需应答表的可缩放内存解决方案。 （英语） Zbl 1213.68172号 理论实践。日志。程序。 10，编号4-6，401-416（2010）.MSC公司：第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{P.Chico de Guzmana}等人，《理论与实践》。日志。程序。10、编号4--6、401-416（2010；Zbl 1213.68172） 全文： DOI程序 arXiv公司
阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 无限列表上逻辑程序的转换。 （英语） Zbl 1209.68096号 理论实践。日志。程序。 10，编号4-6，383-399（2010）.MSC公司：第68页第17页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi}等人，《理论与实践》。日志。程序。10，编号4--6383--399（2010；Zbl 1209.68096） 全文： DOI程序 arXiv公司
彼得·施奈德·坎普;吉尔根·吉斯尔;托马斯·斯特罗德;亚历山大·塞雷布雷尼克;雷内·蒂曼 带cut的逻辑程序的自动终止分析。 （英语） Zbl 1209.68098号 理论实践。日志。程序。 10，No.4-6，365-381（2010）.MSC公司：第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{P.Schneider-Kamp}等人，《理论与实践》。日志。程序。10，编号4-6635-381（2010年；Zbl 1209.68098） 全文： DOI程序 arXiv公司
曼努埃尔·赫梅内吉尔多（编辑）;托尔斯滕·绍布（编辑） 特刊：第26届逻辑编程国际会议（ICLP 2010）。根据2010年7月16日至19日在英国爱丁堡举行的国际会议上的发言选出的论文。 （英语） Zbl 1198.68036号 理论实践。日志。程序。10，第4-6号，第361-778页（2010年）。 MSC公司：68-06 第68页第17页 00时25分 PDF格式BibTeX公司 XML格式