大卫·沃伦。 自上而下和自下而上的评估程序整合。 (英语) Zbl 1452.68040号 理论与实践。日志。程序。 18,编号3-4,706-721(2018).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Warren},理论与实践。日志。程序。18、编号3--4、706--721(2018;Zbl 1452.68040) 全文: 内政部 arXiv公司
罗尔夫·施维特 用受控自然语言指定和描述答案集程序。 (英语) Zbl 1451.68295号 理论与实践。日志。程序。 18,编号3-4,691-705(2018).MSC公司:68T50型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Schwitter},理论与实践。日志。程序。18、编号3--4、691--705(2018;Zbl 1451.68295) 全文: 内政部 arXiv公司
舒伯特,阿列克西;巴威·乌尔兹琴 一阶答案集编程作为构造性证明搜索。 (英语) Zbl 1451.68067号 理论与实践。日志。程序。 18,编号3-4,673-690(2018).MSC公司:68N17号 03B20型 03B35型 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.舒伯特}和\textit{P.Urzyczyn},理论与实践。日志。程序。18、编号3--4、673--690(2018;Zbl 1451.68067) 全文: 内政部 arXiv公司
阿伦·南帕利;蒂莫西·张;罗马克里希南,C.R。 概率逻辑程序中基于约束的推理。 (英语) Zbl 1451.68264号 理论与实践。日志。程序。 18,编号3-4,638-655(2018).MSC公司:68T27型 68N17号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{A.Nampally}等人,《理论与实践》。日志。程序。18、编号3--4、638--655(2018;Zbl 1451.68264) 全文: 内政部 arXiv公司
阿林达姆·米特拉;奇塔·巴拉尔 从相互不同的示例中对答案集程序进行增量和迭代学习。 (英语) Zbl 1451.68066号 理论与实践。日志。程序。 18,编号3-4,623-637(2018).MSC公司:68N17号 68T05型 68吨10 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Mitra}和\textit{C.Baral},理论与实践。日志。程序。18、编号3--4、623--637(2018;Zbl 1451.68066) 全文: 内政部 arXiv公司
Lee,Joohyng先生;王毅 动作语言的概率扩展(mathcal{BC}+\)。 (英语) Zbl 1451.68263号 理论与实践。日志。程序。 18,编号3-4,607-622(2018).MSC公司:68T27型 03B48号 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Lee}和\textit{Y.Wang},理论与实践。日志。程序。18,编号3-4607-622(2018;兹bl 1451.68263) 全文: 内政部 arXiv公司
Lee,Joohyng先生;Yang、Zhun 翻译LPOD和CR-\(\mathrm{序言}_2\)进入标准答案集程序。 (英语) Zbl 1451.68065号 理论与实践。日志。程序。 18,编号3-4,589-606(2018).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Lee}和\textit{Z.Yang},理论与实践。日志。程序。18、编号3--4、589--606(2018;Zbl 1451.68065) 全文: 内政部 arXiv公司
托比亚斯·卡明斯基;托马斯·艾特;井上,胜美 利用外部资源开发答案集编程用于元解释学习。 (英语) Zbl 1451.68064号 理论与实践。日志。程序。 18,编号3-4,571-588(2018).MSC公司:68N17号 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{T.Kaminski}等人,《理论与实践》。日志。程序。18、编号3--4、571--588(2018;Zbl 1451.68064) 全文: 内政部 arXiv公司
比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。;格雷姆·恒河;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯塔基。 使用约束Horn子句进行前提推理的迭代方法。 (英语) Zbl 1451.68075号 理论与实践。日志。程序。 18,编号3-4,553-570(2018).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Kafle}等人,《理论与实践》。日志。程序。18,编号3-553-570(2018;兹bl 1451.68075) 全文: 内政部 arXiv公司
达尼埃拉·因利赞;张庆林;马塞洛·巴尔杜奇尼;安库什·伊斯雷尼 一种ASP方法,用于理解关于陈规定型活动的叙述。 (英语) Zbl 1451.68294号 理论与实践。日志。程序。 18,编号3-4,535-552(2018).MSC公司:68T50型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Inclezan}等人,《理论与实践》。日志。程序。18、编号3--4、535--552(2018;Zbl 1451.68294) 全文: 内政部 arXiv公司
弗兰蒂舍克·法尔卡;叶卡捷琳娜·科门丹茨基;凯文·哈蒙德 依赖类型推理和术语合成的相关证明Horn子句。 (英语) Zbl 1451.68323号 理论与实践。日志。程序。 18,编号3-4484-501(2018).MSC公司:68伏15 03B35型 68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{F.Farka}等人,《理论与实践》。日志。程序。18、编号3--4、484--501(2018;Zbl 1451.68323) 全文: 内政部 arXiv公司
格雷戈里·杜克。;德克萨斯州贾法;罗兰·H·C·雅普。 基于图形的数据结构的形状中性分析。 (英语) Zbl 1451.68174号 理论与实践。日志。程序。 18,编号3-4,470-483(2018).MSC公司:60年第68季度 68N17号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{G.J.Duck}等人,理论与实践。日志。程序。18、编号3--4、470--483(2018;Zbl 1451.68174) 全文: 内政部 arXiv公司
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 在没有归纳法的情况下解决归纳数据类型上的Horn子句。 (英语) Zbl 1451.68172号 理论与实践。日志。程序。 18,编号3-4,452-469(2018);勘误表同上,第19号,第4,629(2019)。MSC公司:60年第68季度 03B70号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,理论与实践。日志。程序。18、编号3--4、452--469(2018;Zbl 1451.68172) 全文: 内政部 arXiv公司
马克·达勒姆;阿诺普·巴贾纳什;克劳斯·施耐德 ASP对带有缓冲处理单元的公开数据路径体系结构进行优化调度。 (英语) Zbl 1451.68029号 理论与实践。日志。程序。 18,编号3-4,438-451(2018).MSC公司:2007年7月68日 68平方米 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Dahlem}等人,《理论与实践》。日志。程序。18、编号3--4、438--451(2018;Zbl 1451.68029) 全文: 内政部 arXiv公司
Charalambidis,安吉洛斯;帕诺斯·朗多吉安尼;艾奥娜·西梅尼杜 近似不动点理论和高阶逻辑程序的良好语义。 (英语) Zbl 1452.68037号 理论与实践。日志。程序。 18,编号3-4,421-437(2018).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Charalambidis}等人,《理论与实践》。日志。程序。18、编号3--4、421--437(2018;Zbl 1452.68037) 全文: 内政部 arXiv公司
佩德罗·卡巴拉尔;罗兰·卡明斯基;托尔斯滕·绍布;安娜·舒曼 有限迹上的时态答案集编程。 (英语) Zbl 1451.68256号 理论与实践。日志。程序。 18,编号3-4,406-420(2018).MSC公司:68T27型 03B44号 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人,《理论与实践》。日志。程序。18、编号3--4、406--420(2018;Zbl 1451.68256) 全文: 内政部 arXiv公司
佩德罗·卡巴拉尔;豪尔赫·范丁诺;路易斯·法利尼亚斯·德尔·塞罗;大卫·皮尔斯 具有内涵集的功能性ASP:应用于Gelfond-Zhang骨料。 (英语) Zbl 1451.68255号 理论与实践。日志。程序。 18,编号3-4,390-405(2018).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人,《理论与实践》。日志。程序。18、编号3--4、390--405(2018;Zbl 1451.68255) 全文: 内政部 arXiv公司
安吉拉·博尼法蒂;斯特凡妮娅·邓布拉娃;埃米利奥·杰苏斯·加列戈·阿里亚斯 通过定期数据日志进行认证的图形视图维护。 (英语) Zbl 1451.68086号 理论与实践。日志。程序。 18,编号3-4,372-389(2018).MSC公司:第68页,共15页 68N17号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Bonifati}等人,《理论与实践》。日志。程序。18、编号3--4、372--389(2018;Zbl 1451.68086) 全文: 内政部 arXiv公司
乔治·巴里扬尼斯;伊利亚斯·塔赫马齐迪斯;巴萨基斯、索蒂利斯;格里戈里斯·安东尼奥;马里奥·阿尔维亚诺;蒂莫斯·塞利斯;蔡培伟 使用答案集编程进行定性空间推理的轨迹演算。 (英语) Zbl 1451.68252号 理论与实践。日志。程序。 18,编号3-4,355-371(2018).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{G.Baryannis}等人,《理论与实践》。日志。程序。18、编号3--4、355--371(2018;Zbl 1451.68252) 全文: 内政部 arXiv公司
华金·阿里亚斯;曼纽尔·卡罗;埃尔默·萨拉扎;凯尔·马普尔;戈帕尔·古普塔 无接地约束应答集编程。 (英语) Zbl 1451.68063号 理论与实践。日志。程序。 18,编号3-4,337-354(2018).MSC公司:68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Arias}等人,《理论与实践》。日志。程序。18、编号3--4、337--354(2018;Zbl 1451.68063) 全文: 内政部 arXiv公司
马里奥·阿尔维亚诺;卡明·多达罗;马蒂·Järvisalo;马可·马拉提亚;亚历山德罗·普雷维蒂 ASP中通过最小模型和不可满足的核心进行谨慎推理。 (英语) Zbl 1451.68267号 理论与实践。日志。程序。 18,编号3-4,319-336(2018).MSC公司:68立方英尺 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人,《理论与实践》。日志。程序。18,编号3-4319-336(2018;兹bl 1451.68267) 全文: 内政部 arXiv公司
马里奥·阿尔维亚诺;卡明·多达罗;马可·马拉提亚 答案集编程中的共享聚合集。 (英语) Zbl 1451.68062号 理论与实践。日志。程序。 18,编号3-4,301-318(2018).MSC公司:68N17号 68第05页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人,《理论与实践》。日志。程序。18、编号3--4、301-318(2018;Zbl 1451.68062) 全文: 内政部 arXiv公司
亚历山德罗·达尔·帕洛(编辑);保罗·塔劳(编辑) 第34届逻辑编程国际会议专题介绍。 (英语) Zbl 1427.00064号 理论与实践。日志。程序。 18,编号3-4,296-300(2018).MSC公司:00B25型 68-06 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Dal Paló}(编辑)和\textit{P.Tarau}(主编),理论与实践。日志。程序。18,编号3--4,296--300(2018;Zbl 1427.00064) 全文: 内政部